| Referências: |
NIELSON, H. R., NIELSON, F. Semantics with Applications: An Appetizer. Springer, 2007.
TURBAK, F., GIFFORD, D., SHELDON, M. A. Design Concepts in Programming Languages. MIT Press, 2008. PIERCE, B. Types and Programming Languages. MIT Press, 2002.
HARPER, R. Practical Foundations for Programming Languages. Cambridge, 2012.
WINSKEL, G. Formal Semantics of Programming Languages. MIT Press, 1993
MITCHELL, J.C. Foundations for Programming Languages. MIT Press, 1991.
GUNTER, C. A. Semantics of Programming Languages: Structures and Techniques. MIT Press, 1992.
STOY, J. E. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1981.
GORDON, M. J. C. The Denotational Description of Programming Languages: An Introduction. Springer, 2013.
ALLISON, L. A Practical Introduction to Denotational Semantics. Cambridge, 1987.
SLONNEGER, K.; KURTZ, B. Formal Syntax and Semantics of Programming Languages. Addison-Wesley, 1995.
AGHA, G. A., Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press 1985.
ROSCOE, A. W. The Theory and Practice of Concurrency. Prentice Hall, 1997.
HOARE, C. A. R. Communicating Sequential Processes Prentice Hall, 2004 (1985).
SCHNEIDER, F. B. On Concurrent Programming. Springer, 2007.
BARENDREGT, H. The Lambda Calculus. Its Syntax and Semantics. College Publications, 2012.
BARENDREGT, H. DEKKERS, W.; STATMAN, R., Lambda Calculus with Types. Cambridge, 2013. Hankin, C. An Introduction to Lambda Calculi for Computer Scientists. College Publications, 2004.
FERNANDEZ, M. Programming Languages and Operational Semantics: An Introduction. College Publications, 2004.
HÜTTEL, H. Transitions and Trees: An Introduction to Structural Operational Semantics. Cambridge, 2010.
CAROMEL, D; HENRIO, L. A Theory of Distributed Objects. Springer, 2005. |
