Book Details


Programming Languages and Systems

Publication year: 2019

ISBN: 978-3-030-17184-1

Internet Resource: Please Login to download book

It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Subject: computer science / formal logic / operational semantics / program compilers / programming languages / software engineering / software evaluation / theory of computation / type systems / verification / Programming Languages, Compilers, Interpreters / Programming Techniques / The Computing Profession / System Performance and Evaluation