678 search results - page 54 / 136 » A simple typed intermediate language for object-oriented lan... |
PODS
2004
ACM
14 years 9 months ago
2004
ACM
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...
133
click to vote
Book
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
BIRTHDAY
2000
Springer
14 years 1 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
Book
"If you are new to programming in the Java language, have some experience with other languages, and are familiar with things like displaying text or graphics or performing sim...