Search Results - "program analysis"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 21
- Software Engineering 20
- Artificial intelligence 17
- Algorithms & data structures 14
- Computer programming / software development 12
- Mathematical theory of computation 10
- Computer networking & communications 8
- Systems analysis & design 8
- Artificial Intelligence 5
- Software engineering 5
- Computer Science Logic and Foundations of Programming 4
- Computer modelling & simulation 4
- Expert systems / knowledge-based systems 4
- Mathematical foundations 4
- Computer Engineering and Networks 3
- Computer Modelling 3
- Computer engineering 3
- Computer networks 3
- Computer simulation 3
- Discrete mathematics 3
- Formal Languages and Automata Theory 3
- Machine theory 3
- Algorithms 2
- Coding theory & cryptology 2
- Compilers (Computer programs) 2
- Compilers and Interpreters 2
- Computer Hardware 2
- Computers 2
- Computing & information technology 2
- Computing Milieux 2
-
1
Employer Partnership Program Analysis of Alternatives
Published 2012DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
-
3
-
4
-
5
-
6
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…static and dynamic program analysis…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
7
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2022Subjects: “…program analysis,…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2022Subjects: “…program analysis,…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
9
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…static and dynamic program analysis…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
10
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2022Subjects: “…program analysis…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2022Subjects: “…program analysis…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
12
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: “…static and dynamic program analysis…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: “…static and dynamic program analysis…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
14
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: “…static and dynamic program analysis…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
15
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: “…static and dynamic program analysis…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
16
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021Subjects: “…program analysis…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
17
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021Subjects: “…program analysis…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
18
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020Subjects: “…static and dynamic program analysis…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
19
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020Subjects: “…static and dynamic program analysis…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
20
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020Subjects: “…static and dynamic program analysis…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter