About: Separation logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	http://www0.cs.ucl.ac.uk/staff/p.ohearn/Invader/Invader/Invader_Home.html http://www0.cs.ucl.ac.uk/staff/p.ohearn/smallfoot/ http://fm.csl.sri.com/UV10/submissions/uv2010_submission_20.pdf http://holfoot.tuerk-brechen.de/ http://plv.csail.mit.edu/bedrock/ http://software.imdea.org/~aleks/fcsl/ http://vst.cs.princeton.edu/veric/ https://iris-project.org/ https://plv.mpi-sws.org/rustbelt/popl18/ https://protz.github.io/mezzo/ https://www.mpi-sws.org/~viktor/papers/ecoop2015-alstypes.pdf https://www.mpi-sws.org/~viktor/smallfootrg/ http://www.fit.vutbr.cz/research/groups/verifit/tools/predator/ http://dl.acm.org/citation.cfm%3Fid=512766 https://www.eecs.harvard.edu/~greg/papers/alias.pdf https://people.cs.kuleuven.be/~bart.jacobs/verifast/ https://www.di.ens.fr/~rival/memcad.html http://www.lsv.ens-cachan.fr/Software/heap-hop/ https://github.com/Microsoft/SLAyer
dbo:wikiPageWikiLink	dbr:Schorr-Waite_graph_marking_algorithm dbr:Ynot dbr:Stack-based_memory_allocation dbr:Function_(mathematics) dbr:Tony_Hoare dbc:Logic_in_computer_science dbr:Modus_ponens dbr:Gödel_Prize dbr:Peter_O'Hearn dbc:2002_introductions dbr:Java_(programming_language) dbr:Information_hiding dbr:Partial_function dbr:David_Gries dbr:Algorithm dbr:Coq dbr:Rust_(programming_language) dbc:Substructural_logic dbr:Relevance_logic dbr:Axiom dbr:C_(programming_language) dbr:Computer_science dbr:Memory_management dbr:Susan_Owicki dbr:Objective-C dbr:John_C._Reynolds dbr:Hoare_logic dbr:Singularity_(operating_system) dbc:Program_logic dbr:Rod_Burstall dbr:Frame_problem dbr:Dynamic_memory_allocation dbr:Infer_Static_Analyzer dbr:Interference_freedom dbr:Entailment dbr:HOL_(proof_assistant) dbr:Parallelization dbr:Program_verification dbr:Adjunction_(category_theory) dbr:Coq_proof_assistant dbr:Logic_of_bunched_implications dbr:Logical_Conjunction
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:External_links dbt:Program_analysis dbt:Short_description
dct:subject	dbc:Logic_in_computer_science dbc:2002_introductions dbc:Substructural_logic dbc:Program_logic
gold:hypernym	dbr:Extension
rdfs:label	Separation logic (en) Logique de séparation (fr) Логика разделения (ru)
owl:sameAs	freebase:Separation logic yago-res:Separation logic wikidata:Separation logic dbpedia-fr:Separation logic dbpedia-fa:Separation logic dbpedia-ru:Separation logic dbpedia-global:Separation logic
prov:wasDerivedFrom	wikipedia-en:Separation_logic?oldid=1294030327&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Separation_logic
is dbo:knownFor of	dbr:Peter_O'Hearn dbr:John_C._Reynolds
is dbo:wikiPageRedirects of	dbr:Concurrent_separation_logic
is dbo:wikiPageWikiLink of	dbr:Wand_(disambiguation) dbr:Gödel_Prize dbr:Peter_O'Hearn dbr:List_of_programmers dbr:John_C._Reynolds dbr:Frama-C dbr:Glossary_of_artificial_intelligence dbr:Predicate_transformer_semantics dbr:Bunched_logic dbr:List_of_programming_language_researchers dbr:Richard_Bornat dbr:Frame_problem dbr:List_of_computer_scientists dbr:Grigore_Roșu dbr:Dafny dbr:Infer_Static_Analyzer dbr:Interference_freedom dbr:Matching_logic dbr:Concurrent_separation_logic
is dbp:knownFor of	dbr:Peter_O'Hearn
is foaf:primaryTopic of	wikipedia-en:Separation_logic