{"entities":{"Q278744":{"pageid":280511,"ns":120,"title":"Item:Q278744","lastrevid":60694722,"modified":"2026-04-10T18:34:06Z","type":"item","id":"Q278744","labels":{"en":{"language":"en","value":"A generic framework for heap and value analyses of object-oriented programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6576264"}},"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":"Q278744$554C4A7E-694B-410E-B1FF-35FEAEDFB014","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5366dc3abe39a80e7a2f19e242594198dfe3287b","datavalue":{"value":{"text":"A generic framework for heap and value analyses of object-oriented programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q278744$5250BAA3-B0EB-402E-9D02-75BD251E90A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e8305b6838629e773b2d5274440c54fbf9cfee0","datavalue":{"value":"1343.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278744$6875A491-1DCD-4FF9-B2FE-DD7FB53CE5F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"243400d5ddd1208389d474075e48066f7efc9228","datavalue":{"value":{"entity-type":"item","numeric-id":278743,"id":"Q278743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$4857321C-C5C9-4BB5-A9C5-B72F1686FD87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$DAF82701-FB44-4DE2-A6F2-0FF6CE3B3493","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e456fdb4844415eea923a6e1b531b0c6eec91b1","datavalue":{"value":{"time":"+2016-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q278744$E0669F62-CEF9-4E27-A5B9-22A0B66B6C73","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"94e773e02f4ebefa7dcdec56ba3237ef55e2bb80","datavalue":{"value":{"entity-type":"item","numeric-id":590402,"id":"Q590402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$8866DF22-1014-4258-B931-246358F4BC73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278744$0A863F2B-59C5-483C-82CF-0CE3D504E3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278744$1A9C43F6-1EAF-4640-80E2-B22864177404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278744$58A8C351-2596-40D2-8B64-355D91ECAA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278744$79B49160-4EF2-4396-BAAE-9BE1AFCE694F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e000faeae645b25762a05463729b7af201d451b4","datavalue":{"value":"6576264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278744$97A88B47-A123-49DF-BF08-BD3C994F39C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q278744$02D13C62-3FB6-408F-BFA2-3E0A95557B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6765a99b811b8fdb7494817a6601824458c085e4","datavalue":{"value":"heap analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q278744$8FB03BF1-04ED-4131-A7ED-9B45E67E04A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2398066a5640e7976b745c80f719f2f5128dd9","datavalue":{"value":"value analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q278744$38410FEF-F27E-4AF1-AE42-989CF2AF3FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6206310401fc4315e202203dd65bb31c781783","datavalue":{"value":"standard pointer analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q278744$258FC044-CABC-4ADA-A8CF-509CC11B971F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q278744$45AA62C9-9C51-46CE-AD36-08D6543AC52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a66abaca55e0268f2ee9da6f3d62f514e8c3cb02","datavalue":{"value":"generic analyzers","type":"string"},"datatype":"string"},"type":"statement","id":"Q278744$AD687F52-7501-4B15-BBD7-60D747DB7D5F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b10831b25b2756323f1e155a6277b60592e8908","datavalue":{"value":{"entity-type":"item","numeric-id":21857,"id":"Q21857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$714A7AF7-C6F6-463A-B6A3-D8FE15D477BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$E54D274D-F323-4E68-8D1D-C050A0ADCC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$C66AF105-6E19-4F30-8C2D-CC87E7E5E241","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":"Q278744$C6668C1B-FE83-4B01-80F5-A90605B1AD80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0be634389b7340f964551746ea1da9cec37b07d5","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q278744$45608035-811B-480B-AA5D-BB6359C009C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9a867335801040b36c7a937a04276b89c3208e6","datavalue":{"value":"W2323946099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278744$8165EAB0-AEF6-4CB5-A0E2-E6D847DB65BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$0C4E3C6E-E709-45D2-B870-865DAF668E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54c82b0039a426f5c1ef7671ea1808efb82c22e","datavalue":{"value":{"entity-type":"item","numeric-id":3067530,"id":"Q3067530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$422CE9D0-7317-46D4-919C-EE0279E41CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82ac1875f2bd79fe60fd4a60c4b76074c2e13d8","datavalue":{"value":{"entity-type":"item","numeric-id":2722067,"id":"Q2722067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$211DF8E7-12E7-4BD8-84B5-5AB10447A76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0622ab6665580df90f2ea4b5dedce67390824528","datavalue":{"value":{"entity-type":"item","numeric-id":3612011,"id":"Q3612011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$D485E7D0-E985-45C6-96E7-AECA488DC2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f391ca1b0ab10a4447e2ee2a1dacafeb5a3899","datavalue":{"value":{"entity-type":"item","numeric-id":4930717,"id":"Q4930717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$3391906D-D191-43D0-AC73-5652EDBA3D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2dad3e22ff5cd4eecd482eba8f74372fe5ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":4916050,"id":"Q4916050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$A9D292D6-8789-4577-83CA-377ADFEAD496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62f7d2a04869dc5512acc2215ed5f66fd2f7aa41","datavalue":{"value":{"entity-type":"item","numeric-id":2938073,"id":"Q2938073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$667DABF4-80D6-48D8-89A0-11D3ADD26AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$D2AC428D-A982-431D-9B03-C99CC1465D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$4E3002B0-2167-4F5D-B717-ECDC35F20572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$6E4BDC4B-D4CD-4669-8D00-CBC160D5FE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0a2e2fae13b22e363321d20032e977af8454be","datavalue":{"value":{"entity-type":"item","numeric-id":5308431,"id":"Q5308431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$7DE5D7A3-D033-4407-AB38-FB25F41962D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7518c3dc697c1f88392c573900510e6c347126","datavalue":{"value":{"entity-type":"item","numeric-id":5276157,"id":"Q5276157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$D30D9D8F-547F-4532-AF41-2E3EDFE45A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b4b311763f66db187692c242b6954d5589ac66","datavalue":{"value":{"entity-type":"item","numeric-id":5711488,"id":"Q5711488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$8AD41D34-C274-42A7-85E9-D20207E372FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa9813c5d44205ab458818c2c071032f8d571d6","datavalue":{"value":{"entity-type":"item","numeric-id":5255075,"id":"Q5255075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$E30A880F-657F-4F29-B447-D659C66EF320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a37ccf5052b7ce5ca76a052d514d466f26181c","datavalue":{"value":{"entity-type":"item","numeric-id":5030205,"id":"Q5030205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$18758BD9-A164-4C7F-BF2F-62C5183E0DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed3955ec9359be5a50e26c84885e35d6f9d9c1f","datavalue":{"value":{"entity-type":"item","numeric-id":3189844,"id":"Q3189844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$4A6132E1-EEA7-4844-B010-6232765681F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8306fba999b8b8d1aeab22b8557530bcc3e1aec","datavalue":{"value":{"entity-type":"item","numeric-id":4994692,"id":"Q4994692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$D5F556D4-891B-4AA2-A880-30DC8A0B45AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b832e08fea72805ceb452844918f41c978f3e9","datavalue":{"value":{"entity-type":"item","numeric-id":2891398,"id":"Q2891398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278744$4E9CC8EB-FF3C-4188-9DF8-4136D37A2D29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7be599cd8119dd24929b6a03d1efb786addd95c","datavalue":{"value":"10.1016/J.TCS.2016.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278744$F5E9E8F8-DA46-42B9-AA5B-1663BC29CD1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b666a4e263b0f5d41ffd5516632087fcaf6092a3","datavalue":{"value":{"entity-type":"item","numeric-id":2938073,"id":"Q2938073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5dd4f1420441a064485976b3da1190fb6c884ea","datavalue":{"value":{"amount":"+0.9122169","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":"Q278744$11A31773-32E2-46F6-A4C1-FE6E8ED1FED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3bad521921dc80e0a271c01abedc4c64a1429b","datavalue":{"value":{"entity-type":"item","numeric-id":4645747,"id":"Q4645747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"070861b29ae44f6c9601fd1753fba6b59fabe221","datavalue":{"value":{"amount":"+0.9062071","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":"Q278744$470506FA-BD43-434B-BB06-F08909178C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"246bf7daa41b874a61be5d2dc7fb40368398be8a","datavalue":{"value":{"entity-type":"item","numeric-id":5429331,"id":"Q5429331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f69f8fa5684c83db611b4ae4f3200cca3867d8","datavalue":{"value":{"amount":"+0.8735933","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":"Q278744$E6225A4C-51AE-40C1-9C9F-682C363887D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0582ee30595e78a0df901762e77eacc08e125f21","datavalue":{"value":{"entity-type":"item","numeric-id":5172654,"id":"Q5172654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f25a7930b1d5a3550bd72fc5c4188438c413082f","datavalue":{"value":{"amount":"+0.8614917","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":"Q278744$A83F2252-3094-460F-A25F-9FC44D80725F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0123009a936ad5e7126032cc36dde474812f50b0","datavalue":{"value":{"entity-type":"item","numeric-id":5898797,"id":"Q5898797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39122d59b973ad7f8dff3a2a8d971046c373242c","datavalue":{"value":{"amount":"+0.85771334","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":"Q278744$07F1920C-4E3A-49A7-B4A6-EB29B03BA109","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a7ad355ad71784a4bb5b134716e0ec41b6c979c7","datavalue":{"value":"This paper introduces a generic framework for heap and value analyses of strongly typed object-oriented programming languages.NEWLINENEWLINENEWLINEThe author presents the formalization of a sound generic analysis which allows the combination of various heap and value abstractions automatically for these programming languages. The appendices report the complete proofs of the theoretical results presented in the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q278744$11983877-4767-427F-B82D-9BBEF8FD46E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generic framework for heap and value analyses of object-oriented programming languages","badges":[]}}}}}