{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T20:48:10Z","timestamp":1725396490889},"reference-count":28,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.1989.65123","type":"proceedings-article","created":{"date-parts":[[2003,1,7]],"date-time":"2003-01-07T14:15:12Z","timestamp":1041948912000},"page":"439-446","source":"Crossref","is-referenced-by-count":4,"title":["Rapid prototyping of programming language semantics using Prolog"],"prefix":"10.1109","author":[{"given":"B.R.","family":"Bryant","sequence":"first","affiliation":[]},{"given":"A.","family":"Pan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Functional Programming and its Applications An Advanced Course","year":"1982","author":"darlington","key":"ref10"},{"journal-title":"Logic Programming Relations Functions and Equations","year":"1986","author":"degroot","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"journal-title":"Introduction to Logic Programming","year":"1984","author":"hogger","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF00288746"},{"journal-title":"YACC Yet another compiler compiler","year":"1975","author":"johnson","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BF01692511"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319866"},{"key":"ref18","first-page":"184","article-title":"A Proposal for Standard ML","author":"robin","year":"1984","journal-title":"Proceedings of the ACM Conference on Lisp and Functional Programming"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(86)90006-X"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380160104"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/367236.367262"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380100203"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/357162.357170"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/322609.322795"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(86)90010-X"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/22719.22946"},{"journal-title":"Implementations of Prolog","year":"1984","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/26.2.164"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1987-0"},{"journal-title":"Compilers Principles Techniques and Tools","year":"1986","author":"aho","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/22.1.63"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/502874.502883"},{"journal-title":"The Implementation of Functional Programming Languages","year":"1987","author":"peyton-jones","key":"ref21"},{"journal-title":"Denotational Semantics A Methodology for Language Development","year":"1986","author":"schmidt","key":"ref24"},{"journal-title":"Proc 8th ACM Symp Principles of Programming Languages","article-title":"Program Verification Based on Denotational Semantics","year":"1981","author":"wolfgang","key":"ref23"},{"journal-title":"The Ada Programming Language Reference Manual","year":"1983","key":"ref26"},{"key":"ref25","first-page":"19","article-title":"Towards a Mathematical Semantics for Computer Languages","author":"scott","year":"1971","journal-title":"Proc Symp on Computers and Automata"}],"event":{"name":"[1989] Thirteenth Annual International Computer Software & Applications Conference","location":"Orlando, FL, USA"},"container-title":["[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/253\/2358\/00065123.pdf?arnumber=65123","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T02:40:16Z","timestamp":1489027216000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/65123\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.1989.65123","relation":{},"subject":[]}}