402 search results - page 29 / 81 » Engineering a Programming Language: The Type and Class Syste... |
ESOP
2006
Springer
14 years 3 days ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
TIC
2000
Springer
14 years 14 hour ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
HOPL
2007
14 years 10 days ago
2007
Emerald is an object-based programming language and system designed and implemented in the Department of Computer Science at the University of Washington in the early and mid-1980...
POPL
1998
ACM
14 years 20 days ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
IFIP
1993
Springer
14 years 16 days ago
1993
Springer
A new type of computer-aided engineering environment is envisioned which will improve the productivity of manufacturing/industrial engineers. This environment would be used by eng...