{"entities":{"Q1418486":{"pageid":1429226,"ns":120,"title":"Item:Q1418486","lastrevid":67400934,"modified":"2026-04-12T17:22:21Z","type":"item","id":"Q1418486","labels":{"en":{"language":"en","value":"Programming languages and systems. First Asian symposium, APLAS 2003, Beijing, China, November 27--29, 2003. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2026126"}},"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":"Q1418486$0434E82E-CD54-4AD5-BD70-8C403406500E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34e64266fbaef5d8134b80fb7f8a71ccb4bf1697","datavalue":{"value":{"text":"Programming languages and systems. First Asian symposium, APLAS 2003, Beijing, China, November 27--29, 2003. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1418486$9977D4D1-AF5B-4C71-9466-60ECE552D4FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3c2f469df834b2c5c028ddc1bfdc952ff6fcb37","datavalue":{"value":"1029.00062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418486$17E954B1-D59D-4FFC-9D72-4234E30E36B6","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":"Q1418486$1B13F349-B8EB-47D5-8DDE-0C885D19A192","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0ab96eff1122a31ac6b2c9e221486075774700","datavalue":{"value":{"time":"+2004-01-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":"Q1418486$9A678984-1652-4E66-B5A5-113936BB78FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bbc1b1bc4fb2c00a013e6e584e4815248d33ac0","datavalue":{"value":"http://link.springer.de/link/service/series/0558/tocs/t2895.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1418486$4FDDBCBC-1013-4FD5-A439-A0A29A5F994C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d999054bca5b5baa7f0b719dc2d400c6a476f4b4","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Dong, Xiaoju; Fu, Yuxi}, Observing asymmetry and mismatch., 2-19 [Zbl 1254.68075]  \\textit{Ma, Qin; Maranget, Luc}, Expressive synchronization types for inheritance in the join calculus., 20-36 [Zbl 1254.68081]  \\textit{Gadducci, Fabio}, Term graph rewriting for the \\(\\pi \\)-calculus., 37-54 [Zbl 1254.68169]  \\textit{Kobayashi, Naoki}, Useless-code elimination and program slicing for the pi-calculus., 55-72 [Zbl 1254.68080]  \\textit{Ida, Tetsuo; Marin, Mircea; Takahashi, Hidekazu}, Constraint functional logic programming for origami construction., 73-88 [Zbl 1254.68079]  \\textit{Anderson, Hugh; Khoo, Siau-Cheng}, Affine-based size-change termination., 122-140 [Zbl 1254.68070]  \\textit{Ravindra, D. V.}, Using locality of flow in dataflow analyses., 141-158 [Zbl 1254.68086]  \\textit{Ahn, Joonseon; Kwon, Yong Jin}, A differential fixpoint evaluation framework for non-distributive systems., 159-175 [Zbl 1254.68069]  \\textit{Henzinger, Thomas A.}, Model checking: from hardware to software., 176-177 [Zbl 1254.68078]  \\textit{Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin}, Resource usage verification., 212-229 [Zbl 1254.68082]  \\textit{Seo, Sunae; Yang, Hongseok; Yi, Kwangkeun}, Automatic construction of Hoare proofs from abstract interpretation results., 230-245 [Zbl 1254.68088]  \\textit{Gl\u00fcck, Robert; Kawabe, Masahiko}, A program inverter for a functional language with equality and constructors., 246-264 [Zbl 1254.68057]  \\textit{Mu, Shin-Cheng; Bird, Richard}, Rebuilding a tree from its traversals: a case study of program inversion, 265-282 [Zbl 1254.68083]  \\textit{Hidalgo-Herrero, Mercedes; Ortega-Mall\u00e9n, Yolanda}, Continuation semantics for parallel Haskell dialects, 303-321 [Zbl 1254.68058]  \\textit{Li, Guangyuan; Tang, Zhisong}, Translating a continuous-time temporal logic into timed automata., 322-338 [Zbl 1254.03026]  \\textit{Carlsson, Magnus; Nordlander, Johan; Kieburtz, Dick}, The semantic layers of Timber., 339-356 [Zbl 1254.68056]  \\textit{Nishimura, Susumu}, Correctness of a higher-order removal transformation through a relational reasoning., 358-375 [Zbl 1254.68085]  \\textit{Furuse, Jun}, Extensional polymorphism by flow graph dispatching., 376-393 [Zbl 1254.68076]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1418486$E7D3C359-7AF2-4C15-991E-F924095861BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418486$ACBF8938-FCB5-4FFB-8D0C-9FFE960365B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418486$A8CD462B-CF77-4F41-BE5E-62281EB5003C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418486$C6DA1263-15B9-4C78-8BB6-876207D08F01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a2f00f2308674e800014d47fd77ebc387c08141","datavalue":{"value":"2026126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418486$E6123085-69A8-41A8-B076-34401CCB4FF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07069202e23960b8ed4732023a80069e9bdc6ee3","datavalue":{"value":"Programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1418486$7D701D39-BC0C-4514-A555-91D55A061FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d6b86652e6f5cb0d1d2c94ecc61c57727efc52","datavalue":{"value":"Programming systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1418486$8A6BBF2C-E940-42A8-8949-DFCCD35A8FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9774b6b68dbf0f861f38e0d1afd2d3d0b84d7aa","datavalue":{"value":"APLAS 2003","type":"string"},"datatype":"string"},"type":"statement","id":"Q1418486$AD6CCE21-2F23-4CF1-9ED0-53BD46C4F613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a88fec56c89f02f36c495c7210bee73164308a4","datavalue":{"value":"Beijing (China)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1418486$057A2174-2707-49EA-9C63-6BC1F73A9B4D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1418486$88A8678C-73F6-415B-AE96-0CA87CA10D86","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":"Q1418486$23284DA0-D1B5-4966-BF15-1E6A904B9D85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b48d9fda78bafaa4793ed158750ddad3da7a7e49","datavalue":{"value":"W2493559803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418486$CDDC6F9E-98BE-4FF0-B448-89ADC6E2C44B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"291f8785b06dce100e1ddc22a905f1e3e65a9748","datavalue":{"value":"10.1007/B94290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418486$DC9D6A4A-B010-49AB-B3BD-5847ED98FD2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programming languages and systems. First Asian symposium, APLAS 2003, Beijing, China, November 27--29, 2003. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Programming_languages_and_systems._First_Asian_symposium,_APLAS_2003,_Beijing,_China,_November_27--29,_2003._Proceedings"}}}}}