632 search results - page 19 / 127 » Explicit Substitutions and Programming Languages |
73
Voted
OOPSLA
2001
Springer
15 years 4 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
88
Voted
TACS
2001
Springer
15 years 4 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...
81
Voted
AAAI
2000
15 years 1 months ago
2000
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
VLDB
1990
ACM
15 years 3 months ago
1990
ACM
Jasmine/C is a C-based database proqramninq language that allows the handling of persistent objects in Jasmine databases. The language is used to write methods for objects and app...
108
click to vote
NGC
1998
Springer
14 years 11 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...