Found an issue? Give us feedback

https://doi.org/10.1...arrow_drop_down

https://doi.org/10.1007/978-1-...

Part of book or chapter of book . 1998 . Peer-reviewed

Data sources: Crossref

https://link.springer.com/cont...

Other literature type

Data sources: Microsoft Academic Graph

Select content type to embed

All Research products

arrow_drop_down

<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Subclasses of Statements

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Other literature type 01 Jan 1998Publisher:Springer New York

Authors: Ralph-Johan Back; Joakim Wright;

doi: 10.1007/978-1-4612-1674-2_16

Subclasses of Statements

- Summary
- Metrics

Abstract

Not only monotonicity, but also other homomorphism properties of predicate transformers turn out to be important in modeling programming constructs. In this chapter we study homomorphic predicate transformers, i.e., predicate transformers that preserve some of the predicate lattice structure. We consider the four basic homomorphism properties — bottom, top, meet, and join homomorphism — to see to what extent the constructs in our statement language preserve these properties. These homomorphism properties are closely linked to distributivity properties of statements.

Related Organizations

Åbo Akademi University
Finland

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Upload OA version

Are you the author? Do you have the OA version of this publication?

uploadUpload now!