5096 search results - page 427 / 1020 » Associations as a Language Construct |
190
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
194
click to vote
IPL
2006
15 years 7 months ago
2006
A language is defined by closure under safe iteration and under a new form of safe diagonalization that, unlike other forms of diagonalization used in literature to define sub-recu...
178
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
217
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
Path expressions are the principal means of locating data in a hierarchical model. But path expressions are brittle because they often depend on the structure of data and break if...
322
click to vote
CC
2009
Springer
16 years 8 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...