{"entities":{"Q5933587":{"pageid":8110389,"ns":120,"title":"Item:Q5933587","lastrevid":97636976,"modified":"2026-06-05T15:08:42Z","type":"item","id":"Q5933587","labels":{"en":{"language":"en","value":"Programs as data objects. 2nd symposium, PADO 2001, Aarhus, Denmark, May 21--23, 2001. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1599486"}},"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":"Q5933587$7FC8ED27-6840-4057-9742-E54DC4D5FAFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be8bf9d7d7b0f17ade094c9b3826736d96ffe5cc","datavalue":{"value":{"text":"Programs as data objects. 2nd symposium, PADO 2001, Aarhus, Denmark, May 21--23, 2001. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5933587$F6E55C90-BB7A-496B-BC95-BA736DB03258","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e6bfbe18739721e77ee7c34d006068180d3e37b","datavalue":{"value":"0961.00027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933587$66E16B7F-6606-478D-AC4D-0F4958EDE5EE","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":"Q5933587$9A0560F4-9B22-44C0-838F-F367423700EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82146a8074a40d7249ebefe93809b550846d3a01","datavalue":{"value":{"time":"+2001-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5933587$19CEC2CF-CDBF-4A6F-8844-FCDCC65F7143","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"58aa74eb3c3f100c4704e3bce5278886b1dd0def","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding symposium (1st, 1985) has been reviewed (see Zbl 0578.00007).  Indexed articles:  \\textit{Jones, Neil D.}, Program analysis for implicit computational complexity, 1 [Zbl 0984.68656]  \\textit{Chin, Wei-Ngan; Khoo, Siau-Cheng; Xu, Dana N.}, Deriving pre-conditions for array bound check elimination, 2-24 [Zbl 0984.68501]  \\textit{Fischbach, Adam; Hannan, John}, Type systems for useless-variable elimination, 25-38 [Zbl 0984.68505]  \\textit{Glynn, Kevin; Stuckey, Peter J.; Sulzmann, Martin; S\u00f8ndergaard, Harald}, Boolean constraints for binding-time analysis, 39-62 [Zbl 0984.68024]  \\textit{Gustavsson, J\u00f6rgen; Svenningsson, Josef}, Constraint abstractions, 63-83 [Zbl 0984.68035]  \\textit{Lawall, Julia L.}, Implementing circularity using partial evaluation, 84-102 [Zbl 0984.68503]  \\textit{Mass\u00e9, Damien}, Combining forward and backward analyses of temporal properties, 103-116 [Zbl 0984.68107]  \\textit{Mastroeni, Isabella}, Numerical power analysis, 117-137 [Zbl 0986.68056]  \\textit{Masuhara, Hidehiko; Yonezawa, Akinori}, Run-time bytecode specialization. A portable approach to generating optimized specialized code, 138-154 [Zbl 0984.68670]  \\textit{Min\u00e9, Antoine}, A new numerical abstract domain based on difference-bound matrices, 155-172 [Zbl 0984.68034]  \\textit{Schultz, Ulrik P.}, Partial evaluation for class-based object-oriented languages, 173-197 [Zbl 0984.68653]  \\textit{Secher, Jens Peter}, Driving in the jungle, 198-217 [Zbl 0984.68025]  \\textit{Sittampalam, Ganesh; de Moor, Oege}, Higher-order pattern matching for automatically applying fusion transformations, 218-237 [Zbl 0984.68502]  \\textit{Sullivan, Gregory T.}, Dynamic partial evaluation, 238-256 [Zbl 0986.68019]  \\textit{Taha, Walid; Makholm, Henning; Hughes, John}, Tag elimination and Jones-optimality. (Preliminary report), 257-275 [Zbl 0984.68504]  \\textit{Ganzinger, Harald}, Bottom-up deduction with deletion and priorities, 276-277 [Zbl 0984.68641]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933587$B548ECB1-E115-4EA9-8608-56012BD801C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933587$75F5E8EB-E2ED-4578-BC37-4541A4F12DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933587$EAA378E4-BCCE-45B8-AA7F-9781E78222DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ded82792c64246beab693bb458d67d4f87ecdce","datavalue":{"value":"1599486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933587$2156232B-2062-417C-A5BE-3AB27DB80AC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92959b674d79fa674bd5fa2b8d17d10c70f00aaa","datavalue":{"value":"Aarhus (Denmark)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933587$C1CFDC97-E7AA-4FBF-914E-BC82ED9BD471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933587$91DFD10B-4A94-419E-B8EC-0FDC953445DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933587$71D05E28-FC75-40C7-A59D-39180927AD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d455f5c759353caab54ea40d80d4c4bda8a50bd","datavalue":{"value":"PADO 2001","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933587$6CCF7AFC-5CB8-4DF3-90D4-52BF775309F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ea7d06761bd1bfc368c1737a2c00b95800d254e","datavalue":{"value":"Data objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933587$19FC1FE0-E435-4E83-B470-770DA4459A9B","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":"Q5933587$CDB691D3-9B18-4EBE-8D6E-1ED8485BD4B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programs as data objects. 2nd symposium, PADO 2001, Aarhus, Denmark, May 21--23, 2001. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Programs_as_data_objects._2nd_symposium,_PADO_2001,_Aarhus,_Denmark,_May_21--23,_2001._Proceedings"}}}}}