and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
201	Concepts, Techniques, and Models of Computer Programming Add to Reading List Source URL: www.info.ucl.ac.be Language: English - Date: 2004-05-07 08:54:14 Computer programming Oz Concepts Techniques and Models of Computer Programming Object-oriented programming Abstraction Functional programming Concurrent computing Dataflow programming Software engineering Programming paradigms Computing
202	ISSN[removed], Programming and Computer Software, 2007, Vol. 33, No. 6, pp. 343–355. © Pleiades Publishing, Ltd., 2007. Original Russian Text © V.S. Gurov, M.A. Mazin, A.S. Narvsky, A.A. Shalyto, 2007, published in Programmirovanie, 2007, Vol. 33, No. 6. Add to Reading List Source URL: is.ifmo.ru Language: English - Date: 2007-11-04 10:40:05 Unified Modeling Language Models of computation Programming paradigms Diagrams Automata-based programming State diagram Finite-state machine Executable UML Model-driven architecture UML diagrams Software Computing
203	ISSN[removed], Programming and Computer Software, 2008, Vol. 34, No. 1, pp. 27–43. © Pleiades Publishing, Ltd., 2008. Original Russian Text © E.V. Kuzmin, V.A. Sokolov, 2008, published in Programmirovanie, 2008, Vol. 34, No. 1. Add to Reading List Source URL: is.ifmo.ru Language: English - Date: 2008-03-11 23:34:24 Theoretical computer science Computer science Büchi automaton Finite-state machine Deterministic finite automaton State Petri net Kripke structure Nested word Models of computation Automata theory Formal methods
204	Concepts, Techniques, and Models of Computer Programming PETER VAN ROY1 Add to Reading List Source URL: www.epsa.org Language: English - Date: 2003-07-08 18:21:13 Programming paradigms Models of computation Notation Programming language Futures and promises Object-oriented programming Closure Dataflow Concurrency Software engineering Computing Computer programming
205	Under consideration for publication in Math. Struct. in Comp. Science Formalizing Domains, Ultrametric Spaces and Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-11 18:09:29 Topology Logic in computer science Programming language semantics General topology Continuous function Lambda calculus Monad Denotational semantics Function Mathematics Theoretical computer science Models of computation
206	Event-Driven FRP Walid Taha, Zhanyong Wan, and Paul Hudak Department of Computer Science, Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2001-08-22 00:57:04 Programming language theory Models of computation Logic in computer science Functional programming Functional reactive programming Denotational semantics Reactive programming ALGOL 68 Software engineering Evaluation strategy Computing
207	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-28 05:07:34 Lambda calculus Models of computation Logic in computer science Procedural programming languages Functions and mappings Combinatory logic Monad ALGOL 68 Type system Mathematics Software engineering Theoretical computer science
208	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-27 05:55:04 Logic in computer science Programming language semantics Models of computation Computability theory Metalogic Denotational semantics Free variables and bound variables Operational semantics Entailment Theoretical computer science Logic Mathematical logic

UPDATE