2000 search results - page 230 / 400 » Program Transformation and Proof Transformation |
147
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
Adding distributed capabilities to existing programs has come to the forefront of software evolution. As a standard Java distributed technology, applets offer the advantages of be...
137
Voted
IFL
2004
Springer
15 years 9 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
160
Voted
NMR
2004
Springer
15 years 9 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
115
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
143
click to vote
DEDUCTIVE
1997
15 years 5 months ago
1997
We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...