1194 search results - page 192 / 239 » A Calculus for Predicative Programming |
SEMWEB
2007
Springer
14 years 5 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...
ECOOP
2006
Springer
14 years 2 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...
LICS
1989
IEEE
14 years 2 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
ICFP
2010
ACM
14 years 2 days 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...
CL
2007
Springer
13 years 11 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...