{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:42:51Z","timestamp":1725486171821},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433699"},{"type":"electronic","value":"9783540459378"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45937-5_3","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T21:39:18Z","timestamp":1181165958000},"page":"9-13","source":"Crossref","is-referenced-by-count":14,"title":["Compiler Construction Using LOTOS NT"],"prefix":"10.1007","author":[{"given":"Hubert","family":"Garavel","sequence":"first","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Lang","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Mateescu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,28]]},"reference":[{"key":"3_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of CC\u2019 2001","author":"I. Attali","year":"2001","unstructured":"I. Attali, C. Courbis, P. Degenne, A. Fau, D. Parigot, and C. Pasquier. SmartTools: A Generator of Interactive Environments Tools. In Proc. of CC\u2019 2001, volume 2027 of LNCS, 2001."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"P. Borras, D. Cl\u00e9ment, Th. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual. Centaur: the system. In Proc. of SIGSOFT\u201988, 3rd Symposium on Software Development Environments (SDE3), 1988.","DOI":"10.1145\/64135.65005"},{"key":"3_CR3","unstructured":"P. Boullier and P. Deschamp. Le syst\u00e8me SYNTAX: Manuel d\u2019utilisation et de mise en \u0153uvre sous Unix. http:\/\/www-rocq.inria.fr\/oscar\/www\/syntax , 1997."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"B. Carpenter. The Logic of Typed Feature Structures. Cambridge Tracts in Theoretical Computer Science, 32, 1992.","DOI":"10.1017\/CBO9780511530098"},{"key":"3_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of CAV\u2019 96","author":"J.-C. Fernandez","year":"1996","unstructured":"J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. CADP (C\u00c6SAR\/ALDEBARAN Development Package): A Protocol Validation and Verification Toolbox. In Proc. of CAV\u2019 96, volume 1102 of LNCS, 1996."},{"key":"3_CR6","unstructured":"H. Garavel. Compilation of LOTOS Abstract Data Types. In Proc. of FORTE\u201989. North-Holland, 1989."},{"key":"3_CR7","unstructured":"H. Garavel and F. Lang. SVL: A Scripting Language for Compositional Verification. In Proc. of FORTE\u20192001. Kluwer, 2001. INRIA Research Report RR-4223."},{"key":"3_CR8","unstructured":"H. Garavel and J. Sifakis. Compilation and Verification of LOTOS Specifications. In Proc. of PSTV\u201990. North-Holland, 1990."},{"key":"3_CR9","unstructured":"H. Garavel and M. Sighireanu. Towards a Second Generation of Formal Description Techniques-Rationale for the Design of E-LOTOS. In Proc. of FMICS\u201998, Amsterdam, 1998. CWI. Invited lecture."},{"key":"3_CR10","unstructured":"ISO\/IEC. LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, 1988."},{"key":"3_CR11","first-page":"2001","volume":"15437","author":"ISO\/IEC. Enhancements to LOTOS (E-LOTOS)","year":"2001","unstructured":"ISO\/IEC. Enhancements to LOTOS (E-LOTOS). International Standard 15437:2001, 2001.","journal-title":"International Standard"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"M. Jourdan, D. Parigot, C. Juli\u00e9, O. Durin, and C. Le Bellec. Design, Implementation and Evaluation of the FNC-2 Attribute Grammar System. ACM SIGPLAN Notices, 25(6), 1990.","DOI":"10.1145\/93548.93568"},{"key":"3_CR13","unstructured":"R. Mateescu and H. Garavel. XTL: A Meta-Language and Tool for Temporal Logic Model-Checking. In Proc. of STTT\u2019 98. BRICS, 1998."},{"key":"3_CR14","unstructured":"R. Mateescu and M. Sighireanu. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. In Proc. of FMICS\u20192000, 2000. INRIA Research Report RR-3899. To appear in Science of Computer Programming."},{"key":"3_CR15","unstructured":"F. W. Schr\u00f6er. The GENTLE Compiler Construction System. R. Oldenbourg Verlag, 1997."},{"key":"3_CR16","unstructured":"M. Sighireanu. LOTOS NT User\u2019s Manual (Version 2.1). INRIA projet VASY. ftp:\/\/ftp.inrialpes.fr\/pub\/vasy\/traian\/manual.ps.Z , November 2000."},{"key":"3_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44503-X","volume-title":"The ASF+SDF Meta-Environment: A Component-Based Language Development Environment","author":"M. G. J. Brand van den","year":"2001","unstructured":"M. G. J. van den Brand, A. van Deursen, J. Heering, H. A. de Jong, M. de Jonge, T. Kuipers, P. Klint, L. Moonen, P. A. Olivier, J. Scheerder, J. J. Vinju, E. Visser, and J. Visser. The ASF+SDF Meta-Environment: A Component-Based Language Development Environment. In Proc. of CC\u2019 2001, volume 2027 of LNCS, 2001."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"P. van Eijk, A. Belinfante, H. Eertink, and H. Alblas. The Term Processor Generator Kimwitu. In Proc. of TACAS\u2019 97, 1997.","DOI":"10.1007\/BFb0035383"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45937-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:42:05Z","timestamp":1556466125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45937-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433699","9783540459378"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45937-5_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}