3713 search results - page 377 / 743 » Constructing a Calculus of Programs |
133
click to vote
LISP
2007
15 years 4 months ago
2007
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard callby-value CPS translation, Danvy a...
136
click to vote
RAS
2008
15 years 4 months ago
2008
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
155
click to vote
IGPL
2010
15 years 2 months ago
2010
Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as `ope...
149
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
263
click to vote
POPL
2003
ACM
16 years 5 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...