{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:40:51Z","timestamp":1725608451371},"publisher-location":"Vienna","reference-count":15,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211832820"},{"type":"electronic","value":"9783709163559"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6355-9_10","type":"book-chapter","created":{"date-parts":[[2011,9,15]],"date-time":"2011-09-15T07:42:02Z","timestamp":1316072522000},"page":"136-149","source":"Crossref","is-referenced-by-count":4,"title":["The Term Graph Programming System HOPS"],"prefix":"10.1007","author":[{"given":"Wolfram","family":"Kahl","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Bayer, A., Grobauer, B., Kahl, W., Kempf, P., Schmalhofer, F., Schmidt, G., Winter, M. (1996): The Higher-Object Programming System \u201cHOPS\u201dInternal Report, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t der Bundeswehr M\u00fcnchen. URL \n                  http:\/\/inf2-www.informatik.unibw-muenchen.de\n                  \n                \/HOPS\/papers\/HOPSreport-1996.html. 214 pp."},{"issue":"1","key":"10_CR2","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0304-3975(94)00104-9","volume":"135","author":"G Bellin","year":"1994","unstructured":"Bellin, G., Scott, P.J. (1994): On the it-calculus and linear logic. Theoretical Computer Science 135 (1), 11\u201363.","journal-title":"Theoretical Computer Science"},{"key":"10_CR3","volume-title":"Ieee-Tse","author":"ER Gansner","year":"1993","unstructured":"Gansner, E.R., Koutsofios, E., North, S.C., Vo, K. (1993): A Technique for Drawing Directed Graphs. IEEE-TSE."},{"key":"10_CR4","first-page":"330","volume-title":"Technology and Foundations,Proceedings of the IFIP 13th World Computer Congress,Hamburg, Germany,28 August \u20132 September 1994,Volume I","author":"W Kahl","year":"1994","unstructured":"Kahl, W. (1994): Can Functional Programming Be Liberated from the Applicative Style?. In Bjorn Pehrson, Imre Simon (eds.), Technology and Foundations, Proceedings of the IFIP\n                13th World Computer Congress, Hamburg, Germany, 28 August \u2013\n                2 September 1994, Volume I, pages 330\u2013335. IFIP Transactions. North-Holland. IFIP."},{"key":"10_CR5","unstructured":"Kahl, W. (1996): Algebraische Termgraphersetzung mit gebundenen Variablen.Reihe Informatik. Herbert Utz Verlag, M\u00fcnchen. ISBN 3\u2013931327\u201360\u20134, zugleich Dissertation an der Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t der Bundeswehr M\u00fcnchen."},{"key":"10_CR6","volume-title":"URL http:\/\/diogenes.informatik.unibw-muenchen.de:8080\/kahl\/HOPS\/.","author":"W Kahl","year":"1998","unstructured":"Kahl, W. (1998): The Higher Object Programming System \u2014 User Manual for HOPS, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t der Bundeswehr M\u00fcnchen. URL http:\/\/diogenes.informatik.unibw-muenchen.de:8080\/kahl\/HOPS\/."},{"key":"10_CR7","first-page":"149","volume-title":"Graph Theoretic Concepts in Computer Science24th International Workshop WG \u201888 Smolenice Castle Slovak Republic June 1998 Proceedings","author":"W Kahl","year":"1517","unstructured":"Kahl, W. (1998): Internally Typed Second-Order Term Graphs. In Juraj Hromkovic, Ondrej Sykora (eds.), Graph Theoretic Concepts in Computer Science, 24th International Workshop, WG \u201888, Smolenice Castle, Slovak Republic, June\n                1998, Proceedings, pages 149\u2013163. LNCS 1517. Springer-Verlag."},{"key":"10_CR8","unstructured":"Kingston, J.H. (1998): A User\u2019s Guide to the Lout Document Formatting System (Version 3.12). Basser Department of Computer Science, University of Sydney. ISBN 0 86758 951 5. URL ftp:\/\/ftp.es.su.oz.au\/jeff\/lout."},{"key":"10_CR9","first-page":"127","volume-title":"Combinatory Reduction Systems. Mathematical Centre Tracts","author":"JW Klop","year":"1980","unstructured":"Klop, J.W. (1980): Combinatory Reduction Systems. Mathematical Centre Tracts 127, Centre for Mathematics and Computer Science, Amsterdam. PhD Thesis"},{"issue":"12","key":"10_CR10","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0304-3975(93)90091-7","volume":"121","author":"JW Klop","year":"1993","unstructured":"Klop, J.W., van Oostrom, V., van Raamsdonk, F. (1993): Combinatory reduction systems: introduction and survey. Theoretical Computer Science 121 (1\u20132), 279\u2013308.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"10_CR11","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"DE Knuth","year":"1984","unstructured":"Knuth, D.E. (1984): Literate Programming. The Computer Journal 27 (2), 97\u2013111.","journal-title":"The Computer Journal"},{"key":"10_CR12","volume-title":"Logic, Algebra, and Specification, pages 203-246. Vol. 94 of NATO Series F","author":"R Milner","year":"1993","unstructured":"Milner, R. (1993): The Polyadic\u2019n-Calculus: A Tutorial. In F. L. Bauer, W. Brauer, H. Schwichtenberg (eds.), Logic, Algebra, and Specification, pages 203\u2013246. Vol. 94 of NATO Series F: Computer and Systems Sciences. Springer."},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/BF01211473","volume":"4","author":"F Orava","year":"1992","unstructured":"Orava, F., Parrow, J. (1992): An Algebraic Verification of a Mobile Telephone Network. Formal Aspects of Computer Science 4, 497\u2013543.","journal-title":"Formal Aspects of Computer Science"},{"key":"10_CR14","volume-title":"Part of the Funnel Web distribution","author":"RN Williams","year":"1992","unstructured":"Williams, R.N. (1992): FunnelWeb User\u2019s Manual.URL\n\n                  http:\/\/www.ross.net\/funnelweb\/introduction.html\n                  \n                . Part of the FunnelWeb distribution"},{"key":"10_CR15","first-page":"246","volume-title":"Proc. 12th International Workshop on Graph-Theoretic Concepts in Computer Science, pages 68-81. LNCS","author":"H Zierer","year":"1986","unstructured":"Zierer, H., Schmidt, G., Berghammer, R. (1986): An Interactive Graphical Manipulation System for Higher Objects Based on Relational Algebra. In Proc. 12th International Workshop on Graph-Theoretic Concepts in Computer Science, pages 68\u201381. LNCS 246. Springer-Verlag, Bernried, Starnberger See."}],"container-title":["Tool Support for System Specification, Development and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6355-9_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:36:03Z","timestamp":1606124163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6355-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211832820","9783709163559"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6355-9_10","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}