6274 search results - page 386 / 1255 » Proofs, Programs, Processes |
159
click to vote
ECOOP
2007
Springer
16 years 27 days ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
227
click to vote
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
206
click to vote
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
182
click to vote
KBSE
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
156
click to vote
VMCAI
2005
Springer
16 years 6 days ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...