1699 search results - page 112 / 340 » On the Expressive Power of QLTL |
160
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
This paper presents a variant of the SML module system roduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module speci...
162
click to vote
CAAP
1990
15 years 10 months ago
1990
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpreta...
173
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract Paose (Petri net-based Agent-Oriented Software Engineering) combines the paradigm of AOSE (Agent-Oriented Software Engineering, see [10]) with the expressive power of Petr...
183
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
187
click to vote
AIML
2008
15 years 7 months ago
2008
A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arb...