Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. F.L. Bauer, H. Wössner: Algorithmic language and program development. New York: Springer 1982
2. F.L. Bauer et al.: The Munich project CIP. Volume I: The wide spectrum language CIP-L. Lecture Notes in Computer Science 183. New York: Springer 1985
3. F.L. Bauer, B. Möller, H. Partsch, P. Pepper: Formal program construction by transformations -Computer-aided, Intuition-guided Programming. IEEE Transactions on Software Engineering 15, 165–180 (1989)
4. U. Berger, W. Meixner, B. Möller: Calculating a garbage collector. In: M. Broy M. Wirsing (ed.): Methodik des Programmierens. Fakultät für Mathematik und Informatik der Universität Passau. MIP-8915, 1989, 1–52. Also in: M. Broy, M. Wirsing (eds.): Programming methodology -The CIP approach. To appear in Lecture Notes in Computer Science. Berlin: Springer
5. A. Bijlsma: Calculating with pointers. Science of Computer Programming 12, 191–205 (1988)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Transitive Separation Logic;Relational and Algebraic Methods in Computer Science;2012