3311 search results - page 27 / 663 » Deductive Object Programming |
TOOLS
1992
IEEE
14 years 16 days ago
1992
IEEE
PLDI
1990
ACM
14 years 16 days ago
1990
ACM
ICLP
2011
Springer
12 years 12 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
14 years 19 days 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
14 years 1 months ago
2004
Springer