6274 search results - page 229 / 1255 » Proofs, Programs, Processes |
172
click to vote
CHI
2009
ACM
15 years 4 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
146
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
195
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
164
click to vote
CC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
179
click to vote
WETICE
1998
IEEE
15 years 10 months ago
1998
IEEE
Mobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about new programming la...