2236 search results - page 39 / 448 » Language Independence and Language Tolerance in Logic Progra... |
165
click to vote
ENTCS
2008
15 years 6 months ago
2008
The modularity of programming language descriptions allows the designer to describe each programming language feature in a separated module that can be studied independently of ot...
156
click to vote
SAS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
164
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lamb...
188
click to vote
LPAR
1992
Springer
15 years 10 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
136
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...