3713 search results - page 224 / 743 » Constructing a Calculus of Programs |
115
Voted
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
121
Voted
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
114
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...
167
Voted
CL
2007
Springer
15 years 3 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
251
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...