Riferimenti
ABELSON, Harold e JAY SUSSMAN, Gerald, 1996. Structure and
Interpretation of Computer Programs. 2nd. MIT Press.
ISBN 978-0262510875.
CHLIPALA, Adam, 2022. Certified Programming with Dependent
Types [online]. MIT Press. ISBN 9780262545747. Disponibile
all'indirizzo : http://adam.chlipala.net/cpdt/html/
Il libro "Certified Programming with Dependent Types"
di Adam Chlipala offre un’introduzione dettagliata al software Coq per
la scrittura e la verifica di dimostrazioni matematiche, con un forte
focus pratico sull’ingegneria del software. La verifica formale dei
programmi è un campo in crescita che trova applicazione sia nella
matematica che nell’ingegneria, e questo libro si propone di rendere
accessibili le tecniche per costruire, comprendere e mantenere sviluppi
in Coq di grandi dimensioni. Una delle caratteristiche distintive del
libro è la trattazione approfondita della programmazione con tipi
dipendenti, un aspetto centrale del sistema Coq, e la costruzione di
tattiche di prova specifiche per il dominio. Questi argomenti, raramente
trattati altrove, sono essenziali per la verifica interattiva dei
teoremi. Il libro utilizza uno stile unico di prova automatizzata e
offre una libreria di tattiche progettate per essere utilizzate con gli
esempi del testo, fornendo ai lettori le competenze necessarie per
reimplementare queste tattiche in altri contesti.
CHURCH, Alonzo, 1936. An Unsolvable Problem of Elementary Number Theory.
American Journal of Mathematics. 1936. Vol. 58, n° 2,
pp. 345–363. DOI 10.2307/2371045.
CURRY, Haskell B., 1950. A Theory of Formal Deducibility.
University of Notre Dame Press. Notre Dame Mathematical Lectures, 6.
ERICKSON, Jeff, 2019. Algorithms [online]. Independent.
Disponibile all'indirizzo : https://jeffe.cs.illinois.edu/teaching/algorithms/
HASKELL WIKI CONTRIB., 2024. Currying [online]. 2024.
Disponibile all'indirizzo : https://wiki.haskell.org/Currying
Accessed: 2024-07-09
HOARE, Charles A. R., 1969. An Axiomatic Basis for Computer Programming.
Communications of the ACM. 1969. Vol. 12, n° 10, pp. 576–580.
DOI 10.1145/363235.363259.
KERNIGHAN, Brian W., 1973. A Tutorial Introduction to the
Programming Language B. Murray Hill, NJ : Bell Laboratories.
KERNIGHAN, Brian W. e RITCHIE, Dennis M., 1988. The C Programming
Language. 2nd. Englewood Cliffs, NJ : Prentice Hall.
ISBN 978-0131103627.
POLYA, George, 1945. How to Solve It. Princeton University
Press. ISBN 9780691119663.
STONE, Harold S., 1971. Introduction to Computer Organization and
Data Structures. USA : https://dl.acm.org/doi/10.5555/578826; McGraw-Hill, Inc.
ISBN 0070617260.
STROUSTRUP, Bjarne, 2013. The C++ Programming Language. 4th. https://dl.acm.org/doi/10.5555/2543987; Addison-Wesley
Professional. ISBN 0321563840.
Il libro "The C++
Programming Language" di Bjarne Stroustrup, inventore del C++, nella sua
quarta edizione, è una risorsa imprescindibile per padroneggiare il
linguaggio C++ fino alla versione C++11. Stroustrup fornisce una guida
dettagliata e autorevole su come utilizzare le funzionalità del
linguaggio per migliorare le prestazioni, la leggibilità e
l’affidabilità del codice.Punti chiave del libro includono:- Copertura
approfondita di tutte le caratteristiche del linguaggio C++, dalle
fondamenta alle novità del C++11.- Descrizione dettagliata della
struttura e dell’interpretazione del linguaggio.- Tecniche avanzate come
smart pointers e move semantics.- Utilizzo efficace delle librerie C++.-
Uso dei template per codice generico.- Strumenti per la programmazione
concorrente.
WIKIPEDIA CONTRIB., 2024e. List of programming languages
[online]. 2024. Disponibile all'indirizzo : https://en.wikipedia.org/wiki/List_of_programming_languages
WIKIPEDIA CONTRIB., 2024d. Lambda calculus [online]. 2024.
Disponibile all'indirizzo : https://en.wikipedia.org/wiki/Lambda_calculus
Accessed: 2024-07-09
WIKIPEDIA CONTRIB., 2024f. Map (higher-order function)
[online]. 2024. Disponibile all'indirizzo : https://en.wikipedia.org/wiki/Map_(higher-order_function)
Accessed: 2024-07-09
WIKIPEDIA CONTRIB., 2024c. Filter (higher-order function)
[online]. 2024. Disponibile all'indirizzo : https://en.wikipedia.org/wiki/Filter_(higher-order_function)
Accessed: 2024-07-09
WIKIPEDIA CONTRIB., 2024g. Reduce (higher-order function)
[online]. 2024. Disponibile all'indirizzo : https://en.wikipedia.org/wiki/Reduce_(higher-order_function)
Accessed: 2024-07-09
WIKIPEDIA CONTRIB., 2024b. Currying [online]. 2024. Disponibile
all'indirizzo : https://en.wikipedia.org/wiki/Currying
Accessed: 2024-07-09
WIKIPEDIA CONTRIB., 2024a. Bubble sort [online]. 2024.
Disponibile all'indirizzo : https://en.wikipedia.org/wiki/Bubble_sort
Accessed: 2024-07-09