Volume 12; Issue 2

Science of Computer Programming

Volume 12; Issue 2
1

Formal derivation of a pattern matching algorithm

Year:
1989
Language:
english
File:
PDF, 632 KB
english, 1989
2

A new approach to Earley's parsing algorithm

Year:
1989
Language:
english
File:
PDF, 911 KB
english, 1989
3

Equational reasoning in Isabelle

Year:
1989
Language:
english
File:
PDF, 1.53 MB
english, 1989