Calculating Invariants as Coreflexive Bisimulations-Reference-Cited by-同舟云学术

Calculating Invariants as Coreflexive Bisimulations

Published: Issue: Volume: Page:83-99
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Barbosa Luís S.,Oliveira José N.,Silva Alexandra

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-79980-1_7.pdf

Reference25 articles.

1. Aczel, P., Mendler, N.: A final coalgebra theorem. In: Category Theory and Computer Science, London, UK, pp. 357–365. Springer, Heidelberg (1989)

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

3. Lecture Notes in Computer Science;R. Backhouse,2002

4. Lecture Notes in Computer Science;R. Backhouse,2006

5. Backhouse, R.C., de Bruin, P., Hoogendijk, P., Malcolm, G., Voermans, T.S., van der Woude, J.: Polynomial relators. In: AMAST 1991, pp. 303–362. Springer, Heidelberg (1992)

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

1. Software Components as Invariant-Typed Arrows;Programming Languages;2012

2. Bringing class diagrams to life;Innovations in Systems and Software Engineering;2009-12-24

3. Co‐Algebraic Semantic Framework for Reasoning about Interaction Designs;UML 2 Semantics and Applications;2009-10-19

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

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