oaioai:CiteSeerX.psu:10.1.1.52.7761

Specifying and Developing Parameterised Programs: CFI Language Design Study Notes

Abstract

)!Sig(SP 0 ))- algebras F : Alg(Sig(SP)) ! Alg(Sig(SP 0 )) such that F (A) 2 [[SP 0 ]] for all A 2 [[SP ]]. Said another way, Sig(SP!SP 0 ) = Sig(SP )!Sig(SP 0 ) and [[SP!SP 0 ]] = fF 2 Alg(Sig(SP )!Sig(SP 0 )) j F ([[SP]]) ` [[SP 0 ]]g. The statement that is a realization of SP!SP 0 is thus equival

Similar works

Full text

thumbnail-image
oaioai:CiteSeerX.psu:10.1.1.52.7761Last time updated on 10/22/2014

This paper was published in CiteSeerX.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.