6740 search results - page 1144 / 1348 » Using Classification as a Programming Language |
146
click to vote
CSCLP
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Constraint Handling Rules (CHR) is a concurrent, committed-choice, rule-based language. One of the first CHR programs is the classic constraint solver for syntactic equal...
203
click to vote
ESAW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
154
click to vote
AGP
1998
IEEE
15 years 9 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
174
click to vote
TACAS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
144
click to vote
SAS
1997
Springer
15 years 9 months ago
1997
Springer
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...