Refinement and Development of Programs from Relational Specifications-Reference-Cited by-同舟云学术

Refinement and Development of Programs from Relational Specifications

Published:2003-05 Issue:3 Volume:44 Page:51-93
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Kahl Wolfram

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference69 articles.

1. Aarts C., R. C. Backhouse, P. Hoogendijk, E. Voermans and J. van der Woude, A relational theory of datatypes, Working document (1992), 387 pp., available at http://www.cs.nott.ac.uk/~rcb/MPC/book.ps.gz.

2. Abrial J.-R., “The B-Book: Assigning Programs to Meanings,” Cambridge University Press, 1996.

3. Generic programming. an introduction;Backhouse,1999

4. Demonic operators and monotype factors;Backhouse;Mathematical Structures in Computer Science,1993

5. Barr M. and C. Wells, “Category Theory for Computing Science,” Prentice Hall International Series in Computer Science, Prentice Hall, 1990.

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

1. “Keep definition, change category” — A practical approach to state-based system calculi;Journal of Logical and Algebraic Methods in Programming;2016-06

2. Implementability of requirements in the four-variable model;Science of Computer Programming;2015-11

3. A Separation Principle for Embedded System Interfacing;Lecture Notes in Computer Science;2014

4. Preparing Relational Algebra for “Just Good Enough” Hardware;Relational and Algebraic Methods in Computer Science;2014

5. A Theory of Synchronous Relational Interfaces;ACM Transactions on Programming Languages and Systems;2011-07