A walk in the semantic park

Authors:
Olivier Danvy;Jacob Johannsen;Ian Zerny
Affiliations:
Aarhus University, Aarhus N, Denmark;University of Kent, Canterbury, United Kingdom;Aarhus University, Aarhus N, Denmark
Venue:
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Year:
2011

Citing 13
Cited 6

Back to direct style

ESOP'92 Selected papers of the symposium on Fourth European symposium on programming
Trampolined style

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Definitional Interpreters Revisited

Higher-Order and Symbolic Computation
Definitional Interpreters for Higher-Order Programming Languages

Higher-Order and Symbolic Computation
Defunctionalization at work

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
A functional correspondence between evaluators and abstract machines

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
The calculi of lambda-nu-cs conversion: a syntactic theory of control and state in imperative higher-order programming languages

The calculi of lambda-nu-cs conversion: a syntactic theory of control and state in imperative higher-order programming languages
Lightweight fusion by fixed point promotion

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A syntactic correspondence between context-sensitive calculi and abstract machines

Theoretical Computer Science
On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion

Information Processing Letters
Refunctionalization at work

Science of Computer Programming
Inter-deriving semantic artifacts for object-oriented programming

Journal of Computer and System Sciences
From reduction-based to reduction-free normalization

AFP'08 Proceedings of the 6th international conference on Advanced functional programming

Pragmatics for formal semantics

Proceedings of the 10th ACM international conference on Generative programming and component engineering
Automating derivations of abstract machines from reduction semantics: a generic formalization of refocusing in Coq

IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers

PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
A logical correspondence between natural semantics and abstract machines

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Deriving interpretations of the gradually-typed lambda calculus

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Quantified Score

Hi-index	0.02

Visualization

Abstract

To celebrate the 20th anniversary of PEPM, we are inviting you to a walk in the semantic park and to inter-derive reduction-based and reduction-free negational normalization functions.