Sciweavers

3311 search results - page 37 / 663
» Deductive Object Programming
Sort
View
AMI
2009
Springer
15 years 4 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...
ECOOP
1989
Springer
15 years 1 months ago
A Design Method for Object-Oriented Programming
Winnie W. Y. Pun, Russel L. Winder
ESOP
2007
Springer
15 years 3 months ago
Immutable Objects for a Java-Like Language
Christian Haack, Erik Poll, Jan Schäfer, Alek...
TOOLS
2010
IEEE
15 years 2 months ago
Reasoning about Function Objects
Martin Nordio, Cristiano Calcagno, Bertrand Meyer,...