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

Assure 

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