4008 search results - page 268 / 802 » An expressive language of signatures |
181
click to vote
ICALP
1999
Springer
15 years 11 months ago
1999
Springer
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. O...
203
click to vote
FTRTFT
1992
Springer
15 years 10 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
165
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...
156
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
135
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...