Files
Details
Title
A Language for Role Specifications
Author(s)
Kuncak, Viktor ; Lam, Patrick ; Rinard, Martin
Published in
Languages and Compilers for Parallel Computing. LCPC 2001
Series
Lecture Notes in Computer Science, 2624
Pages
366-382
Conference
14th International Workshop on Languages and Compilers for Parallel Computing LCPC 2001, Cumberland Falls, KY, USA, August 1–3, 2001
Date
2001
Publisher
Springer
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Work outside EPFL
Conference Papers
Published
Work outside EPFL
Conference Papers
Published
Record creation date
2007-08-21