3824 search results - page 55 / 765 » Geometry Constructions Language |
SAC
2005
ACM
14 years 3 months ago
2005
ACM
During language evolution, compiler construction is usually d along two dimensions: defining new abstract syntax tree (AST) classes, or adding new operations. In order to facilita...
TYPES
2000
Springer
14 years 1 months ago
2000
Springer
We present a formalization of the halting problem in Agda, a language based on Martin-L
WCRE
1999
IEEE
14 years 2 months ago
1999
IEEE
One of the challenges of reverse engineering is the extraction of a specification from source code. Our work proposes a singular approach to the construction of reverse engineerin...
ISWC
2002
IEEE
14 years 3 months ago
2002
IEEE
The representation of physical space has traditionally focused on keyphrases such as “Computer Science Building” or “Physics Department” that help us in describing and nav...
ASM
2010
ASM
14 years 5 months ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...