On procedures as open subroutines. I-Reference-Cited by-同舟云学术

On procedures as open subroutines. I

Published:1973 Issue:4 Volume:2 Page:311-333
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Langmaack Hans

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00289503.pdf

Reference7 articles.

1. Aho, A. V.: Indexed grammars ? an extension of the contextfree grammars. J. ACM 15, 647?671 (1968)

2. Dennis, J. B.: Modularity. In: Bauer, F. L. (ed.): Advanced course on software engineering. Lecture Notes in Economics and Math. Syst. 81, 128?182, Berlin-Heidelberg-New York: Springer 1973

3. Report No. NSF-22;M. J. Fischer,1968

4. Langmaack, H.: On correct procedure parameter transmission in higher programming languages. Acta Informatica 2, 110?142 (1973)

5. Langmaack, H.: Über eine Beziehung zwischen ALGOL-Programmen und Makro-Grammatiken. In: Hotz, G., und Langmaack, H. (Hrsg.): Tagung über Automatentheorie und formale Sprachen, Oberwolfach 29. Okt.?4. Nov. 1972. Bonn: Mitteilungen der GMD Nr. 73/6, 1973

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

1. An ALGOL-View on Turbo ASM;Lecture Notes in Computer Science;2004

2. On the expressive power of finitely typed and universally polymorphic recursive procedures;Theoretical Computer Science;1992-02

3. The interprocedural coincidence theorem;Lecture Notes in Computer Science;1992

4. Methods and Logics for Proving Programs;Formal Models and Semantics;1990

5. On the expressive strength of the finitely typed lambda — terms;Lecture Notes in Computer Science;1988