{"entities":{"Q704826":{"pageid":706675,"ns":120,"title":"Item:Q704826","lastrevid":63659421,"modified":"2026-04-11T14:40:48Z","type":"item","id":"Q704826","labels":{"en":{"language":"en","value":"Mathematics of program construction. 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12--14, 2004. Proceedings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2130212"}},"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":"Q704826$27F1BC73-8CC0-4884-B509-0D0EE1CBBF05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9477755452175ee77d6e8bfe67974790794389ba","datavalue":{"value":{"text":"Mathematics of program construction. 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12--14, 2004. Proceedings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q704826$D94F85F3-D73C-4457-A54D-AC524ADE3FF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b8dd112b2d29fbc093f308e6be496f4990e6496","datavalue":{"value":"1053.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704826$ECD48E25-9D65-43A1-9125-65F68260026B","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":"Q704826$891AEB4A-0CF7-4FD6-8999-48735C24EE58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90a3a6b51ce61dd6ffe2ca0150d5eb1344f5da74","datavalue":{"value":{"time":"+2005-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q704826$C6BD383E-579D-4AF4-8D28-2118C0013ED2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a35bc8246514c8c4deeeff7e3722c21c2824ee93","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0993.00042).  Indexed articles:  \\textit{Nelson, Greg}, Extended static checking for Java, 1 [Zbl 1106.68330]  \\textit{Abbott, Michael; Altenkirch, Thorsten; Ghani, Neil; McBride, Conor}, Constructing polymorphic programs with quotient types, 2-15 [Zbl 1106.68335]  \\textit{Alimarine, Artem; Smetsers, Sjaak}, Optimizing generic functions, 16-31 [Zbl 1106.68336]  \\textit{Atanassow, Frank; Jeuring, Johan}, Inferring type isomorphisms generically, 32-53 [Zbl 1106.68337]  \\textit{Barnett, Mike; Naumann, David A.}, Friends need a bit more: Maintaining invariants over shared state, 54-84 [Zbl 1106.68338]  \\textit{Danielsson, Nils Anders; Jansson, Patrik}, Chasing bottoms. A case study in program verification in the presence of partial and infinite values., 85-109 [Zbl 1106.68339]  \\textit{Fernandes, Therrezinha; Desharnais, Jules}, Describing gen/kill static analysis techniques with Kleene algebra, 110-128 [Zbl 1106.68340]  \\textit{Furusawa, Hitoshi}, A free construction of Kleene algebras with tests, 129-141 [Zbl 1106.68021]  \\textit{Gibbons, Jeremy}, Streaming representation-changers, 142-168 [Zbl 1106.68331]  \\textit{Hehner, Eric C. R.}, Probabilistic predicative programming, 169-185 [Zbl 1106.68341]  \\textit{Hinze, Ralf}, An algebra of scans, 186-210 [Zbl 1106.68022]  \\textit{Hutton, Graham; Wright, Joel}, Compiling exceptions correctly, 211-227 [Zbl 1106.68342]  \\textit{Martin, Clare E.; Curtis, Sharon A.; Rewitzky, Ingrid}, Modelling nondeterminism, 228-251 [Zbl 1106.68343]  \\textit{M\u00f6ller, Bernhard}, Lazy Kleene algebra, 252-273 [Zbl 1106.68065]  \\textit{Morris, Joseph M.}, Augmenting types with unbounded demonic and angelic nondeterminacy, 274-288 [Zbl 1106.68344]  \\textit{Mu, Shin-Cheng; Hu, Zhenjiang; Takeichi, Masato}, An injective language for reversible computation, 289-313 [Zbl 1106.68345]  \\textit{Norell, Ulf; Jansson, Patrik}, Prototyping generic programming in Template Haskell, 314-333 [Zbl 1106.68332]  \\textit{Fonseca de Oliveira, Jos\u00e9 Nuno; Pereira Cunha Rodrigues, C\u00e9sar de Jesus}, Transposing relations: From maybe functions to hash tables, 334-356 [Zbl 1106.68020]  \\textit{Schieder, Birgit}, Pointer theory and weakest preconditions without addresses and heap, 357-380 [Zbl 1106.68346]  \\textit{Tang, Xinbei; Woodcock, Jim}, Travelling processes, 381-399 [Zbl 1106.68347]","type":"string"},"datatype":"string"},"type":"statement","id":"Q704826$582D6CB3-0F2F-43A5-B656-5E0AE1223C58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704826$4EF8C5A9-BF9D-4A98-884F-1C76A1474823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704826$0438240A-26A8-40EF-9F3A-DCB06CFDE7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704826$736AAD48-0780-4F46-8C1A-0B7F17A2E5B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32163f38ecfb25bd89b45c4368cdaf56e19313ce","datavalue":{"value":"2130212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704826$470EC063-EA6A-4E5E-8D05-F264AE32C0E5","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":"Q704826$AD0460F3-E571-4923-BF59-776910FCC453","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":"Q704826$1FE7D979-CE41-43C3-BE75-50ACBBBABBAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dff01cbc3ae12094954ad00d68638af1a52ca9f","datavalue":{"value":"https://doi.org/10.1007/b98770","type":"string"},"datatype":"url"},"type":"statement","id":"Q704826$DC2F9C51-AC35-4867-85F7-B1C524996583","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8ec3e1bd13ebda70cdbfb6ad52e1e51511b2040","datavalue":{"value":"W2973096144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704826$A8B27121-E067-485C-8071-9F5A0F0A6524","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90922b80166bb3d5facc5e03a2ab57fdb696b902","datavalue":{"value":"10.1007/B98770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704826$43F5C7FC-3F58-4550-862D-C66DC3BF0E37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematics of program construction. 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12--14, 2004. Proceedings.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematics_of_program_construction._7th_international_conference,_MPC_2004,_Stirling,_Scotland,_UK,_July_12--14,_2004._Proceedings."}}}}}