Fundamentele limbajelor de programare
Facultatea de Matematică și Informatică, DL Informatică, Anul II.
Profesori: Traian Florin Șerbănuță, Andrei Sipoș, Horațiu Cheval, Ana Pantilie, Andrei Burdușa, Ioan Teodorescu
Note de curs:
Laboratoare:
[1], [2], [3], [4], [5], [6], [7], [8], [9]
Soluții:
[1], [2], [3], [4], [5], [6], [7], [8], [9]
Exerciții de seminar
Mecanizarea cursului în Coq
Referințe:
- Referințe generale
- G. Winskel, The Formal Semantics of Programming Languages: An Introduction. The MIT Press, 1993.
- V. E. Căzănescu, Programare prin rescriere. Editura Universității din București, București, 2020.
- V. E. Căzănescu, A. Mihăiță, Algebra programelor. Note de curs, 2010.
- J. A. Goguen, Theorem Proving and Algebra. arXiv:2101.02690 [cs.LO], 2021.
- J. A. Goguen, “Tossing algebraic flowers down the great divide”. In: C. Calude (ed.), People & Ideas in Theoretical Computer Science (pp. 93–129). Springer, 1999.
- S. Aaronson, “State”. Answer to Edge annual question “What scientific term or concept ought to be more widely known?”, 2017.
- Introducere istorică
- T. K. Astarte, Formalising Meaning: a History of Programming Language Semantics. PhD Thesis, Newcastle University, 2019.
- C. B. Jones, “The early search for tractable ways of reasoning about programs”. IEEE Annals of the History of Computing, vol. 25, no. 2, pp. 26–49, 2003.
- S. Martini, “The standard model for programming languages: The birth of a mathematical theory of computation”. 2020.
- G. D. Plotkin, “The origins of structural operational semantics”. The Journal of Logic and Algebraic Programming, vol. 60, pp. 3–15, 2004.
- Programare logică
- U. Nilsson, J. Maluszynski, Logic, Programming and Prolog. Second Edition, 2000.
- J. W. Lloyd, Foundations of Logic Programming. Second, Extended Edition, Springer-Verlag, 1993.
- U. Schöning, Logic for Computer Scientists. Birkhäuser Boston Inc., Boston, MA, 2008.
- S. Bond, “Positivist Programming”. Archived from the original on 2014-02-23.
- Programare funcțională
- J. R. Hindley, J. P. Seldin, Lambda-calculus and combinators: an introduction. Cambridge University Press, 2008.
- B. C. Pierce, Types and programming languages. MIT Press, 2002.
- J.-Y. Girard, P. Taylor, Y. Lafont, Proofs and types. Cambridge University Press, 1989.
- Haskell