Search alternatives:
"programs language" » "programming language", "process language", "gram language"

1
by Lee, Kent D.
Published 2008
Springer US
...Programming Languages: An Active Learning Approach introduces students to three programming...

2
Published 2015
Springer International Publishing
... in the design and implementation of programming languages and systems. ...

3
Published 2014
Springer International Publishing
Table of Contents: ... and theoretical foundations -- Program analysis and verification -- Programming language design and implementation...

4
Published 2016
Springer International Publishing
... in the design and implementation of programming languages and systems...

5
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...

6
Published 2012
Springer Berlin Heidelberg
...This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages...

7
by Olsson, Ronald A., Keen, Aaron W.
Published 2004
Springer US
...) programming language. It is suitable for writing programs for both shared- and distributed-memory applications...

8
by Sestoft, Peter
Published 2012
Springer London
...Programming Language Concepts uses a functional programming language (F#) as the metalanguage...

11
Published 2007
Springer Berlin Heidelberg

12
Published 2010
Springer Berlin Heidelberg
... to both foundational and practical issues in programming languages and systems and feature current...

13
Published 2011
Springer Berlin Heidelberg
... invited on all aspects of programming language research including: programming paradigms and styles...

14
Published 2007
Springer Berlin Heidelberg
... to presentthe verybest workat the intersectionof database and programming language research. The proceedings...

15
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...

16
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Handlers as Extensible Cases -- Sound and Complete Type Inference for a Systems Programming Language...

17
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... to Design Programming Languages -- Computational Effects -- Modular Monad Transformers -- Handlers...

18
Published 2014
Springer International Publishing
...This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages...

19
Published 2015
Springer International Publishing
...This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages...

20
Published 2016
Springer Berlin Heidelberg
Table of Contents: ... -- An application of computable distributions to the semantics of probabilistic programming languages -- Weakest...