Skip to content

Ideal Models for Pointwise Relational and State-Free Imperative Programming.

David A. Naumann

VenueCPPDP
Year2001
ProceedingsPPDP

Browse the full PPDP paper archive.