Search alternatives:
languages » language
automata » automated
Cover Image
Read Now

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...-order lazy functional language implementation: An exercise in mechanical theorem proving -- Assertions...”
Cover Image
Read Now

2
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...? -- The model theory of concurrency -- From semantics to rules: A machine assisted analysis -- On the reasons...”
Cover Image
Read Now

3
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... theory -- The semantics of SPECTRUM -- ATLAS: A typed language for algebraic specification -- Compilation...”
Cover Image
Read Now

4
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Architecture software using: A methodology for language development -- Explicit substitutions for objects...”
Cover Image
Read Now

5
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... lazy narrowing calculus: A computation model for a higher-order functional logic language...”