357 search results - page 2 / 72 » Optimizing programs with intended semantics |
AMAST
1998
Springer
13 years 8 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
POPL
1995
ACM
13 years 7 months ago
1995
ACM
SAIG
2001
Springer
13 years 8 months ago
2001
Springer
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...
PROMAS
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...
LPNMR
2001
Springer
13 years 8 months ago
2001
Springer
Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, no consensus has been reac...