Shivers - PDFSEARCH.IO - Document Search Engine

Shivers
Results: 82

#	Item
71	as of July 3, 2014 USGS National Map State Points of Contact ! .Tom Carlson Add to Reading List Source URL: liaisons.usgs.gov Language: English - Date: 2014-07-02 05:44:56 Washington metropolitan area Decker Shivers Geography of the United States Virginia Baltimore–Washington metropolitan area Northern Virginia Reston Virginia
72	The Big Freeze The city awoke this morning in a climate apparently transplanted. Shivers ran where shivers had not run before and the weather bureau was bombarded from early morn with telephone calls to know the reason w Add to Reading List Source URL: www.sandiegoyesterday.com Language: English - Date: 2014-01-06 16:13:49 Citrus hybrids Tropical agriculture Inland Empire Orange Citrus Cold wave San Diego Smudge pot Frost Geography of California Meteorology Atmospheric sciences
73	Continuations and Transducer Composition Olin Shivers Matthew Might Georgia Tech Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Lambda calculus Functions and mappings Binary operations Combinatory logic Logic in computer science Function Convolution Fixed-point combinator Mathematics Mathematical analysis Theoretical computer science
74	Continuations and Transducer Composition Olin Shivers Matthew Might Georgia Institute of Technology Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Computer programming Models of computation Computability theory Lambda calculus Theoretical computer science Call-with-current-continuation Continuation-passing style Weight Software engineering Continuations Computing
75	Environment Analysis via ∆CFA Matthew Might Olin Shivers Georgia Institute of Technology Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Continuations Logic in computer science Computability theory Models of computation Symbol Lambda calculus Stack Combinatory logic Closure Software engineering Computing Subroutines
76	A Structural Soundness Proof for Shivers’s Escape Technique A Case for Galois Connections Jan Midtgaard1 , Michael D. Adams2 , and Matthew Might3 1 2 Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Abstract interpretation Valuation Galois connection Lambda calculus Entailment Logic Abstract algebra Mathematics
77	Model Checking Via ΓCFA Matthew Might, Benjamin Chambers, and Olin Shivers {mattm,bjchamb}@cc.gatech.edu, [removed] Abstract. We present and discuss techniques for performing and improving the model-checking o Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Computer science Mathematics Symbol Lambda calculus Applied mathematics
78	Analyzing the Environment Structure of Higher-Order Languages using Frame Strings Matthew Might Georgia Institute of Technology, Atlanta, Georgia, USA Olin Shivers Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Subroutines Continuations Control flow Lambda calculus Continuation-passing style Functional programming Closure Call-with-current-continuation Continuation Software engineering Computer programming Computing
79	Improving Flow Analyses via ΓCFA Abstract Garbage Collection and Counting Matthew Might Olin Shivers Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Models of computation Computability theory Lambda calculus Theoretical computer science Abstract interpretation Free variables and bound variables Eval Computing Mathematics Software engineering
80	Dino-Mite (Ages 5 & up) Are you ready to be a junior paleontologist for a day and have a Dino-Mite time? Go on a dinosaur dig and make “fossil dough” to take home! Add to Reading List Source URL: www.mods.org Language: English - Date: 2014-03-02 12:05:28 Literature Goosebumps Shivers Big and Ugly Rendering Project

UPDATE