357 search results - page 1 / 72 » Optimizing programs with intended semantics |
OOPSLA
2009
Springer
13 years 11 months ago
2009
Springer
Modern object-oriented languages have complex features that cause programmers to overspecify their programs. This overspeciļ¬cation hinders automatic optimizers, since they must ...
AI
2001
Springer
13 years 8 months ago
2001
Springer
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...
SEMCO
2008
IEEE
13 years 11 months ago
2008
IEEE
The agent-based approach is an effective one for building middleware interconnecting distributed heterogeneous resources and providing semantic interoperability among them. On the...
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
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...
POPL
1994
ACM
13 years 9 months ago
1994
ACM
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...