Search Results - "program compilers"
Suggested Topics within your search.
Suggested Topics within your search.
- formal logic 10
- program compilers 10
- semantics 9
- software engineering 7
- thema EDItEUR::U Computing and Information Technology::UY Computer science 7
- verification 7
- computer software selection and evaluation 5
- formal methods 5
- model checking 5
- programming languages 5
- artificial intelligence 4
- distributed computer systems 4
- parallel processing systems 4
- separation logic 4
- Natural Language Processing (NLP) 3
- Natural language & machine translation 3
- computer architecture 3
- computer programming 3
- embedded systems 3
- linguistics 3
- object-oriented programming 3
- software design 3
- software quality 3
- specifications 3
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering 3
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general 3
- Algorithms & data structures 2
- Compilers & interpreters 2
- Computer Systems Organization and Communication Networks 2
- Computer networking & communications 2
-
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2021Subjects: “…program compilers…”
Get full text
Online -
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2021Subjects: “…program compilers…”
Get full text
Online -
Programming Languages and Systems
Published 2021Subjects: “…program compilers…”
Get full text
Online -
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2021Subjects: “…program compilers…”
Get full text
Online -
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Published 2021Subjects: “…program compilers…”
Get full text
Online -
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2021Subjects: “…program compilers…”
Get full text
Online -
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2021Subjects: “…program compilers…”
Get full text
Online -
Fundamental Approaches to Software Engineering
Published 2021Subjects: “…program compilers…”
Get full text
Online -
Programming Languages and Systems
Published 2021Subjects: “…program compilers…”
Get full text
Online -
Programming Languages and Systems
Published 2022Subjects: “…program compilers…”
Get full text
Online