Back to Results
First PageMeta Content
Lambda calculus / Software engineering / Declarative programming / Theoretical computer science / Church encoding / Continuation-passing style / Lambda / Boolean satisfiability problem / Anonymous function / Control flow analysis / Deductive lambda calculus


Control-Flow Analysis with SAT Solvers Steven Lyde, Matthew Might University of Utah, Salt Lake City, Utah, USA Abstract. Control-flow analyses statically determine the control-flow of programs. This is a nontrivial prob
Add to Reading List

Document Date: 2014-12-27 17:19:23

Open Document

File Size: 222,13 KB

Share Result on Facebook

City

Boston / Massachussetts / New York / /

Company

GPU / ACM Press / Intel / /

Country

United States / /

Facility

Carnegie Mellon University / Matthew Might University of Utah / Georgia Institute of Technology / /

IndustryTerm

equivalent solution / control flow analysis algorithms / optimized solution / call site / /

OperatingSystem

Ubuntu / /

Organization

University of Utah / Salt Lake City / Carnegie Mellon University / Pittsburgh / Georgia Institute of Technology / eta / Matthew Might Church / /

Person

Steven Lyde / Matthew Might / Van Horn / /

Position

Scheme interpreter / abstract interpreter / small step abstract interpreter / /

ProgrammingLanguage

Java / Scala / /

ProvinceOrState

Utah / /

Technology

Functional Programming / Java / D. Subcubic control flow analysis algorithms / /

SocialTag