|
Books 
Compilers: Principles, Techniques, & Tools, Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman, 2006
Essentials of Programming Languages, Daniel P. Friedman, et al., 2001
The Formal Semantics of Programming Languages: An Introduction, Glynn Winskel, 1993
Formal Specification of Programming Languages: A Panoramic Primer, Frank G. Pagan, 1981
Formal Syntax and Semantics of Programming Languages: A Laboratory-Based Approach, Ken Slonneger and Barry L. Kurtz, 1995
Introduction to Automata Theory, Languages, and Computation, John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman, 2006
Practical Foundations for Programming Languages, Robert Harper, 2008
Programming Languages: Application and Interpretation, Shriram Krishnamurthi, 2007
Semantics of Programming Languages, Carl A. Gunter, 1992
Types and Programming Languages, Benjamin C. Pierce, 2002
Axiomatic Semantics
An Axiomatic Basis for Computer Programming, C. A. R. Hoare, 1969
Denotational Semantics
The Denotational Semantics of Programming Languages, R. D. Tennent, 1976
A Practical Introduction to Denotational Semantics, Lloyd Allison, 1986
Fixed-Point Semantics
Fixpoint Approach to the Theory of Computation, Zohar Manna and Jean Vuillemin, 1972
Lambda Calculus
A Tutorial Introduction to the Lambda Calculus, Razl Rojas
Logic Programming Paradigm
The Logic Programming Paradigm and Prolog, Krzysztof R. Apt, 2001
Foundations of Logic Programming, Vladimir Lifschitz, 1995
Object-Oriented Programming Paradigm
Abstract Data Types and Software Validation, John V. Guttag, et al., 1978
On Understanding Types, Data Abstraction, and Polymorphism,
Luca Cardelli and Peter Wegner, 1985
Operational Semantics
A Structural Approach to Operational Semantics, Gordon Plotkin, 1981
Proof of Program Correctness
An Introduction to Proving the Correctness of Programs, Sidney L. Hantler and James C. King, 1976
Proving Termination with Multiset Orderings, Nachum Dershowitz and Zohar Manna, 1979
Translational Semantics
Attribute Grammar Paradigms—A High-Level Methodology in Language Implementation, Jukka Paakki, 1995
Others
Developers Shift to Dynamic Programming Languages, Linda Dailey Paulson, 2007
An Empirical Comparison of Seven Programming Languages, Lutz Prechelt, 2000
Scripting: Higher Level Programming Languages for the 21st Century, John K. Ousterhout, 1998
Software and the Future of Programming Languages, Alfred Aho, 2004
IEEE Computer, Don Kiely, May 2001
|