{"entities":{"Q1780830":{"pageid":1791572,"ns":120,"title":"Item:Q1780830","lastrevid":43323841,"modified":"2025-07-24T17:49:39Z","type":"item","id":"Q1780830","labels":{"en":{"language":"en","value":"Programming languages and systems. Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4--6, 2004. Proceedings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2175708"}},"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":"Q1780830$5F13C096-086C-47A8-9C74-214250AB3867","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f33eefb06a467324edd3928118ac97396714f2f","datavalue":{"value":{"text":"Programming languages and systems. Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4--6, 2004. Proceedings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1780830$C709C3F6-FBE0-44F6-8326-8BC2727E1A0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fdadc4d93118e0bdfe9075c33f073a1e2cfdc63","datavalue":{"value":"1063.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780830$C324E594-A83F-4954-AC16-930402C88B97","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":"Q1780830$412FA8E8-0561-450F-AA2B-956968DE2F1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"469ed2fd212eb464fbc6c5c5b7e8fa6ceeaffbfc","datavalue":{"value":{"time":"+2005-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1780830$9DEAF6F1-D24E-4F94-A457-023181AE6375","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7eab47735ce2b4637db6ef4fe157a904cf180f15","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 1029.00062) .  Indexed articles:  \\textit{Mu, Shin-Cheng; Hu, Zhenjiang; Takeichi, Masato}, An algebraic approach to bi-directional updating, 2-20 [Zbl 1116.68411]  \\textit{Fradet, Pascal; Ha, St\u00e9phane Hong Tuan}, Network fusion, 21-40 [Zbl 1116.68383]  \\textit{Kodama, Koichi; Suenaga, Kohei; Kobayashi, Naoki}, Translation of tree-processing programs into stream-processing programs based on ordered linear type, 41-56 [Zbl 1116.68385]  \\textit{Lu, Kenny Zhuo Ming; Sulzmann, Martin}, An implementation of subtyping among regular expression types, 57-73 [Zbl 1116.68396]  \\textit{Nakano, Keisuke}, An implementation scheme for XML transformation languages through derivation of stream processors, 74-90 [Zbl 1116.68376]  \\textit{Skalka, Christian; Smith, Scott}, History effects and verification, 107-128 [Zbl 1116.68381]  \\textit{Mantel, Heiko; Sands, David}, Controlled declassification based on intransitive noninterference, 129-145 [Zbl 1116.68397]  \\textit{Abe, Tatsuya}, A concurrent system of multi-ported processes with causal dependency, 146-162 [Zbl 1116.68539]  \\textit{Wojciechowski, Pawe\u0142 T.}, Concurrency combinators for declarative synchronization, 163-178 [Zbl 1116.68543]  \\textit{Cao, Zining}, A uniform reduction equivalence for process calculi, 179-195 [Zbl 1116.68541]  \\textit{Xu, Dana N.; Khoo, Siau-Cheng; Hu, Zhenjiang}, PType system: A featherweight parallelizability detector, 197-212 [Zbl 1116.68389]  \\textit{Choi, Kwanghoon; Ohori, Atsushi}, A type theory for Krivine-style evaluation and compilation, 213-228 [Zbl 1116.68393]  \\textit{Nagata, Akihito; Kobayashi, Naoki; Yonezawa, Akinori}, Region-based memory management for a dynamically-typed language, 229-245 [Zbl 1116.68375]  \\textit{Neubauer, Matthias; Thiemann, Peter}, Protocol specialization, 246-261 [Zbl 1116.68386]  \\textit{Achten, Peter; van Eekelen, Marko; Plasmeijer, Rinus; van Weelden, Arjen}, Automatic generation of editors for higher-order data structures, 262-279 [Zbl 1116.68379]  \\textit{Kawabata, Hideyuki; Suzuki, Mutsumi; Kitamura, Toshiaki}, A MATLAB-based code generator for sparse matrix computations, 280-295 [Zbl 1116.68391]  \\textit{Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo}, D-fusion: A distinctive fusion calculus, 296-310 [Zbl 1116.68540]  \\textit{Neergaard, Peter M\u00f8ller}, A functional language for logarithmic space, 311-326 [Zbl 1116.68377]  \\textit{Ghani, Neil; Uustalu, Tarmo; Vene, Varmo}, Build, augment and destroy, universally, 327-347 [Zbl 1116.68490]  \\textit{Hamana, Makoto}, Free \\(\\Sigma\\)-monoids: A higher-order syntax with metavariables, 348-363 [Zbl 1116.68394]  \\textit{Eichberg, Michael; Mezini, Mira; Ostermann, Klaus}, Pointcuts as functional queries, 366-381 [Zbl 1116.68372]  \\textit{Hsiung, Pao-Ann; Lin, Shang-Wei}, Formal design and verification of real-time embedded software, 382-397 [Zbl 1116.68398]  \\textit{Kamina, Tetsuo; Tamai, Tetsuo}, McJava -- a design and implementation of Java with mixin-types, 398-414 [Zbl 1116.68374]  \\textit{Jifeng, He; Liu, Zhiming; Li, Xiaoshan; Qin, Shengchao}, A relational model for object-oriented designs, 415-436 [Zbl 1116.68373]  \\textit{Yu, Zoe C. H.; Lau, Francis C. M.; Wang, Cho-Li}, Exploiting Java objects behavior for memory management and optimizations, 437-452 [Zbl 1116.68378]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780830$D7842527-E7E8-4890-B2B6-E613594FE461","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780830$9009D136-0384-4453-B8CF-9B17250D59EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780830$8ADC0EC5-4DB8-424D-9F03-60D9CCF438F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780830$172C0A74-1796-4435-A260-686B8B4191E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43c45b762bd89f3e134083cea9e30aba8ccd39bb","datavalue":{"value":"2175708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780830$ADD17884-0AF4-40BE-A848-536F57B971D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780830$E390E69C-FD18-48E6-92A6-2B45D7910B79","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":"Q1780830$B7D8E7D0-58A8-4D86-8E87-D0F28A85C6FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5eff6a70ed0f5e849e32ebf7988f88bf817fa64c","datavalue":{"value":"https://doi.org/10.1007/b102225","type":"string"},"datatype":"url"},"type":"statement","id":"Q1780830$22D1E1F6-FB8F-410B-9C8D-DC1DCF96E636","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c8641d0f71a94cdb980f5ac6f1af1e0951e1123","datavalue":{"value":"W2796564118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780830$AF92398A-1044-4422-A5E8-CCD3D7535421","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cea995969c972e75e182851559f0f03ee959e23","datavalue":{"value":"10.1007/B102225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780830$14DB3774-212E-4F80-B5EC-FC544EAC823E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1780830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1780830"}}}}}