146
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
144
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
139
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
115
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper is an investigation of the matching problem for term equations s = t where s contains context variables, and both terms s and t are given using some kind of compressed ...
121
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
114
Voted
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
We show that reachability and termination for lossy channel systems is exactly at level Fωω in the Fast-Growing Hierarchy of recursive functions, the first level that dominates...
133
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
107
Voted
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...