1194 search results - page 114 / 239 » A Calculus for Predicative Programming |
133
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
All classical -terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact work...
142
click to vote
ICALP
1999
Springer
15 years 9 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...
184
click to vote
ICALP
1992
Springer
15 years 9 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...
151
click to vote
POPL
1989
ACM
15 years 9 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...
193
click to vote
SCAM
2005
IEEE
15 years 10 months ago
2005
IEEE
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...