3713 search results - page 119 / 743 » Constructing a Calculus of Programs |
127
click to vote
ICALP
1999
Springer
15 years 7 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...
163
Voted
ICALP
1992
Springer
15 years 7 months ago
1992
Springer
This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence resu...
136
click to vote
POPL
1989
ACM
15 years 7 months ago
1989
ACM
Dynamic typing can be useful in statically typed languages. We extend the simply typed λ-calculus with dynamic typing and elaborate additional features like polymorphism and subty...
159
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
123
click to vote
INAP
2001
Springer
15 years 7 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...