6201 search results - page 307 / 1241 » Implementation of Axiomatic Language |
198
click to vote
SPIN
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
194
click to vote
ACL2
2006
ACM
16 years 22 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
168
click to vote
APLAS
2006
ACM
16 years 22 days ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
178
click to vote
HYBRID
2004
Springer
16 years 4 days ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
190
click to vote
PADL
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...