{"entities":{"Q1123586":{"pageid":1134335,"ns":120,"title":"Item:Q1123586","lastrevid":67051017,"modified":"2026-04-12T14:36:21Z","type":"item","id":"Q1123586","labels":{"en":{"language":"en","value":"Refined compilation of pattern-matching for functional languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110068"}},"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":"Q1123586$1FD66109-56DE-4D78-94D9-32E8D77EE5A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a74dfdd7e208ad2558dddf6f0ea903a5e26ab7c9","datavalue":{"value":{"text":"Refined compilation of pattern-matching for functional languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1123586$D0D54B6A-F1A2-4D43-985E-1B899D823F6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7380f03ab8af3f5b7269637addb55a636582d0c4","datavalue":{"value":"0677.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123586$1AF10583-B42E-4842-8CAB-17704F084C21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90661029fdef0fa824ff3cf45c4be5e6020e58f3","datavalue":{"value":"10.1016/0167-6423(88)90002-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123586$EFB30628-5EE8-43C4-95DA-13F797866D41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123586$D0537666-CD36-4E3D-8FE4-76A18D989286","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":"Q1123586$217DB1C1-FC11-4307-88BF-060BC1380D4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1123586$19A361CF-36B1-4599-AD6F-04439811C40D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"36a022b20758efb40f5c2b4b2aa6acfad55b59a4","datavalue":{"value":"Gegenstand des Papiers ist ein Algorithmus, der auf pattern-matching basierende Funktionsdefinitionen funktionaler Sprachen in sogenannte imperative Ausdr\u00fccke \u00fcbersetzt. Die Semantik der Quellsprachen- Funktionen ist durch einen call-by-value Term-Ersetzungsproze\u00df definiert; die Zielsprache besteht aus geschachtelten if-then-else- Ausdr\u00fccken. Als wesentliche Neuerung gegen\u00fcber den in der Literatur bisher behandelten \u00dcbersetzungsalgorithmen akzeptiert der hier vorgestellte Algorithmus neben den Term-Ersetzungsregeln der Funktion als weiteren Parameter eine Beschreibung der m\u00f6glichen Argumente (domain). Dieser zus\u00e4tzliche Parameter f\u00fchrt zu einer einfachen Formulierung des Algorithmus und erm\u00f6glicht au\u00dferdem die Erzeugung von effizienteren Zielsprachenprogrammen. Ausgehend von Aufwandsbetrachtungen entwickelt der Autor eine Heuristik, die die Effizienz des Algorithmus verbessert. Erweiterungen der Quellsprache mit Teilmengentypen (subtypes), Gleichungen (equations between constructors) und bedingten Term-Ersetzungsregeln (conditional rewrite rules), die ohne gro\u00dfe \u00c4nderungen am Algorithmus \u00fcbersetzt werden k\u00f6nnen, demonstrieren die Bedeutung des Verfahrens f\u00fcr die Implementierung funktionaler Sprachen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123586$AEDFBF2D-89AC-442C-993A-9CE57BB3CBD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123586$162E85D0-C1F8-424F-AAD3-2B7A5CB40D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123586$9530210B-7A6F-402C-84B5-DA85B6C9BBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123586$7BD1CF93-D885-4F91-BB7E-099AB3BF0026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123586$B5C3D178-550E-401B-8A45-A0C7842AC982","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1b1c7e762dde1cd96c475224ce77d5dc2b60d6f","datavalue":{"value":"4110068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123586$797CBBBA-276A-4723-84A4-364D8B8DD2CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6994160a73e2ac5e1968b6d67e1b2ffa55636f37","datavalue":{"value":"functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123586$3C28F32E-6CD1-42A7-8D23-C347C9C67149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123586$0CB34A7F-4763-4174-A080-EBDCE3BAEC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a5b93b6b263c0d3e85b8b82f3d9ccb12088104f","datavalue":{"value":"pattern-matching compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123586$A9111F71-D749-459A-8F38-CFDA42FC5A68","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2391610032135344bedf9f3d25ca239720b85d5f","datavalue":{"value":{"entity-type":"item","numeric-id":461395,"id":"Q461395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123586$49930218-165D-4490-8E75-92F25C8D894F","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":"Q1123586$F20DBA73-F67D-4965-BCCD-83A05DDFAC86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0df60aeedae85e5f64f4701da928b1b23eb59daa","datavalue":{"value":"https://doi.org/10.1016/0167-6423(88)90002-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1123586$3ACE5CAF-6047-47B2-AD5F-0F0A83F25BE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f4337daa91b7481c444b1c09cd21221ae099c6c","datavalue":{"value":"W1973765637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123586$C9F49450-AB3F-41D2-97D6-DB0388ABE5DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b9a643c208138c95f0769aadb50993cf5855dd8","datavalue":{"value":{"entity-type":"item","numeric-id":5170281,"id":"Q5170281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d5deee8a05ac3d2f532c832ee7432ff9c1d181d","datavalue":{"value":{"amount":"+0.7471440434455872","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":"Q1123586$C3FD4BF6-408A-49E3-9123-BE5463BC08DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020fe179641aa4fc9bf9202d8182fcb2f7162b2d","datavalue":{"value":{"entity-type":"item","numeric-id":2736358,"id":"Q2736358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd2996b41dd475b67f58399d422187fe4214700","datavalue":{"value":{"amount":"+0.7354040741920471","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":"Q1123586$469AF55A-FAA4-4FC2-B5C0-43F1E1A7C80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024d4ecea25ce8c05cfbfde93491e973d038bb9f","datavalue":{"value":{"entity-type":"item","numeric-id":5945841,"id":"Q5945841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d1927bc181e47863626c1879a9b140a946178a","datavalue":{"value":{"amount":"+0.7200053334236145","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":"Q1123586$DAF43218-10DB-485D-AB68-F3DEAFBEA5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5c54b609a3143f640a5267173f66a88d837bb67","datavalue":{"value":{"entity-type":"item","numeric-id":3776597,"id":"Q3776597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9bf0107f669c62553bf0bdd18bcba5a618332a3","datavalue":{"value":{"amount":"+0.7197470664978027","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":"Q1123586$84750CAF-E1D8-4042-B055-3139D8C36D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee87009eb5e6042a52ed8767b3a42262d2a1123","datavalue":{"value":{"entity-type":"item","numeric-id":1820575,"id":"Q1820575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737b843340c346dabd5698a3d03a9664fcb1582d","datavalue":{"value":{"amount":"+0.6965764164924622","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":"Q1123586$11BCB023-7CD1-4377-98DA-947205CC31F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refined compilation of pattern-matching for functional languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refined_compilation_of_pattern-matching_for_functional_languages"}}}}}