2477 search results - page 266 / 496 » First-Order Interactive Programming |
134
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
120
click to vote
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
117
Voted
HPCN
2000
Springer
15 years 6 months ago
2000
Springer
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...
IFIP
2000
Springer
15 years 6 months ago
2000
Springer
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...
HICSS
1995
IEEE
15 years 6 months ago
1995
IEEE
The Dreiding force field is a seven-term equation that describes the potential energy in a molecule as a function of the relative positions of bonded atoms and electrostatic inte...