2 Oct 1998 11:38
workshop announcement
W E S T A P P' 9 9
The Second International Workshop on Explicit Substitutions:
Theory and Applications to Programs and Proofs
CALL FOR PAPERS
July 5, 1999, Trento, Italy
FLoC'99 Affiliated Workshop
URL address: http://www.lri.fr/~kesner/westapp/call.html
Recently, there has been growing interest in explicit substitutions as a
means of bridging the gap between theory and practice in the implementation
of programming languages, theorem provers and proof
checkers. Theoretically, these typically rely on calculi that employ
substitution operations implicitly at the meta-level; implementations are
then framed in terms of these meta-level operations. Explicit
substitutions bring the meta-level operations down into the object-level
calculus, where they are represented explicitly. This allows formal and
robust models to be given for the techniques actually used in
implementations, and at the same time allows more flexibility and control
on unfinished evaluations. Explicit substitutions, and more generally
environment machines, have recently proved to be very useful in building
more efficient programming languages and proof assistants.
The aim of this workshop is to bring together researchers working on both
theoretical and applied aspects of explicit substitutions, to present
recent work (possibly still in progress), and to discuss new ideas and
emerging trends in topics including the following:
(Continue reading)
RSS Feed