Pointwise Relational Programming-Reference-Cited by-同舟云学术

Pointwise Relational Programming

Published:2000 Issue: Volume: Page:371-390
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

de Moor Oege,Gibbons Jeremy

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45499-3_27

Reference30 articles.

1. C. J. Aarts, R. C. Backhouse, P. F. Hoogendijk, E. Voermans, and J. C. S. P. Van der Woude. A relational theory of datatypes. September 1992.

2. Lect Notes Comput Sci;A. Augusteijn,1992

3. R. C. Backhouse. Making formality work for us. EATCS Bulletin, 38:219–249, 1989.

4. R. C. Backhouse, P. De Bruin, P. F. Hoogendijk, G. Malcolm, T. S. Voermans, and J. C. S. P. Van der Woude. Polynomial relators. In M. Nivat, C. S. Rattray, T. Rus, and G. Scollo, editors, Algebraic Methodology and Software Technology, Workshops in Computing, pages 303–362. Springer-Verlag, 1992.

5. J. Backus. Can programming be liberated from the Von Neumann style? A functional style and its algebra of programs. Communications of the ACM, 21:613–641, 1978.

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

1. Longest segment of balanced parentheses: an exercise in program inversion in a segment problem;Journal of Functional Programming;2021

2. Declarative Pearl: Deriving Monadic Quicksort;Functional and Logic Programming;2020

3. Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming;Electronic Proceedings in Theoretical Computer Science;2016-11-26

4. Modelling higher-order dual nondeterminacy;Acta Informatica;2008-06-21

5. Terms with unbounded demonic and angelic nondeterminacy;Science of Computer Programming;2007-03