{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:54:21Z","timestamp":1725602061264},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642229404"},{"type":"electronic","value":"9783642229411"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22941-1_4","type":"book-chapter","created":{"date-parts":[[2011,8,23]],"date-time":"2011-08-23T12:23:14Z","timestamp":1314102194000},"page":"50-65","source":"Crossref","is-referenced-by-count":1,"title":["Static Balance Checking for First-Class Modular Systems of Equations"],"prefix":"10.1007","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","reference":[{"key":"4_CR1","volume-title":"GPCE","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. ACM, New York (2006)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/3-540-45587-6_18","volume-title":"Practical Aspects of Declarative Languages","author":"P. Bunus","year":"2002","unstructured":"Bunus, P., Fritzson, P.: A debugging scheme for declarative equation based modeling languages. In: Adsul, B., Ramakrishnan, C.R. (eds.) PADL 2002. LNCS, vol.\u00a02257, p. 280. Springer, Heidelberg (2002)"},{"key":"4_CR3","volume-title":"Introduction to the Theory of Equations","author":"N.B. Conkwright","year":"1957","unstructured":"Conkwright, N.B.: Introduction to the Theory of Equations. Ginn, Boston (1957)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Freeman, T., Pfenning, F.: Refinement Types for ML. In: PLDI (1991)","DOI":"10.1145\/113445.113468"},{"key":"4_CR5","doi-asserted-by":"crossref","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. Link\u00f6ping Electronic Conference Proceedings (2009)","DOI":"10.3384\/ecp09430137"},{"key":"4_CR6","unstructured":"Jones, S.: Haskell 98 Language and Libraries: the Revised Report (2003)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Kuhn, H.: Solvability and Consistency for Linear Equations and Inequalities. American Mathematical Monthly\u00a063 (1956)","DOI":"10.2307\/2310345"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"McKinna, J., Altenkirch, T., McBride, C.: Why Dependent Types Matter. ACM SIGPLAN Notices\u00a041(1) (2006)","DOI":"10.1145\/1111320.1111038"},{"key":"4_CR9","unstructured":"The Modelica Association. Modelica \u2013 A Unified Object-Oriented Language for Physical Systems Modeling: Language Specification Version 3.2 (2010)"},{"key":"4_CR10","unstructured":"Nilsson, H.: Type-Based Structural Analysis for Modular Systems of Equations. In: Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools. Link\u00f6ping Electronic Conference Proceedings (2008)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/3-540-36388-2_25","volume-title":"Practical Aspects of Declarative Languages","author":"H. Nilsson","year":"2002","unstructured":"Nilsson, H., Peterson, J., Hudak, P.: Functional hybrid modeling. In: Dahl, V. (ed.) PADL 2003. LNCS, vol.\u00a02562, pp. 376\u2013390. Springer, Heidelberg (2002)"},{"key":"4_CR12","unstructured":"Nilsson, H., Peterson, J., Hudak, P.: Functional Hybrid Modeling from an Object-Oriented Perspective. In: Simulation News Europe (2007)"},{"key":"4_CR13","unstructured":"Norell, U.: Towards a Practical Programming Language Based on Dependent Type Theory. PhD thesis, Department of Computer Science and Engineering, Chalmers University of Technology, G\u00f6teborg, Sweden (2007)"},{"key":"4_CR14","volume-title":"Types and Programming Languages","author":"B. Pierce","year":"2002","unstructured":"Pierce, B.: Types and Programming Languages. The MIT Press, Cambridge (2002)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Pugh, W.: The Omega Test: a Fast and Practical Integer Programming Algorithm for Dependence Analysis. In: Supercomputing 1991 (1991)","DOI":"10.1145\/125826.125848"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22941-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T04:36:05Z","timestamp":1560486965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22941-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642229404","9783642229411"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22941-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}