6054 search results - page 274 / 1211 » Implementation of Andorra-based Languages |
194
click to vote
ACL2
2006
ACM
16 years 20 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, (...
167
click to vote
APLAS
2006
ACM
16 years 20 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 ...
177
click to vote
HYBRID
2004
Springer
16 years 2 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...
189
click to vote
PADL
2004
Springer
16 years 1 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...
158
Voted
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...