Languages
Damiani, Ferruccio.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal verification of object-oriented softwareinternational conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers /
by:
(1998 :); Beckert, Bernhard.; Damiani, Ferruccio.; Gurov, Dilian.; SpringerLink (Online service)
(Electronic resources)
Types for proofs and programsInternational Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
by:
(1998 :); Berardi, Stefano.; Damiani, Ferruccio.; De'Liguoro, Ugo.; SpringerLink (Online service)
(Electronic resources)
Types for proofs and programsinternational workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /
by:
(1998 :); Berardi, Stefano.; Coppo, Mario, (1947-); Damiani, Ferruccio.; SpringerLink (Online service)
(Electronic resources)
Coordination models and languages23rd IFIP WG 6.1 International Conference, COORDINATION 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings /
by:
(1998 :); Damiani, Ferruccio.; Dardha, Ornela.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Software architecture
Electronic data processing
Software Engineering/Programming and Operating Systems.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Computer software
Programming Techniques.
Management of Computing and Information Systems.
Database Management.
Computer programming
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Symbolic and Algebraic Manipulation.
Object-oriented programming (Computer science)
Computer Applications.