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

Links

... to article via DOI

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

... to thesis

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

... to thesis

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

... to thesis

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

... to video recording via DOI (freely accessible)

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

Links

... to article via DOI

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, 103 (2010) 1-4, Seite 137-172
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, 207 (2009) 2, Seite 284-304
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, 7 (2023) OOPSLA2, Seite 1281-1309
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, 23 (2022) 3, Seite 1-50
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, 137 (2013), Seite 63-78
Dagnino, Francesco; Bono, Viviana; Zucca, Elena; Dezani-Ciancaglini, Mariangiola

Programming Languages and Systems: Soundness Conditions 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.

Springer International Publishing, 2020

Published in: Programming Languages and Systems (2020), Seite 169-196
Owens, Scott; Myreen, Magnus O.; Kumar, Ramana; Tan, Yong Kiam

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

Springer Berlin Heidelberg, 2016

Published in: Programming Languages and Systems (2016), Seite 589-615
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, 129 (2013), Seite 360-383
Charguéraud, Arthur

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

Springer Berlin Heidelberg, 2013

Published in: Programming Languages and Systems (2013), Seite 41-60
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, 15 (2010) 2, Seite 235-265
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, 19 (2009) 6, Seite 699-722
Leroy, Xavier

Programming Languages and Systems: 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.

Springer Berlin Heidelberg, 2006

Published in: Programming Languages and Systems (2006), Seite 54-68
Bach Poulsen, Casper; Mosses, Peter D.

Programming Languages and Systems: Deriving Pretty-Big-Step Semantics from Small-Step Semantics

View online
Schließen

Access

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 (2014), Seite 270-289
Ciobâcă, Ştefan

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

View online
Schließen

Access

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 (2013), Seite 347-361

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