{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:50Z","timestamp":1750307210917,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,1,28]],"date-time":"2012-01-28T00:00:00Z","timestamp":1327708800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,1,28]]},"DOI":"10.1145\/2103786.2103792","type":"proceedings-article","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T14:49:33Z","timestamp":1328021373000},"page":"39-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards a formal semantics for a structurally dynamic noncausal modelling language"],"prefix":"10.1145","author":[{"given":"John","family":"Capper","sequence":"first","affiliation":[{"name":"University of Nottingham, Nottingham, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"Nilsson","sequence":"additional","affiliation":[{"name":"University of Nottingham, Nottingham, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,1,28]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"203","volume-title":"An inverse of the evaluation functional for typed lambda-calculus. In phProceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science (LICS)","author":"Berger U.","year":"1991","unstructured":"U. Berger and H. Schwichtenberg . An inverse of the evaluation functional for typed lambda-calculus. In phProceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science (LICS) , pages 203 -- 211 , 1991 . U. Berger and H. Schwichtenberg. An inverse of the evaluation functional for typed lambda-calculus. In phProceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science (LICS), pages 203--211, 1991."},{"key":"e_1_3_2_1_2_1","volume-title":"USA","author":"Boespflug M.","year":"2009","unstructured":"M. Boespflug . Efficient normalization by evaluation. In O. Danvy, editor, ph2009 Workshop on Normalization by Evaluation, Los Angeles , USA , Aug. 2009 . M. Boespflug. Efficient normalization by evaluation. In O. Danvy, editor, ph2009 Workshop on Normalization by Evaluation, Los Angeles, USA, Aug. 2009."},{"key":"e_1_3_2_1_4_1","first-page":"59","volume-title":"Higher-order acausal models. In phProceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT), number 29 in Link\u00f6ping Electronic Conference Proceedings","author":"Broman D.","year":"2008","unstructured":"D. Broman and P. Fritzson . Higher-order acausal models. In phProceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT), number 29 in Link\u00f6ping Electronic Conference Proceedings , pages 59 -- 69 , Paphos, Cyprus , 2008 . Link\u00f6ping University Electronic Press . D. Broman and P. Fritzson. Higher-order acausal models. In phProceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT), number 29 in Link\u00f6ping Electronic Conference Proceedings, pages 59--69, Paphos, Cyprus, 2008. Link\u00f6ping University Electronic Press."},{"key":"e_1_3_2_1_5_1","unstructured":"J. Capper. Agda source repository. www.cs.nott.ac.uk\/ jjc.  J. Capper. Agda source repository. www.cs.nott.ac.uk\/ jjc."},{"key":"e_1_3_2_1_6_1","series-title":"Lecture Notes in Computer Science","volume-title":"Static balance checking for modular systems of equations. In phIn Proceedings of the Eleventh Symposium on Trends in Functional Programming","author":"Capper J.","year":"2010","unstructured":"J. Capper and H. Nilsson . Static balance checking for modular systems of equations. In phIn Proceedings of the Eleventh Symposium on Trends in Functional Programming . Lecture Notes in Computer Science , 2010 . J. Capper and H. Nilsson. Static balance checking for modular systems of equations. In phIn Proceedings of the Eleventh Symposium on Trends in Functional Programming. Lecture Notes in Computer Science, 2010."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-1(2:1)2005"},{"key":"e_1_3_2_1_8_1","first-page":"53","volume-title":"Object-oriented modelling: Means for dealing with system complexity. In phProceedings of the 15th Benelux Meeting on Systems and Control","author":"Cellier F. E.","year":"1996","unstructured":"F. E. Cellier . Object-oriented modelling: Means for dealing with system complexity. In phProceedings of the 15th Benelux Meeting on Systems and Control , Mierlo, The Netherlands , pages 53 -- 64 , 1996 . F. E. Cellier. Object-oriented modelling: Means for dealing with system complexity. In phProceedings of the 15th Benelux Meeting on Systems and Control, Mierlo, The Netherlands, pages 53--64, 1996."},{"key":"e_1_3_2_1_9_1","volume-title":"phContinuous System Simulation","author":"Cellier F. E.","year":"2006","unstructured":"F. E. Cellier and E. Kofman . phContinuous System Simulation . Springer-Verlag , 2006 . F. E. Cellier and E. Kofman. phContinuous System Simulation. Springer-Verlag, 2006."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129596002150"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/1385-7258(72)90034-0"},{"key":"e_1_3_2_1_12_1","volume-title":"Caminha","author":"Dybjer P.","year":"2000","unstructured":"P. Dybjer and A. Filinski . Normalisation and partial evaluation. In phIn Applied Semantics, Advanced Lectures. Tutorial notes from the International Summer School , Caminha , Portugal , Sept. 2000 . Lecture Notes in Computer Science. P. Dybjer and A. Filinski. Normalisation and partial evaluation. In phIn Applied Semantics, Advanced Lectures. Tutorial notes from the International Summer School, Caminha, Portugal, Sept. 2000. Lecture Notes in Computer Science."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_15_1","first-page":"208","volume-title":"Link\u00f6ping Electronic Conference Proceedings","author":"Giorgidze G.","year":"2009","unstructured":"G. Giorgidze and H. Nilsson . Higher-order non-causal modelling and simulation of structurally dynamic systems. In phProceedings of the 7th International Modelica Conference , Link\u00f6ping Electronic Conference Proceedings , pages 208 -- 218 , Como, Italy , Sept. 2009 . Link\u00f6ping University Electronic Press. G. Giorgidze and H. Nilsson. Higher-order non-causal modelling and simulation of structurally dynamic systems. In phProceedings of the 7th International Modelica Conference, Link\u00f6ping Electronic Conference Proceedings, pages 208--218, Como, Italy, Sept. 2009. Link\u00f6ping University Electronic Press."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"G.\n      Giorgidze\n     and \n      H.\n      Nilsson\n  . \n  Mixed-level embedding and JIT compilation for an iteratively staged DSL. In phProceedings of the 19th Workshop on Functional and (Constraint) Logic Programming (WFLP\n  2010\n  ) volume \n  6559\n   of \n  phLecture Notes in Computer Science pages \n  48\n  --\n  65\n  . \n  Springer-Verlag 2011\\natexlaba.   G. Giorgidze and H. Nilsson. Mixed-level embedding and JIT compilation for an iteratively staged DSL. In phProceedings of the 19th Workshop on Functional and (Constraint) Logic Programming (WFLP 2010) volume 6559 of phLecture Notes in Computer Science pages 48--65. Springer-Verlag 2011\\natexlaba.","DOI":"10.1007\/978-3-642-20775-4_3"},{"key":"e_1_3_2_1_17_1","series-title":"phLecture Notes in Computer Science","first-page":"138","volume-title":"S.-B","author":"Giorgidze G.","year":"2008","unstructured":"G. Giorgidze and H. Nilsson . Embedding a functional hybrid modelling language in Haskell . In S.-B . Scholz and O. Chitil, editors, phImplementation and Application of Functional Languages: 20th International Symposium, IFL 2008 , Revised Selected Papers, volume 5836 of phLecture Notes in Computer Science , pages 138 -- 155 . Springer-Verlag , 2011\\natexlabb. G. Giorgidze and H. Nilsson. Embedding a functional hybrid modelling language in Haskell. In S.-B. Scholz and O. Chitil, editors, phImplementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Revised Selected Papers, volume 5836 of phLecture Notes in Computer Science, pages 138--155. Springer-Verlag, 2011\\natexlabb."},{"key":"e_1_3_2_1_18_1","first-page":"278","volume-title":"The theory of hybrid automata. In phProceedings of the 11th Annual IEEE Symposium on Logics in Computer Science (LICS","author":"Henzinger T. A.","year":"1996","unstructured":"T. A. Henzinger . The theory of hybrid automata. In phProceedings of the 11th Annual IEEE Symposium on Logics in Computer Science (LICS 1996 ), pages 278 -- 292 , 1996. T. A. Henzinger. The theory of hybrid automata. In phProceedings of the 11th Annual IEEE Symposium on Logics in Computer Science (LICS 1996), pages 278--292, 1996."},{"key":"e_1_3_2_1_19_1","first-page":"134","volume-title":"Modular domain specific languages and tools. In phProceedings of Fifth International Conference on Software Reuse","author":"Hudak P.","year":"1998","unstructured":"P. Hudak . Modular domain specific languages and tools. In phProceedings of Fifth International Conference on Software Reuse , pages 134 -- 142 , June 1998 . P. Hudak. Modular domain specific languages and tools. In phProceedings of Fifth International Conference on Software Reuse, pages 134--142, June 1998."},{"key":"e_1_3_2_1_20_1","volume-title":"Link\u00f6ping","author":"Kragedal D.","year":"1998","unstructured":"D. Kragedal . A natural semantics specification for the equation-based modeling language Modelica. LiTH-IDA-Ex-98\/48, Department of Computer and Information Science, Link\u00f6pings universitet, S-581 83 , Link\u00f6ping , Sweden , Oct. 1998 . D. Kragedal. A natural semantics specification for the equation-based modeling language Modelica. LiTH-IDA-Ex-98\/48, Department of Computer and Information Science, Link\u00f6pings universitet, S-581 83, Link\u00f6ping, Sweden, Oct. 1998."},{"key":"e_1_3_2_1_21_1","volume-title":"Reno","author":"Kragedal D.","year":"1998","unstructured":"D. Kragedal and P. Fritzson . Generating a Modelica compiler from natural semantics specifications. In phThe 1998 Summer Computer Simulation Conference (SCSC'98) , Reno , Nevada, U.S.A , July 1998 . D. Kragedal and P. Fritzson. Generating a Modelica compiler from natural semantics specifications. In phThe 1998 Summer Computer Simulation Conference (SCSC'98), Reno, Nevada, U.S.A, July 1998."},{"key":"e_1_3_2_1_22_1","first-page":"99","volume":"51","author":"Mitchell J. C.","year":"1996","unstructured":"J. C. Mitchell and E. Moggi . Kripke-style models for typed lambda calculus. phAnnals of Pure and Applied Logic , 51 : 99 -- 124 , 1996 . J. C. Mitchell and E. Moggi. Kripke-style models for typed lambda calculus. phAnnals of Pure and Applied Logic, 51: 99--124, 1996.","journal-title":"Kripke-style models for typed lambda calculus. phAnnals of Pure and Applied Logic"},{"volume-title":"Modelica -- A Unified Object-Oriented Language for Physical Systems Modeling: Language Specification Version 3.2","year":"2010","key":"e_1_3_2_1_23_1","unstructured":"Modelica. Modelica -- A Unified Object-Oriented Language for Physical Systems Modeling: Language Specification Version 3.2 . The Modelica Association , Mar. 2010 . Modelica. Modelica -- A Unified Object-Oriented Language for Physical Systems Modeling: Language Specification Version 3.2. The Modelica Association, Mar. 2010."},{"key":"e_1_3_2_1_24_1","volume-title":"declaratively: an exercise in mixed induction and coinduction. In ph10th International Conference on Mathematics of Program Construction","author":"Nils Anders Danielsson T. A.","year":"2010","unstructured":"T. A. Nils Anders Danielsson . Subtyping , declaratively: an exercise in mixed induction and coinduction. In ph10th International Conference on Mathematics of Program Construction , 2010 . T. A. Nils Anders Danielsson. Subtyping, declaratively: an exercise in mixed induction and coinduction. In ph10th International Conference on Mathematics of Program Construction, 2010."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.11128\/sne.19.tn.09923"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"H.\n      Nilsson J.\n      Peterson and \n      P.\n      Hudak\n  . \n  Functional hybrid modeling. In phProceedings of PADL'03:  5th International Workshop on Practical Aspects of Declarative Languages volume \n  2562\n   of \n  phLecture Notes in Computer Science pages \n  376\n  --\n  390 New Orleans Lousiana USA Jan. \n  2003\n  . \n  Springer-Verlag\n  .   H. Nilsson J. Peterson and P. Hudak. Functional hybrid modeling. In phProceedings of PADL'03: 5th International Workshop on Practical Aspects of Declarative Languages volume 2562 of phLecture Notes in Computer Science pages 376--390 New Orleans Lousiana USA Jan. 2003. Springer-Verlag.","DOI":"10.1007\/3-540-36388-2_25"},{"key":"e_1_3_2_1_27_1","volume-title":"Sept.","author":"Nilsson H.","year":"2007","unstructured":"H. Nilsson , J. Peterson , and P. Hudak . Functional hybrid modeling from an object-oriented perspective. phSimulation News Europe, 17 (2): 29--38 , Sept. 2007 . H. Nilsson, J. Peterson, and P. Hudak. Functional hybrid modeling from an object-oriented perspective. phSimulation News Europe, 17 (2): 29--38, Sept. 2007."},{"key":"e_1_3_2_1_28_1","volume-title":"ETH Z\u00fcrich","author":"Pepper P.","year":"2011","unstructured":"P. Pepper , A. Mehlhase , C. H\u00f6ger , and L. Scholz . A compositional semantics for modelica-style variable-structure modeling. In ph4th International Conference on Equation-based Object-oriented Modelling Languages and Tools , ETH Z\u00fcrich , Switzerland , 2011 . P. Pepper, A. Mehlhase, C. H\u00f6ger, and L.Scholz. A compositional semantics for modelica-style variable-structure modeling. In ph4th International Conference on Equation-based Object-oriented Modelling Languages and Tools, ETH Z\u00fcrich, Switzerland, 2011."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349331"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795196"},{"key":"e_1_3_2_1_31_1","first-page":"61","volume-title":"Enhancing Modelica towards variable structure systems","author":"Zimmer D.","year":"2007","unstructured":"D. Zimmer . Enhancing Modelica towards variable structure systems . In P. Fritzson, F. Cellier, and C. Nytsch-Geusen, editors, phProceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT), number 24 in Link\u00f6ping Electronic Conference Proceedings, pages 61 -- 70 , Berlin, Germany, 2007 . Link\u00f6ping University Electronic Press . D. Zimmer. Enhancing Modelica towards variable structure systems. In P. Fritzson, F. Cellier, and C. Nytsch-Geusen, editors, phProceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT), number 24 in Link\u00f6ping Electronic Conference Proceedings, pages 61--70, Berlin, Germany, 2007. Link\u00f6ping University Electronic Press."}],"event":{"name":"POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Philadelphia Pennsylvania USA","acronym":"POPL '12"},"container-title":["Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103786.2103792","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2103786.2103792","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:35Z","timestamp":1750241195000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103786.2103792"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,28]]},"references-count":29,"alternative-id":["10.1145\/2103786.2103792","10.1145\/2103786"],"URL":"https:\/\/doi.org\/10.1145\/2103786.2103792","relation":{},"subject":[],"published":{"date-parts":[[2012,1,28]]},"assertion":[{"value":"2012-01-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}