2231 search results - page 34 / 447 » Alternation as a programming paradigm |
ASPLOS
2000
ACM
14 years 2 months ago
2000
ACM
We systematically evaluate the performance of five implementations of a single, user-level communication interface. Each implementation makes different architectural assumptions ...
AMAST
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
KI
2009
Springer
14 years 2 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
AAAI
1992
13 years 11 months ago
1992
The goal in automatic programming is to get a computer to perform a task by telling it what needs to be done, rather than by explicitly programming it. This paper considers the ta...
EXACT
2008
14 years 6 days ago
2008
This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications ...