×

Continuation-based program transformation strategies. (English) Zbl 0429.68028


MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
PDFBibTeX XMLCite
Full Text: DOI