Advertisement

Epilogue

  • Gilles Dowek
  • Jean-Jacques Lévy
Part of the Undergraduate Topics in Computer Science book series (UTICS)

Abstract

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

Keywords

Programming Language Fixed Point Theorem Operational Semantic Garbage Collection Mathematical Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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