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
