Skip to contents

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)
Audrito, Giorgio [Author]; Casadei, Roberto [Author]; Damiani, Ferruccio [Author]; Salvaneschi, Guido [Author]; Viroli, Mirko [Author] ; Giorgio Audrito and Roberto Casadei and Ferruccio Damiani and Guido Salvaneschi and Mirko Viroli [Contributor]

Functional Programming for Distributed Systems with XC

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, 2022
Bach Poulsen, Casper [Author]; Néron, Pierre [Author]; Tolmach, Andrew [Author]; Visser, Eelco [Author] ; Casper Bach Poulsen and Pierre Néron and Andrew Tolmach and Eelco Visser [Contributor]

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics

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, 2016
Bach Poulsen, Casper [Author]; Néron, Pierre [Author]; Tolmach, Andrew [Author]; Visser, Eelco [Author] ; Casper Bach Poulsen and Pierre Néron and Andrew Tolmach and Eelco Visser [Contributor]

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)

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, 2016
Lorenzen, Florian [Author] ; Pepper, Peter [Degree supervisor]; Mezini, Mira [Degree supervisor]; Nestmann, Uwe [Degree supervisor]

Type sound syntactic language extension

View online
Schließen

Access

https://d-nb.info/1077818653/34

kostenfrei

Show more show less

Close

Bookmarks

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

Berlin: Technische Universität Berlin, 2015
Degen, Markus [Author] ; Thiemann, Peter [Degree supervisor]

Java(X): A Type-Based Program Analysis Framework = Java(X): Ein Typ basiertes Programmanalyse Framework

View online
Schließen

Access

https://d-nb.info/111482898X/34

kostenfrei

Show more show less

Close

Bookmarks

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

Freiburg: Universität, 2011
Grewe, Sylvia [Author] ; Mezini, Mira [Degree supervisor]; Kovács, Laura [Degree supervisor]; Erdweg, Sebastian Thore [Degree supervisor]

Automating Type Soundness Proofs for Domain-Specific Languages

View online
Schließen

Access

https://d-nb.info/1195141904/34

kostenfrei

Show more show less

Close

Bookmarks

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

Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2019
Viso, Andrés; Bonelli, Eduardo; Ayala-Rincón, Mauricio

Type Soundness for Path Polymorphism

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2016

Published in: Electronic Notes in Theoretical Computer Science
Rompf, Tiark; Amin, Nada

Type soundness for dependent object types (DOT)

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), 2016

Published in: ACM SIGPLAN Notices
Greenman, Ben; Felleisen, Matthias

A spectrum of type soundness and performance

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), 2018

Published in: Proceedings of the ACM on Programming Languages
Amin, Nada; Rompf, Tiark

Type soundness proofs with definitional interpreters

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), 2017

Published in: ACM SIGPLAN Notices
Damiani, Ferruccio; Giannini, Paola; Ricci, Alessandro; Viroli, Mirko

Standard Type Soundness for Agents and Artifacts

View online
Schließen

Access

Close

Bookmarks

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

Editura Universitatii Alexandru Ioan Cuza din Iasi, 2012

Published in: Scientific Annals of Computer Science
Skalka, Christian; Pottier, François

Syntactic Type Soundness for HM(X)

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2003

Published in: Electronic Notes in Theoretical Computer Science
Helsen, Simon; Thiemann, Peter

Syntactic Type Soundness for the Region Calculus

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2001

Published in: Electronic Notes in Theoretical Computer Science
Wright, A.K.; Felleisen, M.

A Syntactic Approach to Type Soundness

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 1994

Published in: Information and Computation
Rapoport, Marianna; Kabir, Ifaz; He, Paul; Lhoták, Ondřej

A simple soundness proof for dependent object types

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), 2017

Published in: Proceedings of the ACM on Programming Languages
Lorenzen, Florian; Erdweg, Sebastian

Modular and automated type-soundness verification for language extensions

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

Published in: ACM SIGPLAN Notices
Roberson, Michael; Harries, Melanie; Darga, Paul T.; Boyapati, Chandrasekhar

Efficient software model checking of soundness of type systems

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), 2008

Published in: ACM SIGPLAN Notices
Glew, Neal; Palsberg, Jens

Method Inlining, Dynamic Class Loading, and Type Soundness

View online
Schließen

Access

Close

Bookmarks

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

AITO - Association Internationale pour les Technologies Objets, 2005

Published in: The Journal of Object Technology
Calcagno, Cristiano; Helsen, Simon; Thiemann, Peter

Syntactic Type Soundness Results for the Region Calculus

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2002

Published in: Information and Computation

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