{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:56Z","timestamp":1725558956109},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540250791"},{"type":"electronic","value":"9783540318453"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31845-3_6","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T19:43:57Z","timestamp":1278359037000},"page":"66-77","source":"Crossref","is-referenced-by-count":1,"title":["Compiling Formal Specifications to Oz Programs"],"prefix":"10.1007","author":[{"given":"Tim","family":"Wahls","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"International Series in Computer Science","volume-title":"Systematic Software Development Using VDM","author":"C.B. Jones","year":"1990","unstructured":"Jones, C.B.: Systematic Software Development Using VDM, 2nd edn. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1990)","edition":"2"},{"key":"6_CR2","volume-title":"Modelling Systems: Practical Tools and Techniques in Software Development","author":"J.S. Fitzgerald","year":"1998","unstructured":"Fitzgerald, J.S., Larsen, P.G.: Modelling Systems: Practical Tools and Techniques in Software Development. Cambridge University Press, Cambridge (1998) ISBN 0521623480"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1049\/sej.1989.0006","volume":"4","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: An introduction to Z and formal specifications. Software Engineering Journal\u00a04, 40\u201350 (1989)","journal-title":"Software Engineering Journal"},{"key":"6_CR4","series-title":"International Series in Computer Science","volume-title":"Using Z: Specification, Refinement and Proof","author":"J. Davies","year":"1996","unstructured":"Davies, J., Woodcock, J.C.P.: Using Z: Specification, Refinement and Proof. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1996)"},{"key":"6_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996) ISBN 0 521 49619 5"},{"key":"6_CR6","unstructured":"B-Core(UK) Ltd: B-Core website (2004), \n                    \n                      http:\/\/www.B-core.com\/"},{"key":"6_CR7","first-page":"105","volume-title":"OOPSLA 2000 Companion","author":"G.T. Leavens","year":"2000","unstructured":"Leavens, G.T., Leino, K.R.M., Poll, E., Ruby, C., Jacobs, B.: JML: notations and tools supporting detailed design in Java. In: OOPSLA 2000 Companion, Minneapolis, Minnesota, pp. 105\u2013106. ACM, New York (2000)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Wahls, T., Leavens, G.T.: Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs. In: Proceedings of the 16th ACM Symposium on Applied Computing, Las Vega, Nevada, pp. 567\u2013575 (2001)","DOI":"10.1145\/372202.372465"},{"key":"6_CR9","unstructured":"Wahls, T., Leavens, G.T., Baker, A.L.: Executing formal specifications with concurrent constraint programming. The Automated Software Engineering Journal\u00a07 (2000)"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1049\/sej.1992.0027","volume":"7","author":"M.M. West","year":"1992","unstructured":"West, M.M., Eaglestone, B.M.: Software development: Two approaches to animation of Z specifications using Prolog. IEE\/BCS Software Engineering Journal\u00a07, 264\u2013276 (1992)","journal-title":"IEE\/BCS Software Engineering Journal"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1049\/sej.1992.0033","volume":"7","author":"N. Fuchs","year":"1992","unstructured":"Fuchs, N.: Specifications are (preferably) executable. Software Engineering Journal\u00a07, 323\u2013334 (1992)","journal-title":"Software Engineering Journal"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Gray, J.G., Schach, S.R.: Constraint animation using an object-oriented declarative language. In: Proceedings of the 38th Annual ACM SE Conference, Clemson, SC, pp. 1\u201310 (2000)","DOI":"10.1145\/1127716.1127718"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1093\/comjnl\/35.6.623","volume":"35","author":"G. O\u2019Neill","year":"1992","unstructured":"O\u2019Neill, G.: Automatic translation of VDM specifications into Standard ML programs. The Computer Journal\u00a035, 623\u2013624 (1992)","journal-title":"The Computer Journal"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/185009.185028","volume":"29","author":"R. Elmstr\u00f8m","year":"1994","unstructured":"Elmstr\u00f8m, R., Larsen, P.G., Lassen, P.B.: The IFAD VDM-SL toolbox: A practical approach to formal specifications. ACM Sigplan Notices\u00a029, 77\u201380 (1994)","journal-title":"ACM Sigplan Notices"},{"key":"6_CR15","unstructured":"Fr\u00f6hlich, B.: Program Generation Based on Implicit Definitions in a VDM-like Language. PhD thesis, Technical University of Graz (1998)"},{"key":"6_CR16","unstructured":"Jackson, D., Damon, C.: Semi-executable specifications. Technical Report CMU-CS-95-216, School of Computer Science, Carnegie Mellon University (1995)"},{"key":"6_CR17","series-title":"Workshops in Computing","volume-title":"Z User Workshop, Cambridge 1994","author":"P.T. Breuer","year":"1994","unstructured":"Breuer, P.T., Bowen, J.P.: Towards correct executable semantics for Z. In: Bowen, J.P., Hall, J.A. (eds.) Z User Workshop, Cambridge 1994. Workshops in Computing. Springer, Heidelberg (1994)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/3-540-44525-0_24","volume-title":"ZB 2000: Formal Specification and Development in Z and B","author":"W. Grieskamp","year":"2000","unstructured":"Grieskamp, W.: A computation model for Z based on concurrent constraint resolution. In: P. Bowen, J., Dunne, S., Galloway, A., King, S. (eds.) ZB 2000, ZUM 2000, and ZB 2000. LNCS, vol.\u00a01878, pp. 414\u2013432. Springer, Heidelberg (2000)"},{"key":"6_CR19","unstructured":"Mehl, M., M\u00fcller, T., Popov, K., Scheidhauer, R., Schulte, C.: DFKI Oz User\u2019s Manual. Programming Systems Lab, German Research Center for Artificial Intelligence (DFKI) and Universit\u00e4t des Saarlandes, Postfach 15 11 50, D-66041 Saarbr\u00fccken, Germany (1998)"},{"key":"6_CR20","unstructured":"Mozart Consortium: Mozart Programming System website (2004), \n                    \n                      http:\/\/www.mozart-oz.org"},{"key":"6_CR21","volume-title":"Concepts, Techniques and Models of Computer Programming","author":"P. Roy Van","year":"2004","unstructured":"Van Roy, P., Haridi, S.: Concepts, Techniques and Models of Computer Programming. The MIT Press, Cambridge (2004)"},{"key":"6_CR22","first-page":"79","volume":"17","author":"D. Wu","year":"2002","unstructured":"Wu, D., Cheng, Y., Wahls, T.: A graphical user interface for executing formal specifications. The Journal of Computing in Small Colleges\u00a017, 79\u201386 (2002)","journal-title":"The Journal of Computing in Small Colleges"},{"key":"6_CR23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: An Introduction","author":"K. Marriott","year":"1998","unstructured":"Marriott, K., Stuckey, P.J.: Programming with Constraints: An Introduction. The MIT Press, Cambridge (1998)"},{"key":"6_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-540-39917-9_22","volume-title":"Inductive Logic Programming","author":"J. Struyf","year":"2003","unstructured":"Struyf, J., Blockeel, H.: Query optimization in inductive logic programming by reordering literals. In: Horv\u00e1th, T., Yamamoto, A. (eds.) ILP 2003. LNCS (LNAI), vol.\u00a02835, pp. 329\u2013346. Springer, Heidelberg (2003)"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/571157.571169","volume-title":"Proceedings of the 4th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming","author":"D. Overton","year":"2002","unstructured":"Overton, D., Somogyi, Z., Stuckey, P.J.: Constraint-based mode analysis of Mercury. In: Proceedings of the 4th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, Pittsburgh, PA, USA, pp. 109\u2013120. ACM Press, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Multiparadigm Programming in Mozart\/Oz"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31845-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T11:33:30Z","timestamp":1552649610000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31845-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540250791","9783540318453"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31845-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}