3311 search results - page 27 / 663 » Deductive Object Programming |
TOOLS
1992
IEEE
15 years 1 months ago
1992
IEEE
PLDI
1990
ACM
15 years 1 months ago
1990
ACM
125
click to vote
ICLP
2011
Springer
14 years 1 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
GI
1997
Springer
15 years 1 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
ECOOP
2004
Springer
15 years 3 months ago
2004
Springer