Composition by Colimit and Formal Software Development-Reference-Cited by-同舟云学术

Composition by Colimit and Formal Software Development

Published:2006 Issue: Volume: Page:317-332
ISSN:0302-9743
Container-title:Algebra, Meaning, and Computation
language:
Short-container-title:

Author:

Smith Douglas R.

Publisher

Springer Berlin Heidelberg

Link

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

Reference30 articles.

1. Becker, M., Gilham, L., Smith, D.R.: Planware II: Synthesis of schedulers for complex resource systems. Tech. rep., Kestrel Technology (2003)

2. Burstall, R.M., Goguen, J.A.: Putting theories together to make specifications. In: Proceedings of the Fifth International Joint Conference on Artificial Intelligence IJCAI, Cambridge, MA, August 22–25, pp. 1045–1058 (1977)

3. Lecture Notes in Computer Science;R.M. Burstall,1980

4. Lecture Notes in Computer Science;A. Coglio,2003

5. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 238–252. ACM, New York (1977)

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

1. Canonical Selection of Colimits;Recent Trends in Algebraic Development Techniques;2017

2. ON COLIMITS OVER ARBITRARY POSETS;Glasgow Mathematical Journal;2015-07-22

3. An Institution for Object-Z with Inheritance and Polymorphism;Software, Services, and Systems;2015

4. Bicompletions of Distance Matrices;Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky;2013

5. Model-Based Personalization within an Adaptable Human-Machine Interface Environment that is Capable of Learning from User Interactions;2010 Third International Conference on Advances in Computer-Human Interactions;2010