Skip to contents

Gottliebsen, Hanne; Rose, Kristoffer H.

Semantics and Algebraic Specification: Converting between Combinatory Reduction Systems and Big Step Semantics

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Semantics and Algebraic Specification
Gallagher, John P.; Hermenegildo, Manuel; Morales, José; Lopez-Garcia, Pedro

Logic-Based Program Synthesis and Transformation: Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Nature Switzerland, 2023

Published in: Logic-Based Program Synthesis and Transformation
Gallagher, John P.; Hermenegildo, Manuel; Kafle, Bishoksan; Klemen, Maximiliano; López García, Pedro; Morales, José

From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2020

Published in: Electronic Proceedings in Theoretical Computer Science
Watanabe, Keishi; Nishizaki, Shin-ya

Big-step and Small-Step Semantics of the Call-by-Name RPC Calculus

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

International Academy Publishing (IAP), 2017

Published in: Journal of Software
Boronat, Artur

Theory and Practice of Model Transformation: Experimentation with a Big-Step Semantics for ATL Model Transformations

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2017

Published in: Theory and Practice of Model Transformation
Nakata, Keiko; Uustalu, Tarmo

A Hoare logic for the coinductive trace-based big-step semantics of While

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Centre pour la Communication Scientifique Directe (CCSD), 2015

Published in: Logical Methods in Computer Science
Ancona, Davide

ECOOP 2012 – Object-Oriented Programming: Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2012

Published in: ECOOP 2012 – Object-Oriented Programming
Esmaeilsabzali, Shahram; Day, Nancy A.

Fundamental Approaches to Software Engineering: Prescriptive Semantics for Big-Step Modelling Languages

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2010

Published in: Fundamental Approaches to Software Engineering
Hoffmann, Jan; Hofmann, Martin

Programming Languages and Systems: Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2010

Published in: Programming Languages and Systems
Ibraheem, Husain; Schmidt, David A.

Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and “Higher-Order” Derivations

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1998

Published in: Electronic Notes in Theoretical Computer Science
Li, Ximeng; Zhang, Qianying; Wang, Guohui; Shi, Zhiping; Guan, Yong

Dependable Software Engineering. Theories, Tools, and Applications: Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2021

Published in: Dependable Software Engineering. Theories, Tools, and Applications
Riesco, Adrián

Functional and Logic Programming: Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2014

Published in: Functional and Logic Programming
Hayes, Ian J.; Colvin, Robert J.

Abstract State Machines, Alloy, B, VDM, and Z: Integrated Operational Semantics: Small-Step, Big-Step and Multi-step

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2012

Published in: Abstract State Machines, Alloy, B, VDM, and Z
Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian

On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2012

Published in: Theoretical Computer Science
Nakata, Keiko; Uustalu, Tarmo

Programming Languages and Systems: A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2010

Published in: Programming Languages and Systems
Nakata, Keiko; Uustalu, Tarmo

Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2010

Published in: Electronic Proceedings in Theoretical Computer Science

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication