{"entities":{"Q7361948":{"pageid":31521383,"ns":120,"title":"Item:Q7361948","lastrevid":105370559,"modified":"2026-10-07T13:39:11Z","type":"item","id":"Q7361948","labels":{"en":{"language":"en","value":"Clean - An Abstract Imperative Programming Language and its Theory"}},"descriptions":{"en":{"language":"en","value":"AFP entry Clean"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78b819056c98a7a60bd844d94b17d15bce411aca","datavalue":{"value":"https://isa-afp.org/entries/Clean.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361948$4FA6BA21-BC4E-481F-AA04-6CAE143BDE36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2264ba9368aef03be11721c1d994eeb2733d83d","datavalue":{"value":{"time":"+2019-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361948$4B563D44-5978-45D2-88DF-88A3637A31F3","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"e9954232c8a3860216ceb8440b55f21b24e7ac7d","datavalue":{"value":"Fr\u00e9d\u00e9ric Tuong","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361948$D47541F6-A57C-4D6F-B77D-9797FF6236E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"9f417d50d28c3248f72294b3f5970214162e0fab","datavalue":{"value":"Burkhart Wolff","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361948$88126E12-138F-4C0A-86B5-BAD3380E5005","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fead1a1554834f16e6d48933a7b441fcf7bfacdc","datavalue":{"value":{"text":"Clean - An Abstract Imperative Programming Language and its Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361948$B70877EE-BEA7-406C-B031-7D7797B696D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c16ece97fc163815153464611f8e83ac5b462333","datavalue":{"value":"Clean is based on a simple, abstract execution model for an imperative target language. \u201cAbstract\u201d is understood in contrast to \u201cConcrete Semantics\u201d; alternatively, the term \u201cshallow-style embedding\u201d could be used. It strives for a type-safe notion of program-variables, an incremental construction of the typed state-space, support of incremental verification, and open-world extensibility of new type definitions being intertwined with the program definitions. Clean is based on a \u201cno-frills\u201d state-exception monad with the usual definitions of bind and unit for the compositional glue of state-based computations. Clean offers conditionals and loops supporting C-like control-flow operators such as break and return. The state-space construction is based on the extensible record package. Direct recursion of procedures is supported. Clean\u2019s design strives for extreme simplicity. It is geared towards symbolic execution and proven correct verification tools. The underlying libraries of this package, however, deliberately restrict themselves to the most elementary infrastructure for these tasks. The package is intended to serve as demonstrator semantic backend for Isabelle/C, or for the test-generation techniques.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361948$4B7DC8CF-CE69-4F5F-AE74-08902BEF2B1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$DA7BA356-F1D0-4B22-B835-774385A3E9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c5d90712582d6564f73fbda93ac4bd663de505b","datavalue":{"value":{"entity-type":"item","numeric-id":1036131,"id":"Q1036131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$03583FBD-EEFC-4790-B5F1-A88E72736CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d0fb76487e24faee4c3ae84f3bcc85fa12a2976","datavalue":{"value":{"entity-type":"item","numeric-id":327098,"id":"Q327098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$BEE73735-E95B-45CE-B9F5-A814855B62C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5981e1168811f3b1a276d506216532fa05a55595","datavalue":{"value":{"entity-type":"item","numeric-id":3179407,"id":"Q3179407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$B8FAAAAE-1AA9-4A1A-9201-8580E1D9AB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbf3fd853a4036d3cac2ccc1f0a3b4a11edb981","datavalue":{"value":{"entity-type":"item","numeric-id":2248021,"id":"Q2248021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$48C3F6F9-325D-4AB8-B020-5E905FA2D7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff80eff530c98b4d8db99fcd347bf6569d0d014","datavalue":{"value":{"entity-type":"item","numeric-id":2402234,"id":"Q2402234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$18A8A310-A2A4-43C7-8977-46A7AFDD8795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43bc863abf00a3a332bdda02146363952773222a","datavalue":{"value":{"entity-type":"item","numeric-id":2829242,"id":"Q2829242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$AFD531B3-54DB-4423-8A3A-B15EFF84EDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4202075baedb9a2dcec15ea7138bf2021f11da52","datavalue":{"value":{"entity-type":"item","numeric-id":1687747,"id":"Q1687747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$D7FCE05E-6635-4158-AA67-F7E664C6CC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de630d14fe895ae5d892978d97f92afb82231aa0","datavalue":{"value":{"entity-type":"item","numeric-id":2879273,"id":"Q2879273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$89B2C7B7-0399-464E-AA69-771283C5C6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83bfba8e34fbff5d8c839c915b605c8e25230d4","datavalue":{"value":{"entity-type":"item","numeric-id":2843002,"id":"Q2843002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$6BC564E3-B201-4698-A4D4-0F8DC61EC677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d89c32c0d555889a53aec34946717c1964b8b5","datavalue":{"value":{"entity-type":"item","numeric-id":2843039,"id":"Q2843039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$07FBC4E7-4CE6-4D04-A099-A9E0AC05D7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a46084cdd360a7e9420a94748dd7af52f87709a","datavalue":{"value":{"entity-type":"item","numeric-id":1798941,"id":"Q1798941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$A3BA5BC3-00A1-4972-82F9-A174F4BD1003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb475b53e5fc30dbc9c158af0eb1030f5e1e29d","datavalue":{"value":{"entity-type":"item","numeric-id":593175,"id":"Q593175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$39C4612E-BC11-49E5-AA27-A60CE3CCF7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ef9fab9931aeafd0d3a3ca39a098e120e3a610","datavalue":{"value":{"entity-type":"item","numeric-id":3303910,"id":"Q3303910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$2802BCB4-FF58-4CD6-9059-2ABA94C1E9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa17a8af108d3478367fcc49b5a84707a6f1412","datavalue":{"value":{"entity-type":"item","numeric-id":6039393,"id":"Q6039393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$187D74E6-C96E-4984-B6F3-A9EFE3024033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c704d43a48e07ac24cfe13985bec3bdd1a17595","datavalue":{"value":{"entity-type":"item","numeric-id":834373,"id":"Q834373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$EE587EDD-A0D5-4806-B069-1A56D064F41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b78adcee74e0f5ade00e0948eea875c91d9521e5","datavalue":{"value":{"entity-type":"item","numeric-id":5578055,"id":"Q5578055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$36C6CB10-C2C7-4E30-B3EC-B238F6D899F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d766c92a02efd0f190c1e52cb70b7e562de649de","datavalue":{"value":{"entity-type":"item","numeric-id":4764615,"id":"Q4764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$F0222D53-118C-427C-A6E1-F06CF4BC7354","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$F9A260B2-0BDA-44F0-982D-77A13542491C","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"a26eee6e033d0b5608bd16ec5c9f10d357a3d5f3","datavalue":{"value":{"entity-type":"item","numeric-id":7360793,"id":"Q7360793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$2A3839D8-ADAA-405F-87E9-55D3F0F38072","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361948$119FE079-037D-4348-BB3D-39755EA88444","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Clean - An Abstract Imperative Programming Language and its Theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Clean_-_An_Abstract_Imperative_Programming_Language_and_its_Theory"}}}}}