{"entities":{"Q1582979":{"pageid":1593719,"ns":120,"title":"Item:Q1582979","lastrevid":67953699,"modified":"2026-04-12T20:27:37Z","type":"item","id":"Q1582979","labels":{"en":{"language":"en","value":"Semantics, applications, and implementation of program generation. International workshop, SAIG 2000, Montr\u00e8al, Canada, September 20, 2000. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1519450"}},"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":"Q1582979$8745904F-D5A7-49AB-BDF9-E00FEAAB006E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fe9be3f3b25b69fa180823df0360a3e7a066e72","datavalue":{"value":{"text":"Semantics, applications, and implementation of program generation. International workshop, SAIG 2000, Montr\u00e8al, Canada, September 20, 2000. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1582979$B87E2260-B5EB-46DE-AB12-12712E7A86CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e9d5e4d22f5fd0bc439ac100dd410433d632cbc","datavalue":{"value":"0947.00043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582979$E4065869-AFC3-488D-8621-3332B510B233","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c574925db94db86883e4de3c62693b2366e52a00","datavalue":{"value":"10.1007/3-540-45350-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582979$ED5E98C4-A49C-4B79-B51C-EC9228F2621F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582979$6D00A06D-CE0C-4F7A-BE10-9B633CDAA312","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d142b1df5744501b8c2c66aa20cc87664cc9f4f","datavalue":{"value":{"time":"+2000-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1582979$EB568CEC-4F03-4F8D-891F-1D6C5EAC4122","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0c39afde05eb30bc5e2f42c6ef63275be99cce53","datavalue":{"value":"The articles of mathematical interest will be reviewed individually.  Indexed articles:  \\textit{Kieburtz, Richard B.}, Implementing closed domain-specific languages (abstract of invited talk), 1-2 [Zbl 1044.68530]  \\textit{Batory, Don}, Refinements and product line architectures (abstract of invited talk), 3-4 [Zbl 1044.68526]  \\textit{Pfenning, Frank}, Reasoning about staged computation (abstract of invited talk), 5-6 [Zbl 1044.68555]  \\textit{Muller, Gilles}, Specialization of systems programs: Lessons and perspectives (abstract of invited talk), 7-8 [Zbl 1044.68531]  \\textit{Elliott, Conal; Finne, Sigbj\u00f8rn; de Moor, Oege}, Compiling embedded languages, 9-27 [Zbl 1044.68545]  \\textit{Kamin, Sam; Callahan, Miranda; Clausen, Lars}, Lightweight and generative components. II: Binary-level components, 28-50 [Zbl 1044.68529]  \\textit{Helsen, Simon; Thiemann, Peter}, Fragmental specialization, 51-71 [Zbl 1044.68528]  \\textit{Song, Litong; Futamura, Yoshihiko}, A new termination approach for specialization, 72-91 [Zbl 1044.68533]  \\textit{Calcagno, Cristiano; Moggi, Eugenio}, Multi-stage imperative languages: A conservative extension result, 92-107 [Zbl 1044.68025]  \\textit{Fischbach, Adam; Hannan, John}, Specification and correctness of lambda lifting, 108-128 [Zbl 1044.68027]  \\textit{Makholm, Henning}, On Jones-optimal specialization for strongly typed languages, 129-148 [Zbl 1044.68554]  \\textit{Ramsey, Norman}, Pragmatic aspects of reusable program generators (position paper), 149-171 [Zbl 1044.68532]  \\textit{Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio; Giannini, Paola}, Type-based useless-code elimination for functional programs (position paper), 172-189 [Zbl 1044.68542]  \\textit{Vuduc, Richard; Demmel, James W.}, Code generators for automatic tuning of numerical kernels: Experiences with FFTW (position paper), 190-211 [Zbl 1044.68534]  \\textit{Fischer, Bernd; Schumann, Johann; Pressburger, Tom}, Generating data analysis programs from statistical models (position paper), 212-229 [Zbl 1044.68527]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582979$96C739D2-1E5A-4441-B553-75E6B5BC6724","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582979$DAB9C5B1-E3A4-4697-A900-4439A6A9D6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582979$75A7AE52-29BB-430D-A3B3-C29540752830","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1406b09ace313928b7fe18bc499eea792577f0f4","datavalue":{"value":"1519450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582979$9B443F57-6746-4DD4-A421-1D47EB5C75EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f879fa3f41640f9898655dbd5738e71d46a3e430","datavalue":{"value":"Montr\u00e8al (Canada)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582979$2F1F52BF-023D-463D-9416-4B46535CD15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582979$40991FE8-9E5A-4FC6-8E68-4D4E6D23A901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582979$A39ADE76-3829-44FF-9C1D-9A4F096BABDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e866992e90e0e469878bdefd9a259d6cadb25eb","datavalue":{"value":"SAIG 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582979$D9C151F3-C0A6-4352-8FB4-190DBDEA47CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e701bb48ce6c9960ab09d79f6d35bcf4e4041541","datavalue":{"value":"Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582979$15BA0F14-2674-4014-92B2-CA4D31CEA50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e075df45e33aa8084f7ed7efb2599b4fa7c284ec","datavalue":{"value":"Program generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582979$4A9FE4F9-F2E2-408C-9D2A-5BE5B039EE95","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":"Q1582979$EE1ECA1C-DED9-4696-99EE-EEFAE53A898B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c13192805d14a2513cd16f3e135e1b4e09b544f1","datavalue":{"value":"https://doi.org/10.1007/3-540-45350-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1582979$CCE92D82-352B-4E46-BCB7-747FCBC0522E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d36738c2282f8111358d54a17211acade3b0629","datavalue":{"value":"W4231003797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582979$3DC4544A-B2CB-43A9-82F9-2EAC9B1BB4AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c7fd1fd56c66a39ef56f9b78368c76e944e4923","datavalue":{"value":{"entity-type":"item","numeric-id":5947959,"id":"Q5947959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73da2c807bd2253558d78fd9fa4ddbf1b00c6713","datavalue":{"value":{"amount":"+0.9217291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1582979$F5E70031-97FC-4F50-A4F1-4C857CF24EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d26fcdad111e02a69b42d93f4b68dbd1f67254e","datavalue":{"value":{"entity-type":"item","numeric-id":4738444,"id":"Q4738444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94b5d76284d15986541105453664708ba5917e1","datavalue":{"value":{"amount":"+0.79525805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1582979$B317CDC3-3F77-4831-A1B9-B0796B702AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2fc6cf8d250f3b539de72e8cd8412b78265be0","datavalue":{"value":{"entity-type":"item","numeric-id":4023429,"id":"Q4023429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a835479428521822172af6dcd79aa83343b8f4","datavalue":{"value":{"amount":"+0.79171073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1582979$FB5D8E7F-E348-406E-A6C0-FE14D3A0712F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de3aa8142adc19e5452d2ab33efd646d4e6d8f2","datavalue":{"value":{"entity-type":"item","numeric-id":898308,"id":"Q898308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2166332d15dbf19a8311dff197fe694fbad52209","datavalue":{"value":{"amount":"+0.7867445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1582979$FFC1D460-332E-44E4-975C-3C7C5304E7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a97e608eb3c55d9ca4f3b8a9fcd38ebc8645b0","datavalue":{"value":{"entity-type":"item","numeric-id":1872616,"id":"Q1872616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45e433c5f7e5d0428ffbb2295e7dd0ed3841fec","datavalue":{"value":{"amount":"+0.78560024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1582979$59E725CF-0055-405C-9B63-5E1B2489E75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91755d699ee9e674ce4082d73ae87e692ccb9ada","datavalue":{"value":{"entity-type":"item","numeric-id":3141064,"id":"Q3141064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f29c1d2fb185170cffbf57e54e9fb97a2a5157","datavalue":{"value":{"amount":"+0.7845019","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1582979$3A70F745-2996-4DEB-8813-E6EF39ABE2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4eb470758097113c22a92d97ef900dd5461777","datavalue":{"value":{"entity-type":"item","numeric-id":5746214,"id":"Q5746214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afafca655744696177937a00550abd37d9e3565e","datavalue":{"value":{"amount":"+0.7843944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1582979$0A33ED52-E7F8-4E92-9C2E-28DCC72E0383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62e2db62ac81c86c28ad365aced074c2b75d897e","datavalue":{"value":{"entity-type":"item","numeric-id":1948368,"id":"Q1948368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"713b7e0704ce33f251f60ab4592ede02a2ff9a09","datavalue":{"value":{"amount":"+0.77382505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1582979$A8D75EF2-CBD8-49E6-BB5D-08F14333C1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f2827769ee99268bfc29d5e4c3525cbaff3245e","datavalue":{"value":{"entity-type":"item","numeric-id":4277822,"id":"Q4277822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbca0df076a00f6bce0ca60a526068d184520a4b","datavalue":{"value":{"amount":"+0.7735279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1582979$217D02F8-DA16-4ADE-AA2C-D95736E804C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"000641f5981fd71a1f37b889e56103cae8b2afb3","datavalue":{"value":{"entity-type":"item","numeric-id":1314540,"id":"Q1314540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f140ffd7756688f2e1da7a601d45f1f09252f1","datavalue":{"value":{"amount":"+0.7701471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1582979$D6E5B0BC-422C-4B47-8D19-504240A1AC05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics, applications, and implementation of program generation. International workshop, SAIG 2000, Montr\u00e8al, Canada, September 20, 2000. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics,_applications,_and_implementation_of_program_generation._International_workshop,_SAIG_2000,_Montr%C3%A8al,_Canada,_September_20,_2000._Proceedings"}}}}}