Back to Results
First PageMeta Content
Functional programming / Models of computation / Logic in computer science / Lambda calculus / Programming language semantics / Continuation-passing style / Denotational semantics / Free variables and bound variables / Closure / Software engineering / Computing / Computer programming


The Semantics of Scheme Control-Flow Analysis Olin Shivers School of Computer Science Carnegie Mellon Pittsburgh, Pennsylvania 15213
Add to Reading List

Document Date: 2010-10-22 08:05:31

Open Document

File Size: 130,59 KB

Share Result on Facebook

City

Pittsburgh / New Haven / Semantics / /

Company

Olin / MIT Press / Olivier Danvy / /

/

Facility

University of Copenhagen / Yale University / /

IndustryTerm

early algorithm / internal call site / call site / machinery / propagation-based fixed-point algorithm / given call site / computing / important tool / approximate solutions / early ad hoc control-flow analysis algorithm / /

Organization

School of Computer Science / Scheme Control-Flow Analysis Olin Shivers School of Computer Science Carnegie Mellon Pittsburgh / Department of Computer Science / MIT AI Lab / MIT / Association of Computing Machinery / University of Copenhagen / CMU School of Computer Science / Yale University / Association for Computing Machinery / /

Person

Peter Lee / Patrick Cousot / Guy L. Steele Jr. / Neil Jones / Paul Hudak / Adrienne Bloss / Anders Bondorf / Radhia Cousot / Jonathan Young / Dana Scott / David Kranz / John Reynolds / Peter Sestoft / Andrew Appel / Trevor Jim / /

/

Position

hb / editor / advisor / Scheme compiler writer / unified lattice model for static analysis / /

Product

Scheme / /

ProgrammingLanguage

Lisp / L / C / ML / K / /

ProvinceOrState

Pennsylvania / Connecticut / /

Technology

functional programming / av / early algorithm / propagation-based fixed-point algorithm / early ad hoc control-flow analysis algorithm / /

SocialTag