Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
IEEE transactions on software engineering, 2018-04, Vol.44 (4), p.308-333
2018
Link zum Volltext



Languages and Compilers for Parallel Computing, 2005, p.75-89
2005
Link zum Volltext

Languages and Compilers for Parallel Computing, 2005, p.142-156
2005
Link zum Volltext

Higher-order and symbolic computation, 2004-09, Vol.17 (3), p.173-206
2004
Link zum Volltext

ACM transactions on programming languages and systems, 2008, Vol.30 (3), p.216-258
2008
Link zum Volltext


The Journal of supercomputing, 2020-06, Vol.76 (6), p.4731-4746
2020
Link zum Volltext

Lecture notes in computer science, 2006, p.155-169
2006
Link zum Volltext

International journal of parallel programming, 2006-08, Vol.34 (4), p.383-427
2006
Link zum Volltext

Concurrency and computation, 2020-11, Vol.32 (22), p.n/a
2020
Link zum Volltext

Open Access
A Formally Verified Compiler Back-end
Journal of automated reasoning, 2009-12, Vol.43 (4), p.363-446
2009
Link zum Volltext

International journal of parallel programming, 2008-12, Vol.36 (6), p.571-591
2008
Link zum Volltext



Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-29
2020
Link zum Volltext

Languages and Compilers for Parallel Computing, 2005, p.126-141
2005
Link zum Volltext

International journal of parallel programming, 2018-02, Vol.46 (1), p.23-41
2018
Link zum Volltext

ACM transactions on programming languages and systems, 1996-07, Vol.18 (4), p.424-453
1996
Link zum Volltext

Ingenierías USBMed, 2012-12, Vol.3 (2), p.31-39
2012
Link zum Volltext

SIGPLAN notices, 2010-06, Vol.45 (6), p.86-97
2010
Link zum Volltext



Aktive Filter
ThemaProgramming Languages
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt