394 search results - page 67 / 79 » Formal polytypic programs and proofs |
107
click to vote
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
197
click to vote
POPL
2007
ACM
16 years 1 days ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
120
click to vote
PLDI
2006
ACM
15 years 5 months 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...
114
click to vote
PLDI
2006
ACM
15 years 5 months 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...
147
click to vote
GPC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...