4 search results - page 1 / 1 » Compile-time execution structure of object-oriented programs... |
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Ownership domain annotations enable obtaining at compiletime the system’s execution structure from the annotated program. The execution structure is sound, hierarchical (and thu...
APL
1993
ACM
14 years 19 days ago
1993
ACM
Array morphology is the study of the form, structure, and evolution of arrays. An array annotation for a program written in an applicative array lanan abstract syntax tree for the...
APLAS
2005
ACM
14 years 2 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...