290 search results - page 31 / 58 » A Denotational Semantics for Handel-C |
JFP
2008
14 years 11 months ago
2008
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
FM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
ISVC
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we investigate the quality of 3D-2D pose estimates using hand labeled line and point correspondences. We select point correspondences from junctions in the image, all...
131
click to vote
BIRTHDAY
2004
Springer
15 years 5 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
TCS
2008
14 years 11 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...