Ingrid Glasner

According to our database, Ingrid Glasner authored at least 2 papers between 1978 and 1980.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1980

OPTRAN, a Language for the Specification of Program Transformations.

Ingrid Glasner, Ulrich Möncke, Reinhard Wilhelm

Proceedings of the Programmiersprachen und Programmentwicklung, 1980

1978

A calculus for proving properties of while-programs.

Jacques Loeckx, Ingrid Glasner

Proceedings of the Mathematical Studies of Information Processing, 1978