3926 search results - page 80 / 786 » A Logic of Object-Oriented Programs |
EDBT
2002
ACM
14 years 10 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
FCCM
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper introduces the Low-Power Intelligent Tool Environment (LITE), an object oriented tool set designed for power visualization, analysis, and optimization. These tools lever...
ICLP
1991
Springer
14 years 1 months ago
1991
Springer
Interpretation of Logic Programs 1
ESOP
1999
Springer
14 years 2 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
EUSFLAT
2009
13 years 8 months ago
2009
