Ingrid Glasner

Publication Activity (10 Years)

Years Active: 1978-1980
Publications (10 Years): 0

Publications

Ingrid Glasner, Ulrich Möncke, Reinhard Wilhelm
OPTRAN, a Language for the Specification of Program Transformations. Fachtagung über Programmiersprachen (1980)
Jacques Loeckx, Ingrid Glasner
A calculus for proving properties of while-programs. Mathematical Studies of Information Processing (1978)