3516 search results - page 145 / 704 » Programming Languages: Application and Interpretation |
168
click to vote
VL
2002
IEEE
15 years 10 months ago
2002
IEEE
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
156
Voted
XIMEP
2006
ACM
15 years 11 months ago
2006
ACM
XQuery is a declarative language for querying and updating XML data sources. Interfacing XQuery to a host programming language is difficult because of the type system mismatch, an...
272
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
156
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
124
Voted
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...