Skip to contents

Berardi, Stefano [Editor]; Damiani, Ferruccio [Other]; deL̉iguoro, Ugo [Other] ; TYPES 2008 Turin

Types for proofs and programs : international conference, TYPES 2008 Torino, Italy, March 26-29, 2008 ; revised selected papers

View online
Schließen

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5497
Damiani, Ferruccio [Editor]; Dardha, Ornela [Editor]

Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings - [1st ed. 2021.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

Published in: Programming and Software Engineering ; 12717
Beckert, Bernhard [Author] ; Damiani, Ferruccio [Other]; Gurov, Dilian [Other]

Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

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

Berlin, Heidelberg: Springer, 2012

Published in: Lecture notes in computer science ; 7421
Berardi, Stefano [Author] ; Coppo, Mario [Other]; Damiani, Ferruccio [Other]

Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Published in: Lecture notes in computer science ; 3085
Berardi, Stefano [Author] ; Coppo, Mario [Other]; Damiani, Ferruccio [Other]

Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 308500
Beckert, Bernhard [Author]; Damiani, Ferruccio [Author]; Gurov, Dilian [Author]

Formal Verification of Object-Oriented Software. Papers presented at the 2nd International Conference, October 5-7, 2011, Turin, Italy

View online
Schließen

Links

... to E-book

Close

Bookmarks

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

Karlsruher Institut für Technologie, 2011-01-01
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

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, 2022
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 (Artifact)

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, 2022
Bernardo, Marco [Author] ; Damiani, Ferruccio [Editor]; Hähnle, Reiner [Editor]; Johnsen, Einar Broch [Editor]; Schaefer, Ina [Editor]

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

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

Cham [u.a.]: Springer, 2014

Published in: Lecture notes in computer science ; 8483
Beckert, Bernhard [Author] ; Damiani, Ferruccio [Other]; Boer, Frank S. [Other]; Bonsangue, Marcello M. [Other]

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

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

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 7542
de Boer, Frank [Editor]; Damiani, Ferruccio [Editor]; Hähnle, Reiner [Editor]; Broch Johnsen, Einar [Editor]; Kamburjan, Eduard [Editor]

Active Object Languages: Current Research Trends - [1st ed. 2024.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Cham: Springer Nature Switzerland, 2024. ; Cham: Imprint: Springer, 2024.

Published in: Lecture Notes in Computer Science ; 14360
Hutchison, David [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Berardi, Stefano [Other]; Damiani, Ferruccio [Other]; de’Liguoro, Ugo [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]

Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5497
Damiani, Ferruccio

Lecture Notes in Computer Science: Rank-2 Intersection and Polymorphic Recursion

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

Published in: Lecture Notes in Computer Science (2005), Seite 146-161
DAMIANI, FERRUCCIO

A conjunctive type system for useless-code elimination

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

Published in: Mathematical Structures in Computer Science, 13 (2003) 1, Seite 157-197
Damiani, Ferruccio

Rank 2 intersection types for local definitions and conditional expressions

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

Published in: ACM Transactions on Programming Languages and Systems, 25 (2003) 4, Seite 401-451
Damiani, Ferruccio

Lecture Notes in Computer Science: Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract)

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

Published in: Lecture Notes in Computer Science (2000), Seite 82-97
Damiani, Ferruccio

Lecture Notes in Computer Science: Useless-Code Detection and Elimination for PCF with Algebraic Data Types

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

Published in: Lecture Notes in Computer Science (1999), Seite 83-97
Damiani, Ferruccio; Lienhardt, Michael

Lecture Notes in Computer Science: On Type Checking Delta-Oriented Product Lines

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

Published in: Lecture Notes in Computer Science (2016), Seite 47-62
Damiani, Ferruccio; Lienhardt, Michael

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking

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

Published in: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (2016), Seite 579-596
Damiani, Ferruccio; Lienhardt, Michael

Refactoring Delta-Oriented Product Lines to achieve Monotonicity

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

Published in: Electronic Proceedings in Theoretical Computer Science, 206 (2016), Seite 2-16

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