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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paul A. Bailes