Search alternatives:
languages » language
automata » automated

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

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...

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

4
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... -- Architecture software using: A methodology for language development -- Explicit substitutions for objects...

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