Languages
Fernandez, Maribel.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Graph transformation = 16th International Conference, ICGT 2023, held as part of STAF 2023, Leicester, UK, July 19-20, 2023 : proceedings /
by:
ICGT (Conference) (2023 :); Fernandez, Maribel.; Poskitt, Christopher M.; SpringerLink (Online service); STAF (Federation of conferences) ((2023 :)
(Electronic resources)
Programming languages and operational semantics = a concise overview /
by:
Fernandez, Maribel.; SpringerLink (Online service)
(Electronic resources)
Models of computation = an introduction to computability theory /
by:
SpringerLink (Online service); Fernandez, Maribel.
(Language materials, printed)
Logic-based program synthesis and transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings /
by:
Fernandez, Maribel.; SpringerLink (Online service); LOPSTR (Symposium) (2020 :)
(Electronic resources)
Subjects
Theory of Computation.
Mathematical Logic and Formal Languages.
Data Structures and Information Theory.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Programming Techniques.
Logic programming
Computable functions.
Programming Languages, Compilers, Interpreters.
Computer logic
Artificial Intelligence.
Computer science
Computer Science.
Computer software- Development
Computer Systems Organization and Communication Networks.
Graph theory- Data processing
Discrete Mathematics in Computer Science.
Design and Analysis of Algorithms.
Turing machines.
Programming languages (Electronic computers)- Semantics.
Compilers and Interpreters.