Skip to contents

Rodríguez, Leonardo [Author]; Fridlender, Daniel [Author]; Pagano, Miguel [Author] ; Leonardo Rodríguez and Daniel Fridlender and Miguel Pagano [Contributor]

A Certified Extension of the Krivine Machine for a Call-by-Name Higher-Order Imperative Language

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
Attar, Pejman [Author] ; Nice [Contributor]; Boussinot, Frédéric [Contributor]; Castellani, Ilaria [Contributor]

Vers un langage synchrone sûr et securisé ; Towards a safe and secure synchronous language

View online
Schließen

Links

http://www.theses.fr/2013NICE4148/document

Show more show less

Close

Bookmarks

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

theses.fr, 2013-12-12
Ambal, Guillaume [Author] ; Rennes 1 [Contributor]; Schmitt, Alan [Contributor]

Skeletal semantics transformations ; Transformations de sémantiques squelettiques

View online
Schließen

Links

http://www.theses.fr/2022REN1S057/document

Show more show less

Close

Bookmarks

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

theses.fr, 2022-10-19
Kogtenkov, Alexander [Author] ; Meyer, Bertrand [Contributor]; Furia, Carlo A. [Contributor]; Mazzara, Manuel [Contributor]; Meijer, Erik [Contributor]; Thiele, Lothar [Contributor]

Void safety

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/135

Show more show less

Close

Bookmarks

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

ETH Zurich, 2017-01-31
Dagnino, Francesco [Author] ; Zucca, Elena [Other]; Bono, Viviana [Other]; Dezani-Ciancaglini, Mariangiola [Other]

Soundness conditions for 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.

[Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

Published in: 29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021)
Ancona, Davide [Author]; Dagnino, Francesco [Author]; Rot, Jurriaan [Author]; Zucca, Elena [Author] ; Davide Ancona and Francesco Dagnino and Jurriaan Rot and Elena Zucca [Contributor]

A Big Step from Finite to Infinite Computations (SCICO Journal-first)

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Kuśmierek, JarosłAw Dominik Mateusz; Bono, Viviana

Big-step Operational Semantics Revisited

View online
Schließen

Access

Close

Bookmarks

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

IOS Press, 2010

Published in: Fundamenta Informaticae
Leroy, Xavier; Grall, Hervé

Coinductive big-step operational semantics

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2009

Published in: Information and Computation
Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena

Resource-Aware Soundness for Big-Step Semantics

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2023

Published in: Proceedings of the ACM on Programming Languages
Dagnino, Francesco

A Meta-theory for Big-step Semantics

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2022

Published in: ACM Transactions on Computational Logic
Uustalu, Tarmo

Coinductive Big-Step Semantics for Concurrency

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, 2013

Published in: Electronic Proceedings in Theoretical Computer Science
Dagnino, Francesco; Bono, Viviana; Zucca, Elena; Dezani-Ciancaglini, Mariangiola

Programming Languages and Systems: Soundness Conditions for 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, 2020

Published in: Programming Languages and Systems
Owens, Scott; Myreen, Magnus O.; Kumar, Ramana; Tan, Yong Kiam

Programming Languages and Systems: Functional 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, 2016

Published in: Programming Languages and Systems
Bodin, Martin; Jensen, Thomas; Schmitt, Alan

Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version)

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, 2013

Published in: Electronic Proceedings in Theoretical Computer Science
Charguéraud, Arthur

Programming Languages and Systems: Pretty-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, 2013

Published in: Programming Languages and Systems
Esmaeilsabzali, Shahram; Day, Nancy A.; Atlee, Joanne M.; Niu, Jianwei

Deconstructing the semantics of big-step modelling languages

View online
Schließen

Access

Close

Bookmarks

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

Springer Science and Business Media LLC, 2010

Published in: Requirements Engineering
NAKATA, KEIKO; HASEGAWA, MASAHITO

Small-step and big-step semantics for call-by-need

View online
Schließen

Access

Close

Bookmarks

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

Cambridge University Press (CUP), 2009

Published in: Journal of Functional Programming
Leroy, Xavier

Programming Languages and Systems: Coinductive 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, 2006

Published in: Programming Languages and Systems
Bach Poulsen, Casper; Mosses, Peter D.

Programming Languages and Systems: Deriving Pretty-Big-Step Semantics from Small-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, 2014

Published in: Programming Languages and Systems
Ciobâcă, Ştefan

Lecture Notes in Computer Science: From Small-Step Semantics to Big-Step Semantics, Automatically

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, 2013

Published in: Lecture Notes in 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