Publisher
Springer Science and Business Media LLC
Subject
Computational Mathematics,Computational Theory and Mathematics,Computer Science Applications,Numerical Analysis,Theoretical Computer Science,Software
Reference48 articles.
1. Abrial JR (2003) Event-based sequential program development: application to constructing a pointer program. In: Proceedings of 11th international symposium of formal methods Europe. Lecture notes in computer science, vol 2805, pp 51–54
2. Backhouse RC (1986) Program construction and verification. Prentice-Hall, Englewood Cliffs
3. Backhouse RC (1988) An exploration of the Bird–Meertens formalism. Technical Report CS 8810. Department of Computing Science, Groningen University
4. Bird RS (1987) An introduction to the theory of lists. In: Broy M (ed) Logic of programming and calculi of discrete design, vol 36. NATO ASI Ser F, pp 5–42
5. Bird RS, Moor Od (1993) From dynamic programming to greedy algorithms. In: Proc. IFIP TC2/WG 2.1 state-of-the-art report on formal program development, vol 755, Lecure notes in computer science, pp 43–61
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献