6054 search results - page 54 / 1211 » Implementation of Andorra-based Languages |
IFIPTCS
2000
14 years 23 days ago
2000
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...
VLDB
1991
ACM
14 years 20 days ago
1991
ACM
This paper describes the implementation of a set-oriented database production rule language proposed in earlier papers. Our implementation uses the extensibility features of the St...
CORR
2008
Springer
13 years 9 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...
IWOMP
2007
Springer
14 years 3 months ago
2007
Springer
Programs written in C++ and OpenMP are still relatively rare. This paper shows some problems with the current state of the OpenMP specification regarding C++. We illustrate the pr...
ODRL
2004
13 years 10 months ago
2004
The paper describes experiences, ideas, and problems that were discovered while developing a digital rights management (DRM) extension to an XML browser. The supported rights desc...