{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:13:14Z","timestamp":1775790794391,"version":"3.50.1"},"reference-count":22,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":5390,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1994,6]]},"abstract":"<jats:p>In the first part of this paper (Duval and Reynaud 1994), we defined a categorical framework, based on the notion of <jats:italic>sketch<\/jats:italic>, for specification and evaluation in the senses of algebraic specifications and algebraic programming. <jats:italic>Static evaluation<\/jats:italic> in <jats:italic>quasi-projective sketches<\/jats:italic> was defined in Part I; in this paper, <jats:italic>dynamic evaluation<\/jats:italic> is introduced. It deals with more general structures, which may have no initial model. Until now, this process has not been used in algebraic specification systems, but computer algebra systems are beginning to use it as a basic tool. Finally, we give some applications of dynamic evaluation to computation in field extensions.<\/jats:p>","DOI":"10.1017\/s096012950000044x","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T09:01:15Z","timestamp":1236157275000},"page":"239-271","source":"Crossref","is-referenced-by-count":14,"title":["Sketches and computation \u2013 II: dynamic evaluation and applications"],"prefix":"10.1017","volume":"4","author":[{"given":"Dominique","family":"Duval","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Claude","family":"Reynaud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S096012950000044X_ref022","doi-asserted-by":"publisher","DOI":"10.1145\/43908.43910"},{"key":"S096012950000044X_ref020","unstructured":"Roch J.-L. (1986) Calcul avec des nombres alg\u00e9briques sous Reduce. Rapport de projet, ENSIMAG, Grenoble."},{"key":"S096012950000044X_ref016","volume-title":"Axiom. The Scientific Computation System","author":"Jenks","year":"1992"},{"key":"S096012950000044X_ref017","volume-title":"Diagrammes","author":"Lair","year":"1983"},{"key":"S096012950000044X_ref014","doi-asserted-by":"publisher","DOI":"10.1145\/74540.74558"},{"key":"S096012950000044X_ref021","volume-title":"Sur le calcul des places et des anneaux d\u2019entiers d\u2019un corps de functions alg\u00e9briques","author":"Rybowicz","year":"1990"},{"key":"S096012950000044X_ref011","unstructured":"Duval D. and S\u00e9n\u00e9chaud P. (1991) Sketches and parametrization. Theoretical Computer Science. (To appear)"},{"key":"S096012950000044X_ref007","unstructured":"Duval D. and Gonzalez-Vega L. (1993) Dynamic evaluation and real closure. Proceedings of IMACS\u201993."},{"key":"S096012950000044X_ref005","volume-title":"Cat\u00e9gories localisables","author":"Diers","year":"1977"},{"key":"S096012950000044X_ref009","volume-title":"Sketches and computation","author":"Duval","year":"1991"},{"key":"S096012950000044X_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-51084-2_41"},{"key":"S096012950000044X_ref002","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15984-3_279"},{"key":"S096012950000044X_ref006","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-9647-5_36"},{"key":"S096012950000044X_ref015","volume-title":"Diagrammes","author":"Guitart","year":"1980"},{"key":"S096012950000044X_ref012","unstructured":"Futamura Y. (1988) Program evaluation and generalized partial computation. Proceedings of the international conference on fifth generation computer systems, ICOT 685\u2013692."},{"key":"S096012950000044X_ref001","unstructured":"Barkatou M. A. (1989) Contribution \u00e0 l\u2018\u00e9tude des \u00e9quations diff\u00e9rentielles et aux diff\u00e9rences dans lechamp complexe, Th\u00e9se, Institut National Polytechnique de Grenoble."},{"key":"S096012950000044X_ref019","doi-asserted-by":"publisher","DOI":"10.1145\/143242.143312"},{"key":"S096012950000044X_ref003","first-page":"54","volume-title":"Computers and computing","author":"Dicrescenzo","year":"1985"},{"key":"S096012950000044X_ref008","first-page":"15","article-title":"Esquisses et Calcul","volume":"VII","author":"Duval","year":"1989","journal-title":"Annales Universit\u00e9 de Caen"},{"key":"S096012950000044X_ref018","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"S096012950000044X_ref013","unstructured":"Gomez-Diaz T. (1993) Examples of using dynamic constructible closure. Proceedings of IMACS\u201993."},{"key":"S096012950000044X_ref010","first-page":"185","article-title":"Sketches and computation - Part I: basic definitions and staticevaluation","volume":"4","author":"Duval","year":"1994","journal-title":"MSCS"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S096012950000044X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T03:49:29Z","timestamp":1557892169000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S096012950000044X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,6]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,6]]}},"alternative-id":["S096012950000044X"],"URL":"https:\/\/doi.org\/10.1017\/s096012950000044x","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,6]]}}}