48 search results - page 1 / 10 » Typed Compilation Against Non-manifest Base Classes |
CASSIS
2005
Springer
13 years 10 months ago
2005
Springer
CC
2005
Springer
13 years 6 months ago
2005
Springer
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
FMCO
2008
Springer
13 years 6 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
ICFP
1999
ACM
13 years 9 months ago
1999
ACM
We propose a conservative extension of the polymorphic lambda calculus (A5B ) as an intermediate language for compiling languages with name-based class and interface hierarchies. ...
JAVA
1999
Springer
13 years 8 months ago
1999
Springer
The Java language incurs a runtime overhead for exception checks and object accesses without an interior pointer in order to ensure safety. It also requires type inclusion test, d...