×

The promotion and accumulation strategies in transformational programming. (English) Zbl 0542.68006


MSC:

68N01 General topics in the theory of software
68Q60 Specification and verification (program logics, model checking, etc.)

Software:

LCF
PDFBibTeX XMLCite
Full Text: DOI