6201 search results - page 171 / 1241 » Implementation of Axiomatic Language |
158
Voted
OOPSLA
1993
Springer
15 years 8 months ago
1993
Springer
A key mechanism of a persistent programming language is its ability to detect and handle references to non-resident objects. Ideally, this mechanism should be hidden from the prog...
143
click to vote
VLDB
1993
ACM
15 years 8 months ago
1993
ACM
If persistent programming languages are to be accepted they must provide many of the standard features of traditional database systems, including resilience in the face of system ...
110
click to vote
MPC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
130
click to vote
FLAIRS
2004
15 years 6 months ago
2004
Double R Model (Referential and Relational model) is a computational psycholinguistic model of NLP founded on the principles of Cognitive Linguistics and implemented using the ACT...
127
Voted
DAGSTUHL
2003
15 years 6 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...