4151 search results - page 328 / 831 » Language Driven System Design |
140
Voted
ECOOP
2012
Springer
13 years 7 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
152
click to vote
IE
2007
15 years 6 months ago
2007
In this paper, methods for nonverbal communication in digital games and virtual worlds are explored as alternatives to chat and other text-based forms of communication. Inspired b...
127
Voted
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
151
click to vote
IFL
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
145
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...