662 search results - page 103 / 133 » Logic Programming with Ordered Disjunction |
164
click to vote
TLDI
2010
ACM
15 years 10 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
114
click to vote
ICSE
2004
IEEE-ACM
16 years 1 months ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...
105
click to vote
ECAIW
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
102
click to vote
JUCS
2006
15 years 1 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
212
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...