3824 search results - page 485 / 765 » Geometry Constructions Language |
142
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
143
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
185
click to vote
POPL
1998
ACM
15 years 9 months 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...
177
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...
142
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...