Personensuche
X
?
Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering ,
5
Getting grammars into shape for block-based editors:
, In:
?
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science ,
6
Automated Validation of State-Based Client-Centric Isolatio..:
, In:
?
Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control ,
7
Contract-based return-value commutativity: safely exploitin..:
, In:
?
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) ,
8
Modeling with Mocking:
, In:
?
Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control ,
9
Static local coordination avoidance for distributed objects:
, In:
?
2019 19th International Working Conference on Source Code Analysis and Manipulation (SCAM) ,
10
Rascal, 10 Years Later:
, In:
?
Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software ,
11
AlleAlle: bounded relational model finding with unbounded d..:
, In:
?
Proceedings of the 15th International Conference on Mining Software Repositories ,
12
An empirical evaluation of OSGi dependencies best practices..:
, In:
?
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering ,
13
Bacatá: a language parametric notebook generator (tool demo:
, In:
?
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
14