Sciweavers

3311 search results - page 37 / 663
» Deductive Object Programming
Sort
View
123
Voted
AMI
2009
Springer
15 years 8 months ago
SAGE: A Logical Agent-Based Environment Monitoring and Control System
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
Krysia Broda, Keith Clark, Rob Miller 0002, Alessa...
66
Voted
ECOOP
1989
Springer
15 years 6 months ago
A Design Method for Object-Oriented Programming
Winnie W. Y. Pun, Russel L. Winder
92
Voted
ICFP
2002
ACM
16 years 2 months ago
An interoperable calculus for external object access
Atsushi Ohori, Kiyoshi Yamatodani
59
Voted
ESOP
2007
Springer
15 years 8 months ago
Immutable Objects for a Java-Like Language
Christian Haack, Erik Poll, Jan Schäfer, Alek...
85
Voted
TOOLS
2010
IEEE
15 years 7 months ago
Reasoning about Function Objects
Martin Nordio, Cristiano Calcagno, Bertrand Meyer,...