Inlining Semantics for Subroutines which are Recursive (1992)

Cached

Download Links

by Henry G. Baker
Venue:ACM Sigplan Notices
Citations:7 - 0 self

Active Bibliography

535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
701 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
680 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
778 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
434 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994
313 Constant propagation with conditional branches – Mark N. Wegman, F. Kenneth Zadeck - 1991