Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
4. References
ADJ: Goguen, J.A./Thatcher, J.W./Wagner, E.G./Wright, J.B. Initial algebra semantics, IBM-report RC 5701, 1975
Courcelle, B. Ensembles algébriques d'arbres et langages déterministes; quelques applications aux schémas de programme, IRIA report, 1975
Damm, W. Higher type program schemes and their tree languages, Proc. 3rd GI conference on Theoretical Computer Science, Lecture Notes in Computer Science, 48, Springer Verlag, 1977
Damm, W. Higher type program schemes, to appear as a technical report of the RWTH Aachen
Engelfriet, J./Schmidt, E.M. IO and OI, Datalogisk Afdelning report, DAIMI PB-47, Aarhus University, Denmark, 1975
Fisher, M.J. Grammars with macro-like productions, Proc. 9th IEEE conference on Switching and Automata Theory, 1968
Indermark, K. Schemes with recursion on higher types, Proc. 5th conference on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, 45, Springer Verlag, 1976
Maibaum, T.S.E. A generalized approach to formal languages, JCSS 8 (1974), 409–439
Nivat, M. Langages algébriques sur le magma libre et sémantique des schémas de programme, in: Automata, Languages and Programming, ed. M. Nivat, North-Holland Publishing Company, Amsterdam, 1973
Nivat, M. On the interpretation of recursive program schemes, Symposia Matematica, Vol. 15, Academic Press, 1975
Wand, M. A concrete approach to abstract recursive definitions, in: Automata, Languages and Programming, ed. M. Nivat, North-Holland Publishing Company, Amsterdam, 1973
Wand, M. An algebraic formulation of the Chomsky hierarchy, in: Category Theory applied to Computation and Control, Lecture Notes in Computer Science, 25, 1975
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Damm, W. (1977). Languages defined by higher type program schemes. In: Salomaa, A., Steinby, M. (eds) Automata, Languages and Programming. ICALP 1977. Lecture Notes in Computer Science, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08342-1_13
Download citation
DOI: https://doi.org/10.1007/3-540-08342-1_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08342-9
Online ISBN: 978-3-540-37305-6
eBook Packages: Springer Book Archive