No. Title Author Year
1 Linking Types for Multi-Language Software: Have Your Cake and Eat It Too Patterson, Daniel et al. 2017
2 Compositional Compiler Verification for a Multi-Language World Ahmed, Amal 2016
3 Verified Compilers for a Multi-Language World Ahmed, Amal 2015
4 10351 Abstracts Collection -- Modelling, Controlling and Reasoning About State Ahmed, Amal et al. 2010
5 10351 Executive Summary -- Modelling, Controlling and Reasoning About State Ahmed, Amal et al. 2010
6 08061 Abstracts Collection -- Types, Logics and Semantics for State Ahmed, Amal et al. 2008
7 08061 Executive Summary -- Types, Logics and Semantics for State Ahmed, Amal et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 7


DROPS-Home | Fulltext Search | Imprint Published by LZI