Kestrel - PDFSEARCH.IO - Document Search Engine

Kestrel
Results: 468

#	Item
1	Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:33:11 Formal methods Theoretical computer science Software engineering Logic in computer science Software development Semigroup action Refinement Predicate transformer semantics Program transformation Postcondition Finite-state machine Formal verification
2	Colimits for Concurrent Collectors Dusko Pavlovic1, Peter Pepper2 , and Doug Smith1 1 2 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:47:54 Computer programming Software engineering Functional programming Monad Heap Clean
3	Calculemus Igitur Lambert Meertens Kestrel Institute & Utrecht University (1) Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-03 13:20:36 Surname Patronymic surnames Genealogy Lambert Meertens Meertens Lambert Algebraic structure Scientific law
4	Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:42:21 Mathematical logic Logic Mathematics Model theory Automated theorem proving Predicate logic Semantics Logic programming Resolution First-order logic Skolem normal form Substitution
5	Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1 , Peter Pepper2 , and Douglas R. Smith1 1 2 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:24:03 Computing Memory management Knowledge representation Mutator Garbage collection Garbage Connectivity Tree Tracing garbage collection
6	to appear in Automatic Program Development: a Tribute to Robert Paige, O. Danvy, F. Henglein, H. Mairson, and A. Pettorosi (Eds.), Springer-Verlag, 2006. Aspects as Invariants Douglas R. Smith Kestrel Institute Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:31:08 Software development Aspect-oriented software development Computing Software engineering Aspect-oriented programming Pointcut AspectJ Join point Invariant Const
7	Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 21:04:29 Mathematics Algebra Combinatorial optimization Mathematical logic Mathematical optimization Operations research Algorithm Sheaf Branch and bound Universal property Equation solving Boolean algebra
8	Composition and Renement of Behavioral Specications Dusko Pavlovic and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:57:16 Pushout Recursion Span Pullback Limit Mathematics Computing Philosophy of mathematics
9	Theory and Techniques for Synthesizing a Family of Graph Algorithms Srinivas Nedunuri William R. Cook Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2014-10-03 20:43:38 Edsger W. Dijkstra Network theory Shortest path problem Constructible universe Total least squares
10	Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:27:15 Formal methods Computing Software engineering Theoretical computer science Specification language Refinement Abstract state machines Domain-specific language Specification Programming language Integrated circuit design Formal specification