Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas (2011)

First Author: Danicic S
Attributed to:  Linear Schemas for Program Dependence funded by EPSRC


No abstract provided

Bibliographic Information

Digital Object Identifier:

Publication URI:

Type: Journal Article/Review

Parent Publication: The Journal of Logic and Algebraic Programming

Issue: 2