Advertisement

Parametric Operational Semantics

  • Simona Ronchi Della Rocca
  • Luca Paolini
Part of the Texts in Theoretical Computer Science book series (TTCS)

Abstract

In this part we will study the evaluation of terms and the induced operational semantics. Our notion of operational semantics is inspired by the structured operational semantics (SOS) developed by Plotkin [80] and by Kahn [55].

Keywords

Normal Form Evaluation Relation Formal System Operational Semantic Logical Rule 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Simona Ronchi Della Rocca
    • 1
  • Luca Paolini
    • 1
  1. 1.Dipartimento di InformaticaUniversità di TorinoTorinoItaly

Personalised recommendations