{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:23:16Z","timestamp":1725470596361},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540409274"},{"type":"electronic","value":"9783540409281"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11860990_14","type":"book-chapter","created":{"date-parts":[[2006,9,16]],"date-time":"2006-09-16T03:05:22Z","timestamp":1158375922000},"page":"211-229","source":"Crossref","is-referenced-by-count":10,"title":["MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language"],"prefix":"10.1007","author":[{"given":"Adrian","family":"Pop","sequence":"first","affiliation":[]},{"given":"Peter","family":"Fritzson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Borras, P., Clement, D., Despeyroux, T., Incerpi, J., Kahn, G., Lang, B., Pascual, V.: CENTAUR: The System. In: Henderson, P. (ed.) Proceedings of ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, February. SIGPLAN, vol.\u00a024, pp. 14\u201324 (1988)","DOI":"10.1145\/64140.65005"},{"key":"14_CR2","unstructured":"Carlsson, E.: Translating Natural Semantics to MetaModelica, Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Master\u2019s Thesis (2005)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Cl\u00e9ment, D., Despeyroux, J., Despeyroux, T., Kahn, G.: A Simple Applicative Language: Mini-ML. In: Proceedings of the ACM Conference on Lisp and Functional Programming (August 1986); also available as research report RR-529, INRIA, Sophia-Antipolis (May 1986)","DOI":"10.1145\/319838.319847"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/3-540-13346-1_11","volume-title":"Semantics of Data Types","author":"T. Despeyroux","year":"1984","unstructured":"Despeyroux, T.: Executable Specification of Static Semantics. In: Plotkin, G., MacQueen, D.B., Kahn, G. (eds.) Semantics of Data Types 1984. LNCS, vol.\u00a0173, pp. 215\u2013233. Springer, Heidelberg (1984)"},{"key":"14_CR5","unstructured":"Despeyroux, T.: TYPOL: A Formalism to Implement Natural Semantics, INRIA, Sofia-Antipolis, Report: RR 94 (1988), http:\/\/www.inria.fr\/rrrt\/rt-0094.html"},{"key":"14_CR6","unstructured":"Dynasim: Dymola (last accessed, 2005), http:\/\/www.dynasim.se\/"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Elmqvist, H., Mattsson, S.E., Otter, M.: Modelica - A Language for Physical System Modeling, Visualization and Interaction. In: Proceedings of IEEE Symposium on Computer-Aided Control System Design, August 22-27, 1999, Hawaii, USA (1999)","DOI":"10.1109\/CACSD.1999.808720"},{"key":"14_CR8","unstructured":"Fritzson, P.: Efficient Language Implementation by Natural Semantics (1998), http:\/\/www.ida.liu.se\/~pelab\/rml"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054087","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"P. Fritzson","year":"1998","unstructured":"Fritzson, P., Engelson, V.: odelica, a general Object-Oriented Language for Continuous and Discrete-Event System Modeling and Simulation. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, Springer, Heidelberg (1998)"},{"key":"14_CR10","unstructured":"Fritzson, P., Aronsson, P., Bunus, P., Engelson, V., Saldamli, L., Johansson, H., Karst\u00f6m, A.: The Open Source Modelica Project. In: Proceedings of the 2nd International Modelica Conference, March 18-19, 2002, Munich, Germany (2002)"},{"key":"14_CR11","unstructured":"Fritzson, P., Aronsson, P., Bunus, P., Engelson, V., Saldamli, L., Johansson, H., Karst\u00f6m, A.: The Open Source Modelica Project. In: Proceedings of the 2nd International Modelica Conference, Munich, Germany, March 18-19, 2002. Modelica Association (2002), http:\/\/www.modelica.org\/events\/Conference2002\/ , Open Modelica System, http:\/\/www.ida.liu.se\/pelab\/modelica\/"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Fritzson, P., Bunus, P.: Modelica, a General Object-Oriented Language for Continuous and Discrete-Event System Modeling and Simulation. In: Proceedings of 35th Annual Simulation Symposium, San Diego, California, April 14-18 (2002)","DOI":"10.1109\/SIMSYM.2002.1000174"},{"key":"14_CR13","unstructured":"Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1., 940 pages. Wiley-IEEE Press (2004) ISBN:0-471-471631, Book home page: http:\/\/www.mathcore.com\/drmodelica"},{"issue":"3","key":"14_CR14","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1145\/982158.982161","volume":"26","author":"S. Glesner","year":"2004","unstructured":"Glesner, S., Zimmermann, W.: Natural semantics as a static program analysis framework. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a026(3), 510\u2013577 (2004)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"14_CR15","unstructured":"University of Illinois, The Maude System Website (last accessed), http:\/\/maude.cs.uiuc.edu\/"},{"key":"14_CR16","first-page":"237","volume-title":"Programming of Future Generation Computers","author":"G. Kahn","year":"1988","unstructured":"Kahn, G.: Natural Semantics. In: Niva, M. (ed.) Programming of Future Generation Computers, pp. 237\u2013258. Elsevier Science Publishers, North Holland (1988)"},{"key":"14_CR17","unstructured":"MathCore: MathModelica, MathCore (last accessed, 2005), http:\/\/www.mathcore.se\/"},{"key":"14_CR18","unstructured":"Modelica-Association, Modelica: A Unified Object-Oriented Language for Physical Systems Modeling, Language Specification 2.2 (last accessed, 2005), http:\/\/www.modelica.org\/"},{"key":"14_CR19","unstructured":"Modelica-Association, Modelica - A Unified Object-Oriented Language for Physical Systems Modeling - Tutorial and Design Rationale Version 2.0 (last accessed, 2005), http:\/\/www.modelica.org\/"},{"key":"14_CR20","first-page":"195","volume":"60\u201361","author":"P.D. Mosses","year":"2004","unstructured":"Mosses, P.D.: Modular structural operational semantics. Journal of Functional Programming and Algebraic Programming, Special issue on SOS\u00a060\u201361, 195\u2013228 (2004)","journal-title":"Journal of Functional Programming and Algebraic Programming, Special issue on SOS"},{"key":"14_CR21","unstructured":"PELAB, Relational Meta-Language (RML) Environment, Programming Environments Laboratory (PELAB) (last accessed, 2005), http:\/\/www.ida.liu.se\/pelab\/rml"},{"key":"14_CR22","unstructured":"PELAB, Open Modelica System, Programming Environments Laboratory (last accessed, 2005), http:\/\/www.ida.liu.se\/~pelab\/modelica"},{"key":"14_CR23","unstructured":"PELAB, Modelica Development Tooling (MDT), PELAB (last accessed, April 2006), http:\/\/www.ida.liu.se\/~pelab\/modelica\/OpenModelica\/MDT\/"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Pettersson, M., Fritzson, P.: DML - A Meta-language and System for the Generation of Practical and Efficient Compilers from Denotational Specifications. In: Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, April 20\u201323, California (1992)","DOI":"10.1109\/ICCL.1992.185475"},{"key":"14_CR25","unstructured":"Pettersson, M.: Compiling Natural Semantics, Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Ph.D. Thesis (1995)"},{"key":"14_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1999","DOI":"10.1007\/b71652","volume-title":"Compiling Natural Semantics","author":"M. Pettersson","year":"1999","unstructured":"Pettersson, M.: Compiling Natural Semantics. LNCS, vol.\u00a01549, p. 1999. Springer, Heidelberg (1999)"},{"key":"14_CR27","unstructured":"Plotkin, G.: A structural approach to operational semantics, \u00c5rhus University, Report: DAIMI FN-19 (1981)"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Pop, A., Fritzson, P.: Debugging Natural Semantics Specifications. In: Proceedings of Sixth International Symposium on Automated and Analysis-Driven Debugging, Monterey, California, September 19-21 (2005)","DOI":"10.1145\/1085130.1085140"},{"key":"14_CR29","series-title":"Lecture Notes in Computer Science","volume-title":"Compiler Construction","author":"J. Ringstr\u00f6m","year":"1994","unstructured":"Ringstr\u00f6m, J., Fritzson, P., Pettersson, M.: Generating an Efficient Compiler for a Data Parallel Language from Denotational Specifications. In: Fritzson, P.A. (ed.) CC 1994. LNCS, vol.\u00a0786. Springer, Heidelberg (1994)"},{"key":"14_CR30","unstructured":"Saldamli, L.: PDEModelica - Towards a High-Level Language for Modeling with Partial Differential Equations, Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Licenciate Thesis (2002)"},{"key":"14_CR31","unstructured":"Saldamli, L., Fritzson, P., Bachmann, B.: Extending Modelica for Partial Differential Equations. In: Proceedings of 2nd International Modelica Conference, Munich, Gernany, March 18-29 (2002)"},{"key":"14_CR32","unstructured":"Saldamli, L., Bachmann, B., Fritzson, P., Wiesmann, H.: A Framework for Describing and Solving PDE Models in Modelica. In: Schmitz, G. (ed.) Proceedings of 4th International Modelica Conference. Hamburg-Harburg, Modelica Association (2005), http:\/\/www.modelica.org\/events\/Conference2005\/"},{"key":"14_CR33","unstructured":"SICS - Swedish Institute of Computer Science, SICStus Prolog Website (last accessed, April 2006), http:\/\/www.sics.se\/sicstus\/"},{"key":"14_CR34","unstructured":"SWI-Prolog, SWI-Prolog Website, University of Amsterdam (last accessed, April 2006) http:\/\/www.swi-prolog.org\/"},{"key":"14_CR35","volume-title":"Tiller, Introduction to Physical Modeling with Modelica","author":"M. Michael","year":"2001","unstructured":"Michael, M.: Tiller, Introduction to Physical Modeling with Modelica. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"14_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1007\/3-540-55984-1_28","volume-title":"Compiler Construction","author":"L. Viklund","year":"1992","unstructured":"Viklund, L., Herber, J., Fritzson, P.: The implementation of ObjectMath - a hight-level programming enviornment for scientific computing. In: Pfahler, P., Kastens, U. (eds.) CC 1992. LNCS, vol.\u00a0641, pp. 312\u2013318. Springer, Heidelberg (1992)"}],"container-title":["Lecture Notes in Computer Science","Modular Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11860990_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:43:46Z","timestamp":1605642226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11860990_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540409274","9783540409281"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/11860990_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}