Sciweavers

Share
177 search results - page 1 / 36
» Computational Logic in an Object-Oriented World
Sort
View
BIRTHDAY
2006
Springer
12 years 5 months ago
Computational Logic in an Object-Oriented World
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
Bob Kowalski
SOFTWARE
2011
11 years 8 months ago
Object-Oriented Parallelisation of Java Desktop Programs
Developing parallel applications is notoriously difficult, but is even more complex for desktop applications. The added difficulties are primarily because of their interactive nat...
Nasser Giacaman, Oliver Sinnen
ENTCS
2006
129views more  ENTCS 2006»
12 years 1 months ago
A Constructive Object Oriented Modeling Language for Information Systems
One of the central aspects in an Information System is the meaning of data in the external world and the information carried by them. We propose a Constructive Object Oriented Mod...
Mario Ornaghi, Marco Benini, Mauro Ferrari, Camill...
BIRTHDAY
2003
Springer
12 years 7 months ago
A Logic of Object-Oriented Programs
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
Martín Abadi, K. Rustan M. Leino
SAC
1998
ACM
12 years 5 months ago
Object oriented process modeling with fuzzy logic
Fuzzy Logic has traditionally found an application in control theory, systems analysis, and artificial intelligence [9] [7]. However, it is very difficult to apply it to tradition...
Luigi Benedicenti, Giancarlo Succi, Tullio Vernazz...
books