No. Title Author Year
1 Implementation of SHAPES Case Studies (Artifact) Tasos, Alexandros et al. 2020
2 Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first) Tasos, Alexandros et al. 2020
3 Calculating communication costs with Sessions Types and Sizes Franco, Juliana et al. 2014
4 Refactoring Boundary Wood, Tim et al. 2013
5 A Unified Framework for Verification Techniques for Object Invariants Drossopoulou, Sophia et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 5

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI