6054 search results - page 139 / 1211 » Implementation of Andorra-based Languages |
177
click to vote
TOOLS
1998
IEEE
15 years 9 months ago
1998
IEEE
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...
162
click to vote
ICTL
1994
15 years 9 months ago
1994
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
125
Voted
IMPERIAL
1994
15 years 9 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
165
click to vote
OOPSLA
1993
Springer
15 years 9 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...
146
Voted
VLDB
1993
ACM
15 years 9 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 ...