{"entities":{"Q801659":{"pageid":803507,"ns":120,"title":"Item:Q801659","lastrevid":64442325,"modified":"2026-04-11T19:53:44Z","type":"item","id":"Q801659","labels":{"en":{"language":"en","value":"One approach to the specification and verification of translators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880070"}},"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":"Q801659$7720BF7C-7D6D-4A5F-996F-B3A6F92F7948","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07a7ac6e1c9ce33c61205da16b33b74829d79b08","datavalue":{"value":{"text":"One approach to the specification and verification of translators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801659$341D623D-5094-48AA-829F-9DD38C36D34E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26a2348e265db3542d28e03c501a34e341acacc7","datavalue":{"value":"0552.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801659$1488E27F-9CE4-4540-92CC-E839C21F9C84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f12ab6a50dca285e32f059f3cef41583e61bc6ed","datavalue":{"value":{"entity-type":"item","numeric-id":174086,"id":"Q174086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801659$573E31A8-7D2A-4D56-BB3A-303EDC717CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"051462c66a3c1f7616f820e39aae5bde172c6e58","datavalue":{"value":{"entity-type":"item","numeric-id":801658,"id":"Q801658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801659$08B56C03-0FDB-47C9-9B18-BF26B5D3B58D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801659$ED4B8C4F-2654-4548-AEE6-DA26FF1D88CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q801659$1C5E7482-05CD-4369-ADE4-C83D5E411154","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20a75daecfe4ccb190ba1420aa46d3fade5ff376","datavalue":{"value":"An approach to specifying and verifying a translator is described using as an example the translator of a subset of BASIC. Facilities are listed for constructing formal specifications of the scanner, syntactic and semantic analyzer, and code generator. The method of inductive statements is used for verification. The correctness of the specifications is machine tested.","type":"string"},"datatype":"string"},"type":"statement","id":"Q801659$FADA2F59-27DD-492B-BE84-299E789C0DB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801659$DFB42130-BD63-42B7-8B32-15CDE130773F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801659$75D13C79-2548-4793-BB77-2E1D4BAB8402","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7a02b300a4dc31e8a0123a83580abecf859368a","datavalue":{"value":"3880070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801659$12CA59DF-5A6D-4D40-88CC-C4CCEA436585","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae9fbf8bbd300dd3ec4bf87d5267ef3bef76db24","datavalue":{"value":"specification and verification of translators","type":"string"},"datatype":"string"},"type":"statement","id":"Q801659$176AA28D-BF5F-46F9-9395-7727C5D3C4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"158d6accaee3969a496cf0ce0a7be77a5f266556","datavalue":{"value":"verification of large programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q801659$0AA7CDCA-4092-4EB0-BF91-3EF95811FD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02a6a6cfdf85ac50635041cb8ad683812bdc9544","datavalue":{"value":"syntactic and semantic analyzer","type":"string"},"datatype":"string"},"type":"statement","id":"Q801659$65EB9B0C-B3FB-46E2-A606-C976201FCF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q801659$F98F9F0F-3EBA-4DA8-8E37-5848BF6B8846","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":"Q801659$D87C04F8-5AA4-409C-A640-8DFE67CCD76F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a78656e009a875f791fb00201d65f8f9e3e67b0","datavalue":{"value":{"entity-type":"item","numeric-id":3200537,"id":"Q3200537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f1a753fc68521cd245b11054f6fc75a200392d","datavalue":{"value":{"amount":"+0.735248327255249","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":"Q801659$D902C9EB-93C8-4C1B-B437-2C114B2647A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11408dd6eb63e6af3770ee4f45371eb4682c5354","datavalue":{"value":{"entity-type":"item","numeric-id":3152931,"id":"Q3152931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8f38c88aeb061fb265f1ac48ab4f27fa755447","datavalue":{"value":{"amount":"+0.7336108088493347","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":"Q801659$20BCD4F3-D10F-4082-9257-AA6497BF0E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7a2be34ae3ea4bac90f21bd4f4bc1e9bbcf001","datavalue":{"value":{"entity-type":"item","numeric-id":5394193,"id":"Q5394193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b6d32ee15de0a7ebf888d58563ea4d63fb4c28","datavalue":{"value":{"amount":"+0.72948157787323","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":"Q801659$FE9853DB-7E8C-4B24-B364-3081CFC57EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b145a259b764044b9a0bf8c27ec008e0e79a818","datavalue":{"value":{"entity-type":"item","numeric-id":3719796,"id":"Q3719796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59e715302984874c9c614724b00caa839e862b5","datavalue":{"value":{"amount":"+0.7286164164543152","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":"Q801659$AF949BDC-5865-462B-A7EA-D4BD6325EAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729044d297e39b03dab2cfb6ca2442c52d6bfb6c","datavalue":{"value":{"entity-type":"item","numeric-id":1183788,"id":"Q1183788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"422591caaa129c9fd6e9cca3cee94fbffb354bb6","datavalue":{"value":{"amount":"+0.72780841588974","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":"Q801659$D86054F5-21F4-4FB6-BF0C-5312F6F5DD34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"One approach to the specification and verification of translators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/One_approach_to_the_specification_and_verification_of_translators"}}}}}