Fundamentele limbajelor de programare
Facultatea de Matematică și Informatică, DL Informatică, Anul II.
Semestrul II, 2024/2025.
Profesori: Traian Florin Șerbănuță, Andrei Sipoș, Horațiu Cheval, Alexandru Oltean, George Radu, Virgil Nicolae Șerbănuță
Note de curs:
Cursurile 10-14 sunt
suplimentare!
Seminare:
[2], [4], [5], [6], [7-8]
Laboratoare:
[1], [2], [3], [4], [5], [6], [7], [8]
Soluții:
[1], [2], [3], [4], [5], [6], [7], [8]
Materiale *alternative* (pentru seriile 23, 24):
- Curs 2, Laborator 2, Curs 2t, Curs 3, Curs 3t, Laborator 3, Curs 4, Curs 4t, Laborator 4, Curs 5, Curs 5t, Laborator 5, Curs 6, Curs 6t, Laborator 6, Curs 7, Curs 7t, Laborator 7
Mecanizarea cursului
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