200 search results - page 25 / 40 » Algebraic Operational Semantics and Occam |
AGP
1993
IEEE
15 years 2 months ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...
LISP
2006
14 years 10 months ago
2006
We present the call-by-push-value (CBPV) calculus, which decomposes the typed call-by-value (CBV) and typed call-by-name (CBN) paradigms into fine-grain primitives. On the operatio...
ICMCS
2006
IEEE
15 years 4 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
ZUM
2000
Springer
15 years 2 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
165
click to vote
SIGMOD
2005
ACM
15 years 10 months ago
2005
ACM
Model management is an approach to simplify the programming of metadata-intensive applications. It offers developers powerful operators, such as Compose, Diff, and Merge, that are...