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

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

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 2013
Springer Berlin Heidelberg
Table of Contents: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...

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

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

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

8
Published 2016
Springer International Publishing
...This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages...

9
Published 2017
Springer Berlin Heidelberg
... in programming languages. In detail they deal with semantic foundation and type system for probabilistic...

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

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

12
by Teufel, Bernd
Published 1991
Springer Vienna
Table of Contents: ...1 Principles of Programming Languages -- 1.1 Evolution of Programming Languages -- 1.2 Backus...

13
by Lee, Kent D.
Published 2014
Springer International Publishing
...-trivial programming language, demonstrating when each language may be appropriate for a given problem...

14
by Lee, Kent D.
Published 2017
Springer International Publishing
... the essentials of programming languages, frameworks, and architectures. Dr. Kent D. Lee is Professor of Computer...

15
Published 2018
Springer International Publishing
...This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages...

16
Published 2015
Springer Berlin Heidelberg

17
by Jones, Cliff B.
Published 2020
Springer International Publishing
Table of Contents: ...Programming Languages -- Delimiting a Language -- Operational Semantics -- Typing -- Block...

18
Published 2014
Springer Berlin Heidelberg

19
by Sestoft, Peter
Published 2017
Springer International Publishing
...This book uses a functional programming language (F#) as a metalanguage to present all concepts...

20
Published 2018
Springer International Publishing