Total Correctness by Local Improvement in Program Transformation

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  • D. Sands
OriginalsprogEngelsk
TitelProceedings of the 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
ForlagAssociation for Computing Machinery
Publikationsdato1995
Sider221-232
StatusUdgivet - 1995

ID: 235284