1699 search results - page 112 / 340 » On the Expressive Power of QLTL |
155
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...
154
click to vote
CAAP
1990
15 years 9 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...
171
Voted
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...
178
click to vote
FLOPS
2008
Springer
15 years 7 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...
182
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...