16 search results - page 2 / 4 » Self-applicable Partial Evaluation for Pure Lambda Calculus |
FROCOS
2005
Springer
13 years 11 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
PEPM
1998
ACM
13 years 10 months ago
1998
ACM
POPL
1999
ACM
13 years 10 months ago
1999
ACM
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
PPDP
2005
Springer
13 years 11 months ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
LICS
2008
IEEE
14 years 16 days ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...