8008 search results - page 582 / 1602 » Computer-Aided Language Processing |
325
click to vote
Book
"Java Gently teaches the reader how to program and how to do it in the best possible style in Java. In the process, it details the fundamental structures of the Java 2 languag...
161
click to vote
IFL
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
186
click to vote
IFL
2007
Springer
16 years 29 days ago
2007
Springer
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...
202
click to vote
MODELS
2007
Springer
16 years 28 days ago
2007
Springer
We propose a method for describing architectural aspects in UML and show how binding specifications are used to compose aspects with base models. UML classes, parts, ports, and c...
174
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...