3516 search results - page 40 / 704 » Programming Languages: Application and Interpretation |
139
click to vote
JUCS
2010
15 years 22 days ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
141
click to vote
POPL
1995
ACM
15 years 9 months ago
1995
ACM
Obliq is a lexically-scoped, untyped, interpreted language that supports distributed object-oriented computation. Obliq objects have state and are local to a site. Obliq computati...
156
click to vote
PLDI
1996
ACM
15 years 10 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
153
click to vote
LICS
1989
IEEE
15 years 9 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
182
click to vote
DAGSTUHL
1996
15 years 7 months ago
1996
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...