The Epilogue discusses the goals of the theory of programming languages: building tools to describe existing languages or to define new ones?


Programming Language Fixed Point Theorem Operational Semantic Garbage Collection Mathematical Language 

Copyright information

© Springer-Verlag London Limited 2011

Authors and Affiliations

  1. 1.Labo. d’InformatiqueÉcole polytechniquePalaiseauFrance
  2. 2.Centre de Recherche Commun, INRIA-Microsoft ResearchParc Orsay UniversitéOrsay CedexFrance

Personalised recommendations