Skip to content

Predicate Path Expressions.

Sten Andler

VenueA*POPL
Year1979
ProceedingsPOPL

Browse the full POPL paper archive.