Languages
Caires, Luis.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
Caires, Luis.; SpringerLink (Online service); International Colloquium on Automata, Languages, and Programming (2005 :)
(Language materials, printed)
Formal Techniques for Distributed Objects, Components, and Systems = 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings /
by:
FORTE Conference (2018 :); Baier, Christel.; Caires, Luis.; SpringerLink (Online service)
(Electronic resources)
Programming languages and systems = 28th European Symposium on Programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings /
by:
Caires, Luis.; SpringerLink (Online service); ETAPS (Conference) (2019 :); European Symposium on Programming (2019 :)
(Electronic resources)
Subjects
Data Structures, Cryptology and Information Theory.
Theory of Computation.
Software Engineering.
Machine theory
Software Engineering/Programming and Operating Systems.
Data Structures.
Operating Systems.
Programming Techniques.
Computer programming
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers)
Formal languages
Numeric Computing.
Electronic data processing- Distributed processing
The Computing Profession.
Computer Science.
Discrete Mathematics in Computer Science.
Systems and Data Security.
Computer Communication Networks.
Computer System Implementation.
System Performance and Evaluation.