Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
formal language » formal languages
Cover Image
Read Now

1
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... of parallelizing compilers -- A formal approach to the compilation of data-parallel languages -- The data...”
Cover Image
Read Now

2
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- The interaction of the formal and the practical in parallel programming environment development: CODE...”