Sciweavers

Share
357 search results - page 1 / 72
» Optimizing programs with intended semantics
Sort
View
OOPSLA
2009
Springer
12 years 9 months ago
Optimizing programs with intended semantics
Modern object-oriented languages have complex features that cause programmers to overspecify their programs. This overspeciļ¬cation hinders automatic optimizers, since they must ...
Daniel von Dincklage, Amer Diwan
AI
2001
Springer
12 years 7 months ago
Stratified Partial-Order Logic Programming
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
Mauricio Osorio, Juan Carlos Nieves
SEMCO
2008
IEEE
12 years 9 months ago
Semantic Agent Programming Language (S-APL): A Middleware Platform for the Semantic Web
The agent-based approach is an effective one for building middleware interconnecting distributed heterogeneous resources and providing semantic interoperability among them. On the...
Artem Katasonov, Vagan Y. Terziyan
ECOOP
2007
Springer
12 years 9 months ago
IDE-integrated Support for Schema Evolution in Object-Oriented Applications
When an application retrieves serialized objects for which the class has changed, it may have to cope with modifications of the semantics. While there are numerous ways to handle t...
Marco Piccioni, Manuel Oriol, Bertrand Meyer
POPL
1994
ACM
12 years 7 months ago
Formally Optimal Boxing
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
Fritz Henglein, Jesper Jørgensen
books