Title: Generative and Transformational Techniques in Software Engineering III
Subjects: Logic design, Computer science, Software engineering, Software Engineering/Programming and Operating Systems, Mathematical Logic and Formal Languages, Programming Techniques, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs