M. Jan Bessai und Heineman - Info zur Person

(1 - 8 von 9

)

Formal Aspects of Component Software: 12th International ...

books.google.de

... Boris Düdder1, George T. Heineman2, and Jakob Rehof1 1 Technical University of Dortmund, Dortmund, Germany {jan.bessai,boris.duedder ...

Covariant Conversions (CoCo): A Design Pattern for Type-Safe...

drops.dagstuhl.de

Jan Bessai, George T. Heineman, and Boris Düdder, "Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems", in 35th European Conference on Object-Oriented Programming (ECOOP 2021), LIPIcs, Vol. 194, pp. 4:1-4:25,

dblp: George T. Heineman

dblp.uni-trier.de

List of computer science publications by George T. Heineman

Alle Infos zum Namen "M. Jan Bessai"

A Long and Winding Road Towards Modular Synthesis ...

www.springerprofessional.de

verfasst von: George T. Heineman, Jan Bessai, Boris Düdder, Jakob Rehof. Erschienen in: Leveraging Applications of Formal Methods, Verification and ... › a-long-and-windi...

Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular...

2021.ecoop.org

Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems. Who. Jan Bessai, George Heineman, ... › details

PEPM — ACM SIGPLAN Workshop on Partial ...

www.ppopp.org

Jan Bessai Technical University Dortmund, Boris Düdder University of Copenhagen, George Heineman Worcester Polytechnic Institute, Jakob Rehof Technical ... › POPL-2018

POPL Program

popl18.sigplan.org

Sun 7 Jan ... Chair(s): K. Rustan M. Leino Amazon ... Jan Bessai Technical University Dortmund, Boris Düdder University of Copenhagen, George Heineman ... › program

Towards Language-independent Code Synthesis (Poster ...

popl18.sigplan.org

Towards Language-independent Code Synthesis (Poster/Demo Talk). Who. Jan Bessai, Boris Düdder, George Heineman, Jakob Rehof. Track. PEPM › details

Verwandte Suchanfragen zu M. Jan Bessai

Andrej Dudenhefner
Boris Düdder

Personen
Vorname "Jan" (55034)
Name "Bessai" (32)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

M. Jan Bessai und Heineman Person-Info