Search alternatives:
computer programming » computer program
computer programs » computer program
Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...On the borderline between grammars and programs -- Efficient incremental evaluation of higher order...”
Cover Image
Read Now

2
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... programming language -- Camel: An extension of the categorical abstract machine to compile functional/logic...”
Cover Image
Read Now

3
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... -- Transformational meta program development -- Another case study on reusability of transformational developments...”
Cover Image
Read Now

4
by Poernomo, Iman, Crossley, John N., Wirsing, Martin
Published 2005
Springer New York
Table of Contents: “...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Cover Image
Read Now

5
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Computations -- Extending Formal Methods for Software-Intensive Systems -- Ensemble Engineering and Emergence...”
Cover Image
Read Now

8
by Broy, Manfred
Published 1991
Springer
“...Lecture Notes in Computer Science...”
Cover Image
Read Now

9
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
Cover Image
Read Now

10
Published 1989
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

11
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...-deterministic Queries in MobileNetworks -- Tools (Demos) and Program Analysis -- hol-TestGen -- CADS*: Computer...”
Cover Image
Read Now

12
Published 2015
Springer International Publishing
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

13
by Hölzl, Matthias, Raed, Allaithy, Wirsing, Martin
Published 2013
Springer Berlin Heidelberg
Subjects: “...Computer programming...”
Cover Image
Read Now

14
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Model Driven Software and System Development for Real-Time Embedded Systems -- A Computational Model...”
Cover Image
Read Now

15
Published 2011
Springer Berlin Heidelberg
Table of Contents: “...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...”
Cover Image
Read Now

17
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... -- LPC: A concurrent programming laboratory -- Darwin: Computer algebra and enumerative combinatorics...”
Cover Image
Read Now

18
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... of Concurrent Programs -- Certified Result Checking for Polyhedral Analysis of Bytecode Programs -- Tools...”
Cover Image
Read Now

19
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Type Checking Parametrised Programs and Specifications in ASL?+?FPC -- Pre-nets, Read Arcs...”