Tag separation-logic [20 articles] Export Sort

Recent papers classified by the tag separation-logic.

Hide details

	Separation and information hiding [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 268-280. by Peter W. O'Hearn, Hongseok Yang, John C. Reynolds posted to separation-logic information-hiding by neelk on 2009-09-01 00:35:44 as along with 3 people and 1 group ctr kiniry _Anne_ SRG_at_UCD
	Permission accounting in separation logic [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 259-270. by Richard Bornat, Cristiano Calcagno, Peter O'Hearn, Matthew Parkinson posted to separation-logic fractional-permissions by neelk on 2009-09-01 00:35:10 as along with 3 people and 1 group hyas ctr kiniry SRG_at_UCD
	Separation logic: a logic for shared mutable data structures [My Copy] Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on (2002), pp. 55-74. by J. C. Reynolds posted to separation-logic reynolds by neelk on 2009-09-01 00:34:51 as along with 4 people and 1 group bec rdyer robdockins GuAlex Laboratory for Software Design
	Local reasoning about a copying garbage collector [My Copy] In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2004), pp. 220-231. by Lars Birkedal, Noah T. Smith, John C. Reynolds posted to verification specification separation-logic garbage-collector by neelk on 2009-09-01 00:32:26 as along with 1 person varming
	BI-hyperdoctrines, higher-order separation logic, and abstraction [My Copy] ACM Trans. Program. Lang. Syst., Vol. 29, No. 5. (August 2007) by Bodil Biering, Lars Birkedal, Noah Torp-Smith posted to separation-logic higher-order bi-algebras by neelk on 2009-09-01 00:31:56 as along with 1 person varming
	Design patterns in separation logic [My Copy] In TLDI '09: Proceedings of the 4th international workshop on Types in language design and implementation (2009), pp. 105-116. by Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse posted to verification specification separation-logic design-patterns by neelk on 2009-09-01 00:31:19 as along with 1 person leonardo
	Abstract Predicates and Mutable ADTs in Hoare Type Theory [My Copy] Programming Languages and Systems (2007), pp. 189-204. by Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal posted to separation-logic refinement-types monads hoare-type-theory dependent-types by neelk on 2009-09-01 00:30:31 as along with 1 group ConcertRG
	Cyclic proofs of program termination in separation logic [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 101-112. by James Brotherston, Richard Bornat, Cristiano Calcagno posted to separation-logic by fvogels on 2009-08-12 14:39:49 as
	Separation logic: A logic for shared mutable data structures [My Copy] (2002), pp. 55-74. by John C. Reynolds posted to separation-logic by streetlightios on 2009-06-09 02:52:22 as along with 1 person fvogels
	Local rely-guarantee reasoning [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 315-327. by Xinyu Feng posted to local reasoning rely-guarantee separation-logic by kingjoshdavid on 2009-02-13 14:16:18 as
	Structured Types and Separation Logic [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 217 (2008), pp. 41-59. by Harvey Tuch posted to alias memory-model separation-logic wp by _Anne_ on 2008-12-05 14:32:26 as
	Runtime Checking for Separation Logic [My Copy] Verification, Model Checking, and Abstract Interpretation (2008), pp. 203-217. by Huu Nguyen, Viktor Kuncak, Wei-Ngan Chin posted to hybrid-types jahob project-master-thesis separation-logic software-verification by pedagand on 2008-11-26 22:06:36 as
	Separation Logic: A Logic for Shared Mutable Data Structures [My Copy] In 17th Annual IEEE Symposium on Logic in Computer Science (LICS '02) (2002), pp. 55-74. by John C. Reynolds posted to 2002 data hoare-logic program separation-logic structure by michaelbanks on 2008-11-20 10:12:25 as
	Separation logic, abstraction and inheritance [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 75-86. by Matthew J. Parkinson, Gavin M. Bierman posted to programming-languages separation-logic by RalfMitschke on 2008-11-04 09:01:41 as
	Abstract SSV 2008 Structured Types and Separation Logic [My Copy] by Harvey Tuch posted to c-language formal-verification memory-model separation-logic wp by _Anne_ on 2008-08-06 14:14:41 as
	Types, bytes, and separation logic [My Copy] SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 97-108. by Harvey Tuch, Gerwin Klein, Michael Norrish posted to c-language hoare memory-model separation-logic by _Anne_ on 2008-08-06 12:14:39 as
	Footprint Analysis: A Shape Analysis That Discovers Preconditions [My Copy] Static Analysis (2007), pp. 402-418. by Cristiano Calcagno, Dino Distefano, Peter O’hearn, Hongseok Yang posted to alias program-analysis separation-logic by _Anne_ on 2008-08-04 12:42:53 as
	Local Reasoning about Programs that Alter Data Structures [My Copy] Computer Science Logic (2001), pp. 1-19. by Peter O’hearn, John Reynolds, Hongseok Yang posted to foundation separation-logic by _Anne_ on 2008-06-06 10:00:36 as
	Separation logic and abstraction [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 247-258. by Matthew Parkinson, Gavin Bierman posted to separation separation-logic by Scis0000002 on 2007-09-07 13:57:09 as along with 4 people tautologico ctr bec robennals
	Separation logic: a logic for shared mutable data structures [My Copy] (2002) by J. Reynolds posted to hardcopy separation-logic by bunge on 2007-08-15 18:38:12 as along with 2 people oryp6518 varming

Note: You may cite this page as: http://www.citeulike.org/tag/separation-logic

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

memory-model	4
rely-guarantee	4
alias	2
c-language	2
hoare	2
specification	2
verification	2
wp	2
2002	1
abstraction	1
bi-algebras	1
data	1
dependent-types	1
design-patterns	1
formal-system	1
formal-verification	1
foundation	1
fractional-permissions	1
garbage-collector	1
hardcopy	1
higher-order	1
hoare-logic	1
hoare-type-theory	1
htt	1
hybrid-types	1
information-hiding	1
jahob	1
local	1
local-reasoning	1
logic	1
monads	1
operational-semantics	1
program	1
program-analysis	1
programming-languages	1
project-master-thesis	1
reasoning	1
refinement-types	1
reynolds	1
separation	1
software-verification	1
structure	1
tools	1

Tag separation-logic [20 articles] Export Sort

Related Tags