{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:53:51Z","timestamp":1725515631439},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642313738"},{"type":"electronic","value":"9783642313745"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31374-5_16","type":"book-chapter","created":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T09:00:57Z","timestamp":1340614857000},"page":"231-247","source":"Crossref","is-referenced-by-count":4,"title":["Towards the Formal Specification and Verification of Maple Programs"],"prefix":"10.1007","author":[{"given":"Muhammad Taimoor","family":"Khan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Schreiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-30569-9_3","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"M. Barnett","year":"2005","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# Programming System: An Overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362, pp. 49\u201369. Springer, Heidelberg (2005)"},{"key":"16_CR2","unstructured":"Baudin, P., Filli\u00e2tre, J.C., Hubert, T., March\u00e9, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI C Specification Language (preliminary design V1.2), preliminary edn. (May 2008)"},{"key":"16_CR3","unstructured":"Bobot, F., Filli\u00e2tre, J.-C., March\u00e9, C., Paskevich, A.: Why3: Shepherd your herd of provers. In: Boogie 2011: First International Workshop on Intermediate Verification Languages, Wroc\u0142aw, Poland (August 2011)"},{"key":"16_CR4","unstructured":"Cardelli, L.: Type Systems. In: Tucker, A.B. (ed.) The Computer Science and Engineering Handbook, pp. 2208\u20132236. CRC Press (1997)"},{"key":"16_CR5","unstructured":"Carette, J., Forrest, S.: Mining Maple Code for Contracts. In: Ranise, S., Bigatti, A. (eds.) Calculemus. Electronic Notes in Theoretical Computer Science. Elsevier (2006)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Carette, J., Kucera, M.: Partial Evaluation of Maple. In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 2007, pp. 41\u201350. ACM Press (2007)","DOI":"10.1145\/1244381.1244389"},{"key":"16_CR7","unstructured":"D\u00f6nch, C.: Bivariate Difference-Differential Dimension Polynomials and Their Computation in Maple. Technical report, Research Institute for Symbolic Computation, Johannes Kepler University, Linz (2009)"},{"issue":"7","key":"16_CR8","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.1109\/TCAD.2008.923410","volume":"27","author":"V. D\u2019Silva","year":"2008","unstructured":"D\u2019Silva, V., Kroening, D., Weissenbacher, G.: A Survey of Automated Techniques for Formal Software Verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a027(7), 1165\u20131178 (2008)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Dunstan, M., Kelsey, T., Linton, S., Martin, U.: Lightweight Formal Methods For Computer Algebra Systems. In: International Symposium on Symbolic and Algebraic Computation, ISSAC 1998, pp. 80\u201387. ACM Press (1998)","DOI":"10.1145\/281508.281560"},{"key":"16_CR10","unstructured":"Leavens, G.T., Cheon, Y.: Design by Contract with JML. A Tutorial (2006), \n                    \n                      ftp:\/\/ftp.cs.iastate.edu\/pub\/leavens\/JML\/jmldbc.pdf"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Guttag, J.V., Horning, J.J., Garl, W.J., Jones, K.D., Modet, A., Wing, J.M.: Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer (1993)","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Hudak, P.: The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge University Press (June 2000)","DOI":"10.1017\/CBO9780511818073"},{"key":"16_CR13","unstructured":"Foster, J.S., Furr, M., An, J.-H., Hicks, M.: Static Type Inference for Ruby. In: Proceedings of the 24th Annual ACM Symposium on Applied Computing, OOPS Track, Honolulu, HI (2009)"},{"key":"16_CR14","unstructured":"Khan, M.T.: A Type Checker for MiniMaple. RISC Technical Report 11-05, also DK Technical Report 2011-05, Research Institute for Symbolic Computation, Johannes Kepler University, Linz (2011)"},{"key":"16_CR15","unstructured":"Khan, M.T.: Formal Semantics of MiniMaple. DK Technical Report 2012-01, Research Institute for Symbolic Computation, Johannes Kepler University, Linz (January 2012)"},{"key":"16_CR16","unstructured":"Khan, M.T., Schreiner, W.: On Formal Specification of Maple Programs. In: Conferences on Intelligent Computer Mathematics, Systems and Projects Track (submitted, 2012)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BFb0013170","volume-title":"Design and Implementation of Symbolic Computation Systems","author":"M.B. Monagan","year":"1993","unstructured":"Monagan, M.B.: Gauss: A Parameterized Domain of Computation System with Support for Signature Functions. In: Miola, A. (ed.) DISCO 1993. LNCS, vol.\u00a0722, pp. 81\u201394. Springer, Heidelberg (1993)"},{"key":"16_CR18","volume-title":"Denotational Semantics: a methodology for language development","author":"D.A. Schmidt","year":"1986","unstructured":"Schmidt, D.A.: Denotational Semantics: a methodology for language development. William C. Brown Publishers, Dubuque (1986)"},{"key":"16_CR19","unstructured":"Schreiner, W.: A Program Calculus. Technical report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria (September 2008)"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Boulm\u00e9, S., Hardin, T., Hirschkoff, D., M\u00e9nissier-Morain, V., Rioboo, R.: On the Way to Certify Computer Algebra Systems. In: Proceedings of the Calculemus Workshop of FLOC 1999 (Federated Logic Conference, Trento, Italie). ENTCS, vol.\u00a023, pp. 370\u2013385. Elsevier (1999)","DOI":"10.1016\/S1571-0661(05)80609-7"},{"issue":"1","key":"16_CR21","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1017\/S0956796800000575","volume":"3","author":"T. Lambert","year":"1993","unstructured":"Lambert, T., Lindsay, P., Robinson, K.: Using Miranda as a First Programming Language. Journal of Functional Programming\u00a03(1), 5\u201334 (1993)","journal-title":"Journal of Functional Programming"},{"issue":"10","key":"16_CR22","doi-asserted-by":"publisher","first-page":"726","DOI":"10.1016\/j.jsc.2008.02.001","volume":"43","author":"M. Zhou","year":"2008","unstructured":"Zhou, M., Winkler, F.: Computing Difference-Differential Dimension Polynomials by Relative Gr\u00f6bner Bases in Difference-Differential Modules. Journal of Symbolic Computation\u00a043(10), 726\u2013745 (2008)","journal-title":"Journal of Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31374-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T09:43:22Z","timestamp":1556876602000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31374-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642313738","9783642313745"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31374-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}