{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:48:57Z","timestamp":1725583737819},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642207747"},{"type":"electronic","value":"9783642207754"}],"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-20775-4_5","type":"book-chapter","created":{"date-parts":[[2011,5,21]],"date-time":"2011-05-21T05:38:36Z","timestamp":1305956316000},"page":"84-100","source":"Crossref","is-referenced-by-count":1,"title":["Lazy and Enforceable Assertions for Functional Logic Programs"],"prefix":"10.1007","author":[{"given":"Michael","family":"Hanus","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/BFb0027000","volume-title":"Algebraic and Logic Programming","author":"S. Antoy","year":"1997","unstructured":"Antoy, S.: Optimal Non-Deterministic Functional Logic Computations. In: Hanus, M., Heering, J., Meinke, K. (eds.) ALP 1997 and HOA 1997. LNCS, vol.\u00a01298, pp. 16\u201330. Springer, Heidelberg (1997)"},{"issue":"4","key":"5_CR2","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1145\/347476.347484","volume":"47","author":"S. Antoy","year":"2000","unstructured":"Antoy, S., Echahed, R., Hanus, M.: A Needed Narrowing Strategy. Journal of the ACM\u00a047(4), 776\u2013822 (2000)","journal-title":"Journal of the ACM"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/11680093_2","volume-title":"Logic Based Program Synthesis and Transformation","author":"S. Antoy","year":"2006","unstructured":"Antoy, S., Hanus, M.: Declarative Programming with Function Patterns. In: Hill, P.M. (ed.) LOPSTR 2005. LNCS, vol.\u00a03901, pp. 6\u201322. Springer, Heidelberg (2006)"},{"issue":"4","key":"5_CR4","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/1721654.1721675","volume":"53","author":"S. Antoy","year":"2010","unstructured":"Antoy, S., Hanus, M.: Functional Logic Programming. Communications of the ACM\u00a053(4), 74\u201385 (2010)","journal-title":"Communications of the ACM"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-24836-1_14","volume-title":"Practical Aspects of Declarative Languages","author":"B. Bra\u00dfel","year":"2004","unstructured":"Bra\u00dfel, B., Chitil, O., Hanus, M., Huch, F.: Observing Functional Logic Computations. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol.\u00a03057, pp. 193\u2013208. Springer, Heidelberg (2004)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-540-76637-7_4","volume-title":"Programming Languages and Systems","author":"O. Chitil","year":"2007","unstructured":"Chitil, O., Huch, F.: Monadic, Prompt Lazy Assertions in Haskell. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol.\u00a04807, pp. 38\u201353. Springer, Heidelberg (2007)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-540-74130-5_8","volume-title":"Implementation and Application of Functional Languages","author":"O. Chitil","year":"2007","unstructured":"Chitil, O., Huch, F.: A Pattern Logic for Prompt Lazy Assertions in Haskell. In: Horv\u00e1th, Z., Zs\u00f3k, V., Butterfield, A. (eds.) IFL 2006. LNCS, vol.\u00a04449, pp. 126\u2013144. Springer, Heidelberg (2007)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-27861-0_1","volume-title":"Implementation of Functional Languages","author":"O. Chitil","year":"2004","unstructured":"Chitil, O., McNeill, D., Runciman, C.: Lazy assertions. In: Trinder, P., Michaelson, G.J., Pe\u00f1a, R. (eds.) IFL 2003. LNCS, vol.\u00a03145, pp. 1\u201319. Springer, Heidelberg (2004)"},{"key":"5_CR9","series-title":"LNI","first-page":"2946","volume-title":"4. Arbeitstagung Programmiersprachen (ATPS 2009)","author":"M. Degen","year":"2009","unstructured":"Degen, M., Thiemann, P., Wehr, S.: True Lies: Lazy Contracts for Lazy Languages (Faithfulness is Better than Laziness). In: 4. Arbeitstagung Programmiersprachen (ATPS 2009). LNI, vol.\u00a0154, pp. 370; 2946\u20132959. Springer, Heidelberg (2009)"},{"key":"5_CR10","first-page":"48","volume-title":"Proceedings of the 7th ACM SIGPLAN international conference on Functional programming ICFP 2002","author":"R.B. Findler","year":"2002","unstructured":"Findler, R.B., Felleisen, M.: Contracts for Higher-Order Functions. In: Proceedings of the 7th ACM SIGPLAN international conference on Functional programming ICFP 2002, pp. 48\u201359. ACM Press, New York (2002)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Gill, A.: Debugging Haskell by Observing Intermediate Data Structures. Electr. Notes Theor. Comput. Sci.\u00a041(1) (2000)","DOI":"10.1016\/S1571-0661(05)80538-9"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Hanus, M.: A Unified Computation Model for Functional and Logic Programming. In: Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris), pp. 80\u201393 (1997)","DOI":"10.1145\/263699.263710"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-46584-7_4","volume-title":"Practical Aspects of Declarative Languages","author":"M. Hanus","year":"2000","unstructured":"Hanus, M.: A Functional Logic Programming Approach to Graphical User Interfaces. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol.\u00a01753, pp. 47\u201362. Springer, Heidelberg (2000)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45241-9_6","volume-title":"Practical Aspects of Declarative Languages","author":"M. Hanus","year":"2001","unstructured":"Hanus, M.: High-Level Server Side Web Scripting in Curry. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 76\u201392. Springer, Heidelberg (2001)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-540-74610-2_5","volume-title":"Logic Programming","author":"M. Hanus","year":"2007","unstructured":"Hanus, M.: Multi-paradigm Declarative Languages. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 45\u201375. Springer, Heidelberg (2007)"},{"key":"5_CR16","unstructured":"Hanus, M., Antoy, S., Bra\u00dfel, B., Engelke, M., H\u00f6ppner, K., Koj, J., Niederau, P., Sadre, R., Steiner, F.: PAKCS: The Portland Aachen Kiel Curry System (2010), \n                    \n                      http:\/\/www.informatik.uni-kiel.de\/~pakcs\/"},{"key":"5_CR17","unstructured":"Hanus, M. (ed.): Curry: An Integrated Functional Logic Language, Vers. 0.8.2 (2006), \n                    \n                      http:\/\/www.curry-language.org"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/11737414_15","volume-title":"Functional and Logic Programming","author":"R. Hinze","year":"2006","unstructured":"Hinze, R., Jeuring, J., L\u00f6h, A.: Typed Contracts for Functional Programming. In: Hagiya, M. (ed.) FLOPS 2006. LNCS, vol.\u00a03945, pp. 208\u2013225. Springer, Heidelberg (2006)"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-48685-2_19","volume-title":"Rewriting Techniques and Applications","author":"F.J. L\u00f3pez-Fraguas","year":"1999","unstructured":"L\u00f3pez-Fraguas, F.J., S\u00e1nchez-Hern\u00e1ndez, J.: TOY: A Multiparadigm Declarative System. In: Narendran, P., Rusinowitch, M. (eds.) RTA 1999. LNCS, vol.\u00a01631, pp. 244\u2013247. Springer, Heidelberg (1999)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-642-02846-5_25","volume-title":"Logic Programming","author":"E. Mera","year":"2009","unstructured":"Mera, E., Lopez-Garc\u00eda, P., Hermenegildo, M.: Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 281\u2013295. Springer, Heidelberg (2009)"},{"key":"5_CR21","volume-title":"Object-oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-oriented Software Construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)","edition":"2"},{"volume-title":"Haskell 98 Language and Libraries\u2014The Revised Report","year":"2003","key":"5_CR22","unstructured":"Peyton Jones, S. (ed.): Haskell 98 Language and Libraries\u2014The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/10722311_2","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G. Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: An Assertion Language for Constraint Logic Programs. In: Deransart, P., Ma\u0142uszy\u0144ski, J. (eds.) DiSCiPl 1999. LNCS, vol.\u00a01870, pp. 23\u201362. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Functional and Constraint Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20775-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T09:26:25Z","timestamp":1558603585000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20775-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642207747","9783642207754"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20775-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}