Geoffrey Weyer

According to our database, Geoffrey Weyer authored at least 1 paper in 1996.

Collaborative distances:

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

1996

Annotated Structure Shape Graphs for Abstract Analysis of Prolog.

Geoffrey Weyer, William H. Winsborough

Proceedings of the Programming Languages: Implementations, 1996