Pointfree Factorization of Operation Refinement-Reference-Cited by-同舟云学术

Pointfree Factorization of Operation Refinement

Published:2006 Issue: Volume: Page:236-251
ISSN:0302-9743
Container-title:FM 2006: Formal Methods
language:
Short-container-title:

Author:

Oliveira José N.,Rodrigues César J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11813040_17.pdf

Reference24 articles.

1. Aarts, C., Backhouse, R., Hoogendijk, P., Voermans, E., van der Woude, J.: A relational theory of datatypes (December 1992), available from: www.cs.nott.ac.uk/~rcb/papers

2. Backhouse, K., Backhouse, R.C.: Safety of abstract interpretations for free, via logical relations and Galois connections. Sci. of Comp. Programming 15(1–2), 153–196 (2004)

3. Backhouse, R.C.: Mathematics of Program Construction. Univ. of Nottingham, Draft of book in preparation, 608 pages (2004)

4. Barbosa, L.S., Oliveira, J.N.: Transposing partial components — an exercise on coalgebraic refinement. Technical report, DI/UM (September 2005) (submited)

5. Bird, R., de Moor, O.: Algebra of Programming. In: Hoare, C.A.R. (ed.) Series in Computer Science. Prentice-Hall Int., Englewood Cliffs (1997)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Programming from Galois Connections;Relational and Algebraic Methods in Computer Science;2011

2. Extended Static Checking by Calculation Using the Pointfree Transform;Language Engineering and Rigorous Software Development;2009

3. Transforming Data by Calculation;Lecture Notes in Computer Science;2008

4. Calculating Invariants as Coreflexive Bisimulations;Algebraic Methodology and Software Technology