{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T03:33:47Z","timestamp":1770348827444,"version":"3.49.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"value":"354018712X","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022125","type":"book-chapter","created":{"date-parts":[[2006,1,12]],"date-time":"2006-01-12T11:45:40Z","timestamp":1137066340000},"page":"327-335","source":"Crossref","is-referenced-by-count":4,"title":["An execution environment for the formal definition of Ada"],"prefix":"10.1007","author":[{"given":"A.","family":"Fantechi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Gnesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"U.","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","unstructured":"\"The Formal Definition of Ada Dynamic Semantics\", Deliverables 15 and 16 of the CEC MAP project: The Draft Formal Definition of ANSI\/MIL-STD 1815A Ada."},{"key":"33_CR2","unstructured":"Astesiano, E., Giovini, A., Inverardi, P., Mazzanti, F., Reggio, G. and Zucca, E. \"Final Specification Language\", Deliverable 9 of the CEC MAP project: The Draft Formal Definition of ANSI\/MIL-STD 1815A Ada."},{"key":"33_CR3","unstructured":"Astesiano, E., Giovini, A., Mazzanti, F., Reggio, G. and Zucca, E. \"The Ada Challenge for new Formal Semantic Techniques\". Proc. Ada-Europe Conference, Edinburgh, (1986)."},{"key":"33_CR4","unstructured":"Astesiano, E. and Reggio, G. \"A Syntax-Directed Approach to the Semantics of Concurrent Languages\". Proc. 10th IFIP Wold Congress, Dublin, (1986), pp.571\u2013576."},{"key":"33_CR5","unstructured":"Fantechi, A., Gnesi, S., Inverardi, P., Mazzanti, F., \"Feasibility of a mapping from the Ada Formal Definition to the NYU SETL Interpreter for Ada\", Deliverable 30 of the CEC MAP project: The Draft Formal Definition of ANSI\/MIL-STD 1815A Ada."},{"key":"33_CR6","unstructured":"Fantechi, A., Gnesi, S., Inverardi, P., Mazzanti, F., \"Feasibility of ACVC validation with respect to the Ada Formal Definition\", Deliverable 30 of the CEC MAP project: The Draft Formal Definition of ANSI\/MIL-STD 1815A Ada."},{"key":"33_CR7","unstructured":"Gallo, T., Giovini, A., Manfredi, F., Papa, M.P., \"Ada FD Tool set: Architecture and Preliminary Design\", Deliverable 20 of the CEC MAP project: The Draft Formal Definition of ANSI\/MIL-STD 1815A Ada."},{"key":"33_CR8","volume-title":"Formal Language Theory","author":"G. Huet","year":"1980","unstructured":"Huet, G., Oppen, D.C., \"Equations and Rewrite Rules \u2014 A survey\" in Book, R.V. ed., \"Formal Language Theory\", Academic Press, New York 1980."},{"key":"33_CR9","doi-asserted-by":"crossref","unstructured":"Hussmann, H., \"Unification in Conditional-Equational Theories\", EUROCAL'85, LNCS 204, 543\u2013553.","DOI":"10.1007\/3-540-15984-3_328"},{"issue":"2\u20133","key":"33_CR10","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(84)90087-2","volume":"33","author":"S. Kaplan","year":"1984","unstructured":"Kaplan, S., \"Conditional Rewrite Rules\", Theoretical Computer Science, 33, 2\u20133, (1984), 175\u2013193.","journal-title":"Theoretical Computer Science"},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"Lescanne, P., \"Computer Experiments with the REVE Term Rewriting System Generator\", Proc. 10th Symp. on Principles of Programming Languages, ACM, Austin TX, USA, 1983, 99\u2013108.","DOI":"10.1145\/567067.567078"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"Shapiro, E., \"Algorithmic Program Debugging\", MIT Press, Cambridge, Massachussetts, (1982).","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"33_CR13","unstructured":"Safra, S., Shapiro, E., \"Meta Interpreters for Real\". Proc. 10th IFIP Wold Congress, Dublin, (1986) pp.271\u2013278."},{"key":"33_CR14","unstructured":"Stirling, L., \"Expert System = Knowledge + Meta-interpreter\", Dept. of Applied Mathematics, The Weizmann Institute of Science, Internal Report CS84-17."},{"key":"33_CR15","unstructured":"van Emden, M. H., Yukawa, K., \"Equational logic programming\", Dept. of Comp. Sci., University of Waterloo, Canada, Technical Report CS-86-05, March 1986."}],"container-title":["Lecture Notes in Computer Science","ESEC '87"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T02:33:10Z","timestamp":1736217190000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354018712X"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0022125","relation":{},"subject":[]}}