Parametric Operational Semantics

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Other literature type 01 Jan 2004Publisher:Springer Berlin Heidelberg

Authors: Simona Ronchi Della Rocca; Luca Paolini;

doi: 10.1007/978-3-662-10394-4_5

Parametric Operational Semantics

- Summary
- Metrics

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].

Related Organizations

University of Turin
Italy

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average