{"entities":{"Q1853753":{"pageid":1864495,"ns":120,"title":"Item:Q1853753","lastrevid":69359844,"modified":"2026-04-13T06:28:25Z","type":"item","id":"Q1853753","labels":{"en":{"language":"en","value":"Specification languages in algebraic compilers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857231"}},"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":"Q1853753$D7A5F7EA-F324-4212-B46A-3163AECAAD7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b0403a4934bd4cd5069a69902339a593ddc70b5","datavalue":{"value":{"text":"Specification languages in algebraic compilers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853753$3B886B12-D953-4A89-BCC3-8F4191F7F81F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68aa6b73fdf5c0394dee1e9938d50987ab61989b","datavalue":{"value":"1008.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853753$03E605E3-6739-4551-80D4-1DEA5B07AEA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ddfe91b74af24ce00b0a9418923de81c65a12ad","datavalue":{"value":"10.1016/S0304-3975(02)00367-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853753$B8631209-0D25-437B-93CE-C92689ECE96B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96501349286f24561e253150e96715ba9069752e","datavalue":{"value":{"entity-type":"item","numeric-id":995472,"id":"Q995472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$377B56DB-68AE-4E63-B4BA-41D3D483DE2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$1900A5CD-306F-474B-89A1-1187A1CA63C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe4d656bc753de8fe63b9c6415e1533c06bac5d3","datavalue":{"value":{"time":"+2003-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853753$C0AC3FFF-3F16-43F3-ADAF-5109A4CB2545","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bbf7bee63d771b5ca3ee8618d3334b0887dee740","datavalue":{"value":"Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for constructing its target language image; these associated computations, called derived operations, are expressed in terms of operations from the target language. Sometimes the target language is not powerful enough to specify the required translation and one may then need to extend the target language algebras with more computationally expressive operations or elements. A better solution is to package these extensions in a specification language which can be composed with the target language to ensure that all operations and elements needed or desired for performing the translation are provided. In the example in this paper, we show how imperative and functional specification languages can be composed with a target language to implement a temporal logic model checker as an algebraic compiler and show how specification languages can be seen as components to be combined with a source and target language to generate an algebraic compiler.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853753$793DEEC3-6BBF-49DA-AF02-473583775219","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853753$9BC653D1-325E-4BB8-9D4A-CA4537E12642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853753$65800EE3-85D3-41DD-BEF6-3B5B1C9E0DF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1db25a5c44b28c52457b9309cbf6f2f9c06f6bd","datavalue":{"value":"1857231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853753$7AC5839C-71CA-4F51-A5A9-B9FFD8FBF687","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb0f4881450a67d699ffecfa7ed9b715a8d6a2a5","datavalue":{"value":"algebraic compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853753$8E2034AD-CAE0-48E6-9DE8-3C4D83819FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853753$D8BDDC83-19D6-41AA-9145-82833DC47C8C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aa69e2b0629b0ce0266390931aa92f16111fdc92","datavalue":{"value":"Q122662221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853753$A0F3E7C4-86C9-4E7E-8313-A4A67BB73A92","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":"Q1853753$F04D161B-E6BB-4E21-9BC3-4C1C69C1E9E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$59134E2F-AC35-48A5-96C6-3989390C51B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9eef9c495402e749c4874dcccd1d47440e74be","datavalue":{"value":{"entity-type":"item","numeric-id":3657411,"id":"Q3657411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$0909AFB5-C521-4C2F-8E5D-21725B9958F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$DE8643D7-BBDD-4EB3-8B8A-03428A31E84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9ae9d25c165776926d92ae2f293b4bf9587937","datavalue":{"value":{"entity-type":"item","numeric-id":5727668,"id":"Q5727668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$8DD55A46-640E-4FCB-9169-3CF6F4A390DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e6d6d678c66a8f67b32f0421bc8641276b0bcd","datavalue":{"value":{"entity-type":"item","numeric-id":1129121,"id":"Q1129121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$2AF3AA7A-2F44-421B-BEDC-7B41C5A4FAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ffad56ff7cb3f1b7bce5a75e03b0b6586eb531","datavalue":{"value":{"entity-type":"item","numeric-id":5555691,"id":"Q5555691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$69930AEE-41AA-4050-AD08-1BB87C2DCD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$20D9260A-8852-41BF-B90E-0FD21A77221D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eb2a9a7a520d77b4796463f1d4ea16220e9feb1","datavalue":{"value":{"entity-type":"item","numeric-id":2764063,"id":"Q2764063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$D9B5631F-A234-47B1-A36F-0AE781E68D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba92eec583cfc7dd408ef1afd95798c32a3ef4ff","datavalue":{"value":{"entity-type":"item","numeric-id":5519607,"id":"Q5519607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$86265DDA-F5CB-4E5F-9859-00EBA3FBD595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7a0129bdfe9120ec2e897bd8cec567c6f7441","datavalue":{"value":{"entity-type":"item","numeric-id":3283212,"id":"Q3283212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$AA2F29B1-3F92-4BF4-9408-B8DFD393D124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569da58b44312916204bc6f9aadb8ced710ca85b","datavalue":{"value":{"entity-type":"item","numeric-id":2723887,"id":"Q2723887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$359DD0D9-B0AD-46A8-A6DB-926D4CB459DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ac9603abd6f7de6f4a20233ef4e949886e94f","datavalue":{"value":{"entity-type":"item","numeric-id":4068067,"id":"Q4068067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$94E17F85-7DBA-4B18-99A1-E2AC227AFB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f05d370e742db25d8daf3b0874c29af265906af6","datavalue":{"value":{"entity-type":"item","numeric-id":4023578,"id":"Q4023578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$DD1E7064-86E6-43A9-A570-98C8EBC74398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fbce2aa44fc39e3e07479af01bbb0464c1c5471","datavalue":{"value":{"entity-type":"item","numeric-id":1183579,"id":"Q1183579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$C8AA05F7-61DF-4291-ABD4-D5E8431C69EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7114325db70ac439ac666899661bea23ea4f02a0","datavalue":{"value":{"entity-type":"item","numeric-id":1129126,"id":"Q1129126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$09BF18B5-FAFE-4DBC-A940-4E3E5585B711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1395017efb13c41d69e31831caa310b06892859","datavalue":{"value":{"entity-type":"item","numeric-id":1600653,"id":"Q1600653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$16D7E7D5-1CE9-40C7-9D60-CF345C1AA033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae86f7f9a887a687514e908a95983eb040c75aa9","datavalue":{"value":{"entity-type":"item","numeric-id":1330457,"id":"Q1330457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$A31F6CDE-4A4A-4B4F-A39B-8BA50EA63B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aaa22e0033a9c47a0f8838f6fd2b488f95c2007","datavalue":{"value":{"entity-type":"item","numeric-id":4199499,"id":"Q4199499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$F16A2E02-D3C4-41F7-809E-0D19ECD5CC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"001c0c42dc796f29bd55d6e1a8e95a2dcd6bf39a","datavalue":{"value":{"entity-type":"item","numeric-id":2767169,"id":"Q2767169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$D2DFC82A-8E47-4070-A40F-95A1EC9F3039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497d2c91cd4fda8b3433bddc63c8bfecd5c0044b","datavalue":{"value":{"entity-type":"item","numeric-id":4738382,"id":"Q4738382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$80A5397A-545C-4357-BEB3-2A06B4B11184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"469e8e0e732e6fee1f70bc7c9701e39e3b08d3cb","datavalue":{"value":{"entity-type":"item","numeric-id":3787439,"id":"Q3787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853753$96EF3A10-D575-4274-BB94-A2E8827F1B9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b1b23387ea13fa107119de283f96859ce3392da","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(02)00367-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853753$9275D751-A210-4624-9108-AD9C05C06091","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"753eda1cea4e020ccf0bb72f7ed19b3e80a2414c","datavalue":{"value":"W2032270124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853753$8F4114DC-B6D1-4B59-8FA4-A363810081B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69aee9ab7d670033aeeff323b3eee848f4d73a8c","datavalue":{"value":{"entity-type":"item","numeric-id":2767169,"id":"Q2767169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d14b3cc417e4694654428da5ccdb3e500e9ca8","datavalue":{"value":{"amount":"+0.9001289010047913","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":"Q1853753$569CB6BD-5FAC-4213-9287-0C2385E428A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"383060196ad085683e5c438e775f8792873d6ace","datavalue":{"value":{"entity-type":"item","numeric-id":5309592,"id":"Q5309592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca8fbd88392cc3180889a373682a64b8f7338ede","datavalue":{"value":{"amount":"+0.8222857713699341","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":"Q1853753$34B6BAF9-D5A6-4964-891B-472FED38EECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db0be89444893886ee13a7388c8802892c80ed6","datavalue":{"value":{"entity-type":"item","numeric-id":1183579,"id":"Q1183579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12af2f6a0a1cdd73214438e0f0175fe75b793e9","datavalue":{"value":{"amount":"+0.7917365431785583","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":"Q1853753$8A515D43-BC1E-4858-8433-F227FF6FA06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12594350622ee7fa468b6ab4ca61e35ceb133f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1080652,"id":"Q1080652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12af2f6a0a1cdd73214438e0f0175fe75b793e9","datavalue":{"value":{"amount":"+0.7917365431785583","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":"Q1853753$97246718-6CB8-4CDD-BA5D-490748ABEE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5651a3859cd5370e6d57a0e9f77719e4a21ded3","datavalue":{"value":{"entity-type":"item","numeric-id":5754533,"id":"Q5754533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659c7606f49fc5b8a3012516191bf8aeb830de4a","datavalue":{"value":{"amount":"+0.780140221118927","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":"Q1853753$D7E9D304-4D0C-41E5-9825-9C0947EF5864","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification languages in algebraic compilers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specification_languages_in_algebraic_compilers"}}}}}