"304" Result
Sort By:
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed…
All software developers use languages, which are the fundamental tool of the trade. Despite curiosity about how languages work, few developers actually understand how. Unfortunately, most texts on language and compiler development are hard to digest, written from academic platfo…
Übersetzerbau
by Seidl, Helmut, Hack, Sebastian, Wilhelm, R., (Reinhard)
fromEXamen.press
0
Type: Book
Das Buch behandelt die Optimierungsphase von Übersetzern. In dieser Phase werden Programme zur Effizienzsteigerung transformiert. Damit die Semantik der Programme bei diesen Transformationen erhalten bleibt, müssen jeweils zugehörige Anwendbarkeitsbedingungen erfüllt sein. Diese…
Compilers: principles and practice
by Dave, Parag H., Dave, Himanshu B.
fromAlways learning
0
Type: Book
Compilers: principles and practice
by Dave, Parag H., Dave, Himanshu B.
fromAlways learning
0
Type: Book