1699 search results - page 151 / 340 » On the Expressive Power of QLTL |
171
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the ...
165
click to vote
ICFP
1997
ACM
15 years 10 months ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...
178
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
171
click to vote
ESOP
1992
Springer
15 years 10 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...
163
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...