{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:46:58Z","timestamp":1742636818782},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s10990-013-9099-6","type":"journal-article","created":{"date-parts":[[2013,10,9]],"date-time":"2013-10-09T19:55:42Z","timestamp":1381348542000},"page":"275-310","source":"Crossref","is-referenced-by-count":2,"title":["Structural types for systems of equations"],"prefix":"10.1007","volume":"25","author":[{"given":"John","family":"Capper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"Nilsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,10,10]]},"reference":[{"key":"9099_CR1","unstructured":"Accellera Organization: Verilog-AMS language reference manual\u2014analog & mixed-signal extensions to Verilog HDL. version 2.3.1 (2009)"},{"key":"9099_CR2","volume-title":"The C Programming Language","author":"A.V. Aho","year":"1988","unstructured":"Aho, A.V.: The C Programming Language (1988)"},{"key":"9099_CR3","series-title":"Problem Books in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/b97610","volume-title":"Pell\u2019s Equation","author":"E.J. Barbeau","year":"2003","unstructured":"Barbeau, E.J.: Pell\u2019s Equation. Problem Books in Mathematics. Springer, Berlin (2003)"},{"key":"9099_CR4","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/1173706.1173729","volume-title":"GPCE \u201906: Proceedings of the 5th International Conference on Generative Programming and Component Engineering","author":"D. Broman","year":"2006","unstructured":"Broman, D., Nystr\u00f6m, K., Fritzson, P.: Determining over- and under-constrained systems of equations using structural constraint delta. In: GPCE \u201906: Proceedings of the 5th International Conference on Generative Programming and Component Engineering, pp. 151\u2013160. ACM, Portland (2006)"},{"key":"9099_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/3-540-45587-6_18","volume-title":"Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages (PADL 2002)","author":"P. Bunus","year":"2002","unstructured":"Bunus, P., Fritzson, P.: A debugging scheme for declarative equation based modeling languages. In: Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages (PADL 2002), OR, USA. Lecture Notes in Computer Science, vol. 2257, pp. 280\u2013298. Springer, Berlin (2002)"},{"key":"9099_CR6","unstructured":"Capper, J.J.: Source code repository. www.cs.nott.ac.uk\/~jjc"},{"key":"9099_CR7","volume-title":"Proceedings of the 11th Symposium on Trends in Functional Programming","author":"J.J. Capper","year":"2010","unstructured":"Capper, J.J., Nilsson, H.: Static balance checking for first-class modular systems of equations. In: Proceedings of the 11th Symposium on Trends in Functional Programming, Oklahoma, USA (2010)"},{"key":"9099_CR8","volume-title":"Types in Language Design and Implementation","author":"J.J. Capper","year":"2012","unstructured":"Capper, J.J., Nilsson, H.: Towards a formal semantics for structurally dynamic non-causal modelling languages. In: Types in Language Design and Implementation, Philadelphia, Pennsylvania, USA (2012)"},{"key":"9099_CR9","first-page":"53","volume-title":"Proceedings of the 15th Benelux Meeting on Systems and Control","author":"F.E. Cellier","year":"1996","unstructured":"Cellier, F.E.: Object-oriented modelling: means for dealing with system complexity. In: Proceedings of the 15th Benelux Meeting on Systems and Control, Mierlo, The Netherlands, pp. 53\u201364 (1996)"},{"key":"9099_CR10","volume-title":"Continuous System Simulation","author":"F.E. Cellier","year":"2006","unstructured":"Cellier, F.E., Kofman, E.: Continuous System Simulation. Springer, Berlin (2006)"},{"key":"9099_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Proceedings Second GI Conference on Automata Theory and Formal Languages","author":"G.E. Collins","year":"1975","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Proceedings Second GI Conference on Automata Theory and Formal Languages. Lecture Notes in Computer Science, vol. 33, pp. 134\u2013183. Springer, Berlin (1975)"},{"key":"9099_CR12","first-page":"163","volume-title":"Proceedings of ICFP\u201997: International Conference on Functional Programming","author":"C. Elliott","year":"1997","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: Proceedings of ICFP\u201997: International Conference on Functional Programming, pp. 163\u2013173 (1997)"},{"key":"9099_CR13","series-title":"Link\u00f6ping Electronic Conference Proceedings","doi-asserted-by":"crossref","first-page":"868","DOI":"10.3384\/ecp09430023","volume-title":"Proceedings of the 7th International Modelica Conference","author":"S. Furic","year":"2009","unstructured":"Furic, S.: Enforcing model composability in Modelica. In: Casella, F. (ed.) Proceedings of the 7th International Modelica Conference, Como, Italy, 20\u201322 September 2009. Link\u00f6ping Electronic Conference Proceedings, vol. 43, pp. 868\u2013879. Link\u00f6ping University Electronic Press, Link\u00f6ping (2009)"},{"key":"9099_CR14","series-title":"Link\u00f6ping Electronic Conference Proceedings","doi-asserted-by":"crossref","first-page":"208","DOI":"10.3384\/ecp09430137","volume-title":"Proceedings of the 7th International Modelica Conference","author":"G. Giorgidze","year":"2009","unstructured":"Giorgidze, G., Nilsson, H.: Higher-order non-causal modelling and simulation of structurally dynamic systems. In: Casella, F. (ed.) Proceedings of the 7th International Modelica Conference, Como, Italy, 20\u201322 September 2009. Link\u00f6ping Electronic Conference Proceedings, vol. 43, pp. 208\u2013218. Link\u00f6ping University Electronic Press, Link\u00f6ping (2009)"},{"key":"9099_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/978-3-642-20775-4_3","volume-title":"Proceedings of the 19th Workshop on Functional and (Constraint) Logic Programming (WFLP 2010)","author":"G. Giorgidze","year":"2011","unstructured":"Giorgidze, G., Nilsson, H.: Mixed-level embedding and JIT compilation for an iteratively staged DSL. In: Mari\u00f1o, J. (ed.) Proceedings of the 19th Workshop on Functional and (Constraint) Logic Programming (WFLP 2010). Lecture Notes in Computer Science, vol. 6559, pp. 48\u201365. Springer, Berlin (2011)"},{"key":"9099_CR16","volume-title":"IEEE Standard VHDL Analog and Mixed-Signal Extensions","author":"IEEE Std 1076.1-2007","year":"2007","unstructured":"IEEE Std 1076.1-2007: IEEE Standard VHDL Analog and Mixed-Signal Extensions. IEEE Press, New York (2007)"},{"key":"9099_CR17","unstructured":"Jones, S.P., et al.: Haskell 98\u2014a non-strict, purely functional language (1999). http:\/\/www.haskell.org\/onlinereport"},{"key":"9099_CR18","unstructured":"Kirchhoff\u2019s circuit laws. Wikipedia. http:\/\/en.wikipedia.org\/wiki\/Kirchhoff\u2019s_circuit_laws . Accessed October 2012"},{"key":"9099_CR19","doi-asserted-by":"crossref","unstructured":"McKinna, J., Altenkirch, T., McBride, C.: Why dependent types matter. ACM SIGPLAN Not. 41(1)","DOI":"10.1145\/1111037.1111038"},{"key":"9099_CR20","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. J. Comput. Syst. Sci. 17, 348\u2013375 (1978)","journal-title":"J. Comput. Syst. Sci."},{"key":"9099_CR21","unstructured":"Modelica Association: Modelica\u2014A Unified Object-Oriented Language for Systems Modelling; Language Specification Version 3.3 (2012). http:\/\/www.modelica.org"},{"key":"9099_CR22","series-title":"Link\u00f6ping Electronic Conference Proceedings","first-page":"71","volume-title":"Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, Paphos, Cyprus","author":"H. Nilsson","year":"2008","unstructured":"Nilsson, H.: Type-based structural analysis for modular systems of equations. In: Fritzson, P., Cellier, F., Broman, D. (eds.) Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, Paphos, Cyprus. Link\u00f6ping Electronic Conference Proceedings, vol.\u00a029, pp. 71\u201381. Link\u00f6ping University Electronic Press, Link\u00f6ping (2008)"},{"key":"9099_CR23","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/581690.581695","volume-title":"Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskell\u201902)","author":"H. Nilsson","year":"2002","unstructured":"Nilsson, H., Courtney, A., Peterson, J.: Functional reactive programming, continued. In: Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskell\u201902), pp. 51\u201364. ACM, Pittsburgh (2002)"},{"key":"9099_CR24","volume-title":"Proceedings of the 7th EUROSIM Congress on Modelling and Simulation","author":"H. Nilsson","year":"2010","unstructured":"Nilsson, H., Giorgidze, G.: Exploiting structural dynamism in Functional Hybrid Modelling for simulation of ideal diodes. In: Proceedings of the 7th EUROSIM Congress on Modelling and Simulation. Czech Technical University Publishing House, Prague (2010)"},{"key":"9099_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/3-540-36388-2_25","volume-title":"Proceedings of PADL\u201903: 5th International Workshop on Practical Aspects of Declarative Languages","author":"H. Nilsson","year":"2003","unstructured":"Nilsson, H., Peterson, J., Hudak, P.: Functional hybrid modeling. In: Proceedings of PADL\u201903: 5th International Workshop on Practical Aspects of Declarative Languages, New Orleans, Lousiana, USA. Lecture Notes in Computer Science, vol. 2562, pp. 376\u2013390. Springer, Berlin (2003)"},{"key":"9099_CR26","unstructured":"Norell, U.: Towards a practical programming language based on dependent type theory. Technical report, Chalmers University of Technology (2007)"},{"key":"9099_CR27","first-page":"527","volume-title":"Proceedings of the 4th International Modelica Conference","author":"C. Nytsch-Geusen","year":"2005","unstructured":"Nytsch-Geusen, C., Ernst, T., Nordwig, A., Schwarz, P., Schneider, P., Vetter, M., Wittwer, C., Nouidui, T., Holm, A., Leopold, J., Schmidt, G., Mattes, A., Doll, U.: MOSILAB: development of a Modelica-based generic simulation tool supporting model structural dynamics. In: Proceedings of the 4th International Modelica Conference, Hamburg, Germany, pp. 527\u2013535 (2005)"},{"key":"9099_CR28","volume-title":"Types and Programming Languages","author":"B. Pierce","year":"2002","unstructured":"Pierce, B.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"9099_CR29","unstructured":"Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Department of Computer Science, Aarhus University, Denmark (1981)"},{"key":"9099_CR30","volume-title":"Supercomputing","author":"W. Pugh","year":"1991","unstructured":"Pugh, W.: The Omega Test: a fast and practical integer programming algorithm for dependence analysis. In: Supercomputing, vol. 91 (1991)"},{"key":"9099_CR31","first-page":"242","volume-title":"Proceedings of PLDI\u201901: Symposium on Programming Language Design and Implementation","author":"Z. Wan","year":"2000","unstructured":"Wan, Z., Hudak, P.: Functional reactive programming from first principles. In: Proceedings of PLDI\u201901: Symposium on Programming Language Design and Implementation, pp. 242\u2013252 (2000)"},{"key":"9099_CR32","unstructured":"Zimmer, D.: Equation-based modeling of variable-structure systems. Ph.D. thesis, Swiss Federal Institute of Technology, Z\u00fcrich (2010)"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-013-9099-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-013-9099-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-013-9099-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-013-9099-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,8]],"date-time":"2022-03-08T17:18:33Z","timestamp":1646759913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-013-9099-6"}},"subtitle":["Type refinements for structurally dynamic first-class modular systems of equations"],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":32,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["9099"],"URL":"https:\/\/doi.org\/10.1007\/s10990-013-9099-6","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12]]}}}