406 search results - page 66 / 82 » PL-detective: a system for teaching programming language con... |
ECBS
2004
IEEE
13 years 11 months ago
2004
IEEE
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
ICALP
2010
Springer
14 years 18 days ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
PLDI
1997
ACM
13 years 12 months ago
1997
ACM
An interface definition language (IDL) is a nontraditional language for describing interfaces between software components. IDL compilers generate “stubs” that provide separat...
DAGSTUHL
2007
13 years 9 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
SEFM
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...