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...



Electronic proceedings in theoretical computer science, 2017-04, Vol.247 (Proc. SNR 2017), p.52-70
2017
Link zum Volltext


Gradual Typing for Objects
ECOOP 2007 – Object-Oriented Programming, 2007, p.2-27
2007
Link zum Volltext

Open Access
Reasoning about multi-stage programs
Journal of functional programming, 2016-01, Vol.26, Article e22
2016
Link zum Volltext

Theoretical computer science, 2018-11, Vol.747, p.75-99
2018
Link zum Volltext

Gradual typing for objects
Proceedings of the 21st European conference on Object-Oriented Programming, 2007, p.2-27
2007
Link zum Volltext



MicroITS: A Scaled-Down ITS Platform
Cyber Physical Systems. Model-Based Design, 2019, p.214-221
2019
Link zum Volltext

Theoretical computer science, 2018, Vol.747, p.75
2018
Link zum Volltext

Open Access
System Analysis and Robustness
Models, Mindsets, Meta: The What, the How, and the Why Not?, 2019, p.36-44
2019
Link zum Volltext

Acta cybernetica (Szeged), 2020-01, Vol.24 (3), p.269-285
2020
Link zum Volltext

New generation computing, 2007-01, Vol.25 (3), p.305-336
2007
Link zum Volltext

Theoretical computer science, 2000-10, Vol.248 (1), p.211-242
2000
Link zum Volltext


Open Access
A Semantic Analysis of C++ Templates
ECOOP 2006 - Object-Oriented Programming, 2006, p.304-327
2006
Link zum Volltext

Open Access
Reasoning about Multi-stage Programs
Programming Languages and Systems, 2012, p.357-376
2012
Link zum Volltext



Principles of Modeling, 2018, Vol.10760, p.223-239
2018
Link zum Volltext


Practical Aspects of Declarative Languages, 2017, Vol.10137, p.120-135
2017
Link zum Volltext
Aktive Filter
ThemaSoftware Engineering
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n