82 search results - page 15 / 17 » Compiling Language Definitions: The ASF SDF Compiler |
105
click to vote
EUROPAR
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Definitions for the uniform representation of d-dimensional matrices serially in Morton-order (or Z-order) support both their use with cartesian indices, and their divide...
ENTCS
2000
14 years 9 months ago
2000
The region calculus of Tofte and Talpin is an annotated polymorphically typed lambda calculus which makes memory allocation and deallocation explicit. It is intended as an interme...
161
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
PERCOM
2007
ACM
15 years 9 months ago
2007
ACM
Sensor networks are one important building block towards the realisation of context-aware applications. Suitable communication protocols and middleware solutions are necessary to ...
GCSE
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The C++ language has only a limited runtime type information system, which doesn’t provide full reflection capabilities. We present a general mechanism to support refle...