Single Assignment C - Entwurf und Implementierung einer C-Variante mit spezieller Unterstützung shape-invarianter Array-Operationen (1996)

Cached

Download Links

by Sven-Bodo Scholz
Citations:13 - 8 self

Active Bibliography

535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
1318 Monads for functional programming – Philip Wadler - 1995
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1111 Proof-Carrying Code – George C. Necula - 1997
459 Comprehending Monads – Philip Wadler - 1992
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
449 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985