Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation

John P. Gallagher; Manuel V. Hermenegildo; José F. Morales; Pedro López-García

doi:10.1007/978-3-031-45784-5_3

Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation

John P. Gallagher^*, Manuel V. Hermenegildo, José F. Morales, Pedro López-García

^*Corresponding author

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Abstract

Natural semantics (big-step) and structural operational semantics (small-step) each have advantages, so it can be useful to produce both semantic forms for a language. Previous work has shown that big-step semantics can be transformed to small-step semantics. This is also the goal of our work, but our main contribution is to show that this can be done by specialisation of an interpreter that imposes a small-step execution on big-step transition rules. This is arguably more direct, transparent and flexible than previous methods. The paper contains two examples and further examples are available in an online repository

Originalsprog	Engelsk
Titel	Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Redaktører	Robert Glück, Bishoksan Kafle
Antal sider	11
Vol/bind	14330
Forlag	Springer
Publikationsdato	2023
Sider	28-38
ISBN (Trykt)	9783031457838
ISBN (Elektronisk)	978-3-031-45784-5
DOI	https://doi.org/10.1007/978-3-031-45784-5_3
Status	Udgivet - 2023
Begivenhed	33rd International Symposium on Logic-Based Program Synthesis and Transformation - Cascais, Portugal Varighed: 23 okt. 2023 → 24 okt. 2023 Konferencens nummer: 33

Symposium

Symposium	33rd International Symposium on Logic-Based Program Synthesis and Transformation
Nummer	33
Land/Område	Portugal
By	Cascais
Periode	23/10/2023 → 24/10/2023

Navn	Lecture Notes in Computer Science
Nummer	14330

Link til dokument

10.1007/978-3-031-45784-5_3

Transforming Big-step to Small-step Semantics using Interpreter SpecialisationAccepteret manuskript, 300 KBLicens: Andet

https://doi.org/10.1007/978-3-031-45784-53

Citer dette

Gallagher, J. P., Hermenegildo, M. V., Morales, J. F., & López-García, P. (2023). Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. I R. Glück, & B. Kafle (red.), Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Bind 14330, s. 28-38). Springer. https://doi.org/10.1007/978-3-031-45784-5_3

Gallagher, John P. ; Hermenegildo, Manuel V. ; Morales, José F. et al. / Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. red. / Robert Glück ; Bishoksan Kafle. Bind 14330 Springer, 2023. s. 28-38 (Lecture Notes in Computer Science; Nr. 14330).

@inproceedings{b0e04b096b074593901aa7d5ec698451,

title = "Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation",

abstract = "Natural semantics (big-step) and structural operational semantics (small-step) each have advantages, so it can be useful to produce both semantic forms for a language. Previous work has shown that big-step semantics can be transformed to small-step semantics. This is also the goal of our work, but our main contribution is to show that this can be done by specialisation of an interpreter that imposes a small-step execution on big-step transition rules. This is arguably more direct, transparent and flexible than previous methods. The paper contains two examples and further examples are available in an online repository",

keywords = "Interpreter specialisation, Operational semantics",

author = "Gallagher, {John P.} and Hermenegildo, {Manuel V.} and Morales, {Jos{\'e} F.} and Pedro L{\'o}pez-Garc{\'i}a",

year = "2023",

doi = "10.1007/978-3-031-45784-5_3",

language = "English",

isbn = "9783031457838",

volume = "14330",

series = "Lecture Notes in Computer Science",

number = "14330",

pages = "28--38",

editor = "Robert Gl{\"u}ck and Bishoksan Kafle",

booktitle = "Logic-Based Program Synthesis and Transformation",

publisher = "Springer",

note = "33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023 ; Conference date: 23-10-2023 Through 24-10-2023",

}

Gallagher, JP, Hermenegildo, MV, Morales, JF & López-García, P 2023, Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. i R Glück & B Kafle (red), Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. bind 14330, Springer, Lecture Notes in Computer Science, nr. 14330, s. 28-38, 33rd International Symposium on Logic-Based Program Synthesis and Transformation, Cascais, Portugal, 23/10/2023. https://doi.org/10.1007/978-3-031-45784-5_3

Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. / Gallagher, John P.; Hermenegildo, Manuel V.; Morales, José F. et al.
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. red. / Robert Glück; Bishoksan Kafle. Bind 14330 Springer, 2023. s. 28-38 (Lecture Notes in Computer Science; Nr. 14330).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation

AU - Gallagher, John P.

AU - Hermenegildo, Manuel V.

AU - Morales, José F.

AU - López-García, Pedro

N1 - Conference code: 33

PY - 2023

Y1 - 2023

N2 - Natural semantics (big-step) and structural operational semantics (small-step) each have advantages, so it can be useful to produce both semantic forms for a language. Previous work has shown that big-step semantics can be transformed to small-step semantics. This is also the goal of our work, but our main contribution is to show that this can be done by specialisation of an interpreter that imposes a small-step execution on big-step transition rules. This is arguably more direct, transparent and flexible than previous methods. The paper contains two examples and further examples are available in an online repository

AB - Natural semantics (big-step) and structural operational semantics (small-step) each have advantages, so it can be useful to produce both semantic forms for a language. Previous work has shown that big-step semantics can be transformed to small-step semantics. This is also the goal of our work, but our main contribution is to show that this can be done by specialisation of an interpreter that imposes a small-step execution on big-step transition rules. This is arguably more direct, transparent and flexible than previous methods. The paper contains two examples and further examples are available in an online repository

KW - Interpreter specialisation

KW - Operational semantics

U2 - 10.1007/978-3-031-45784-5_3

DO - 10.1007/978-3-031-45784-5_3

M3 - Article in proceedings

SN - 9783031457838

VL - 14330

T3 - Lecture Notes in Computer Science

SP - 28

EP - 38

BT - Logic-Based Program Synthesis and Transformation

A2 - Glück, Robert

A2 - Kafle, Bishoksan

PB - Springer

T2 - 33rd International Symposium on Logic-Based Program Synthesis and Transformation

Y2 - 23 October 2023 through 24 October 2023

ER -

Gallagher JP, Hermenegildo MV, Morales JF, López-García P. Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. I Glück R, Kafle B, red., Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Bind 14330. Springer. 2023. s. 28-38. (Lecture Notes in Computer Science; Nr. 14330). doi: 10.1007/978-3-031-45784-5_3