Languages
Muller-Olm, Markus.
Overview
Works: | 0 works in 2 publications in 1 languages |
---|
Titles
Dependable software engineeringtheories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
(1998 :); Feng, Xinyu.; Muller-Olm, Markus.; SpringerLink (Online service); Yang, Zijiang.
(Electronic resources)
Static analysis21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : proceedings /
by:
(1998 :); Muller-Olm, Markus.; Seidl, Helmut.; SpringerLink (Online service)
(Language materials, printed)
Variations on ConstantsFlow Analysis of Sequential and Parallel Programs /
by:
Muller-Olm, Markus.; SpringerLink (Online service)
(Electronic resources)
Modular compiler verificationa refinement-algebraic approach advocating stepwise abstraction /
by:
Muller-Olm, Markus.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Variables (Mathematics)
Software engineering
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Compilers (Computer programs)
Computer software
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer programming
Parallel programming (Computer science)
Sequential processing (Computer science)
Mathematical constants.
Computer programs
Computer Science.
System Performance and Evaluation.