Shivers - PDFSEARCH.IO - Document Search Engine

Shivers
Results: 82

#	Item
21	Tawny I suspect she’s always been here, like unremembered dreams: Who, who, who, why me? shivers through the trees. I strain for answers. Add to Reading List Source URL: www.secondlightlive.co.uk - Date: 2011-05-29 11:50:25
22	Pushdown Flow Analysis of First-Class Control Dimitris Vardoulakis Olin Shivers Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-09-19 12:06:16 Control flow Models of computation Subroutines Recursion Scheme programming language Tail call Stack Data-flow analysis State Software engineering Computer programming Computing
23	203 Beale Street, #200 Memphis, TN-0115 Contact: Jon Shivers, Handy Park Rental and Event Agreement Add to Reading List Source URL: www.bealestreet.com Language: English - Date: 2014-04-01 16:03:06 Property Renting Beale Street Memphis Tennessee Fee Tennessee Culture of Memphis Tennessee Geography of the United States
24	The Semantics of Scheme Control-Flow Analysis Olin Shivers School of Computer Science Carnegie Mellon Pittsburgh, Pennsylvania 15213 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:31 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
25	trx : Regular-tree expressions, now in Scheme Ilya Bagrak University of California, Berkeley Olin Shivers Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:32 Computer programming Tree automaton Pattern matching Regular expression Pushdown automaton Binary tree Abstract syntax tree Nondeterministic finite automaton Finite-state machine Software engineering Automata theory Computing
26	CFA2: a Context-Free Approach to Control-Flow Analysis Dimitrios Vardoulakis and Olin Shivers Northeastern University {dimvar,shivers}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-02-16 14:40:14 Computer programming Continuations Control flow Computability theory Models of computation Continuation-passing style Eval Stack Lambda calculus Software engineering Computing Subroutines
27	GreenCube 3A – Lessons Learned Isaac Shivers: - “The iPhone ran into some strange hitch - I got 45 seconds of data on the ground before launch, and then some 5 seconds of data during flight about 30 minutes after lau Add to Reading List Source URL: www.dartmouth.edu Language: English - Date: 2011-09-27 11:07:24 Navigation Command and control Geodesy Global Positioning System Nuclear command and control Surveying Vehicle recovery Technology Transport Land transport
28	Bottom-up β-reduction: uplinks and λ-DAGs∗ (extended version) Olin Shivers† Georgia Institute of Technology Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-04-26 17:10:34 Computing Lambda calculus Directed acyclic graph Tree B-tree Free variables and bound variables T-tree Combinatory logic R-tree Graph theory Mathematics Binary trees
29	PBR Australia History Tamworth InvitationalChampion Rider Dave Mason 510 pts Champion Bull Add to Reading List Source URL: www.pbraustralia.com.au Language: English Pueblo Colorado Western United States Rodeo Luke Snyder Bull riding PBR World Cup Rodeo clown Bullfighting Chris Shivers Sports in Colorado Sports Professional Bull Riders
30	Bottom-up β-reduction: uplinks and λ-DAGs (journal version) June 29, 2010 Olin Shivers Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-07-08 22:05:21 Mathematics Lambda calculus Directed acyclic graph B-tree Tree traversal Tree Free variables and bound variables T-tree Linked list Graph theory Binary trees Computing

UPDATE