Paul A. Bailes

Available identifiers

zbMath Open bailes.paul-aMaRDI QIDQ3314956

List of research outcomes

Publication	Date of Publication	Type
Facet Grammars: Towards static semantic analysis by context-free parsing	1993-02-11	Paper
G: A functional language with generic abstract data types	1987-01-01	Paper
Static checking of variable handling in Dijkstra's Guarded Commands language	1986-01-01	Paper
A low‐cost implementation of coroutines for C	1985-01-01	Paper
A semantically-based formatting discipline for Pascal	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3343413	1984-01-01	Paper

Research outcomes over time

This page was built for person: Paul A. Bailes