{"entities":{"Q2639631":{"pageid":2650374,"ns":120,"title":"Item:Q2639631","lastrevid":49458124,"modified":"2026-01-07T04:57:07Z","type":"item","id":"Q2639631","labels":{"en":{"language":"en","value":"Using rewriting techniques to produce code generators and proving them correct"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4185013"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639631$AF243422-9F00-4A68-87E6-1514A4B47139","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8268f017cc8ff362fb078165cd26b0076593ec3","datavalue":{"value":{"text":"Using rewriting techniques to produce code generators and proving them correct","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2639631$FEFA8242-2DC0-4F1F-898C-F655EF639790","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"098f7eaeb4a009f52681124be9badfcea79e16a0","datavalue":{"value":"0718.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639631$F16B440C-81AC-4C86-9789-938938BC4C90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"093dd1fcfd901aae5c75c4ab9e4c165ecdafee30","datavalue":{"value":"10.1016/0167-6423(90)90043-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639631$3E86151C-0744-4146-96D1-7DA62AAED705","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56a43232b90e015817dda78b05ccf659a9383af7","datavalue":{"value":{"entity-type":"item","numeric-id":2639628,"id":"Q2639628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639631$0BC19839-DDF0-4E56-BEDD-2950CF952F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be04de40e74d4008fb5773700ec389fdbb92a827","datavalue":{"value":{"entity-type":"item","numeric-id":2639629,"id":"Q2639629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639631$0D1A34F4-3BE2-43F8-A864-DFECB49B0357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9713b38c2da3db8b4c0c3e26e94564337d10a8fe","datavalue":{"value":{"entity-type":"item","numeric-id":2639630,"id":"Q2639630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639631$2C4979A8-C8B0-4A22-8F7D-18249691B917","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639631$D7B97C27-09CC-4A1B-9EC5-250870EFC87C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2639631$06E2A1EF-CE97-4931-8C9A-3757576DA86D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1270ee2183e0b8a26f5447735837392c40c3c288","datavalue":{"value":"This paper presents a solution to the problem of code-generator generation. The approach is based on a target machine description in which the basic concepts used (storage classes, access modes, instructions) are described by tree patterns that form the terms of an abstract data type. The source program is presented as an input to the code generator in an intermediate representation (IR) which is a term of the same abstract data type. The code generation consists of a rewriting process which modifies the IR until a pattern matches with an instruction template of the target machine. The axioms of the abstract data type are used to prove that the rewritings preserve the semantics of the intermediate representation. The basic concepts are illustrated by MC 68000 examples throughout the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639631$AB1575B2-CACD-4965-89DF-E6D9B6915772","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639631$96D7D402-B86C-4EB0-B655-DC74127A6DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639631$C6A15030-348F-48A2-B2FD-08ACD836F918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639631$4F56666F-360E-4465-9A4C-491493336309","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae4823a6489269134fe9ee9a377ece990884feca","datavalue":{"value":"4185013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639631$F3419087-C54A-48A4-8BF2-AE17BFE37A74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcfb0301bb17cb416489e95a0d2e3c5b1efbac9","datavalue":{"value":"rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639631$D93AAB9B-7B9C-4DFD-AD3E-D91F92593444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa9a8c1c3abfd363e0649cd0774df1099d25c1c0","datavalue":{"value":"code-generator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639631$D029944E-D123-44EC-96FE-D8AC551B56F7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2fc8522c6547fe483c0d1ae4eec1b8d9306e5db1","datavalue":{"value":{"entity-type":"item","numeric-id":290243,"id":"Q290243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639631$90E7741A-7496-4630-9BC2-2904F38BBB43","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639631$0CBD38A0-C439-49EC-85EE-1442095AF1F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b23a6d9625de05a60c7ab1795fd9f593ba3c41","datavalue":{"value":{"entity-type":"item","numeric-id":3201747,"id":"Q3201747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57275b8036ea5adc33625a5399d0e87a015c1f0b","datavalue":{"value":{"amount":"+0.8333033323287964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2639631$FE8A2DAA-8979-41B0-A916-B18928DF8D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b3359fda4d7d2097381f52637d9f89cce10596","datavalue":{"value":{"entity-type":"item","numeric-id":1121033,"id":"Q1121033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243ba18cdc4ea9beedfc97eb3e8abfd60c51275e","datavalue":{"value":{"amount":"+0.7545811533927917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2639631$9CBF776D-0787-4135-AF3C-CB656262497F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7bbc639428a02412ca7f33d85d5e318a2ef9c4f","datavalue":{"value":{"entity-type":"item","numeric-id":3201749,"id":"Q3201749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bfd39f8efdadca81e6007749495e839146fd421","datavalue":{"value":{"amount":"+0.742820143699646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2639631$739B705B-60ED-4033-8838-12BA519073ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056f53b277c498ce12c37bc234e74155b68e4027","datavalue":{"value":{"entity-type":"item","numeric-id":3221384,"id":"Q3221384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79acd4d100656925c993afe706efded353af857","datavalue":{"value":{"amount":"+0.7372921705245972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2639631$70215236-52A4-4428-B941-6246EDAEF38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe48151ebb376d54c8f462ba2eabb814b6e0efc4","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8e703bc59b5e9615f71e865c471eaf366ba4af","datavalue":{"value":{"amount":"+0.7342501282691956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2639631$EC6090BB-BD9D-4DC7-84EF-799A1E4E3A19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2639631","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2639631"}}}}}