varming's library 19 articles Export

	Notions of computation and monads [My Copy] Inf. Comput., Vol. 93, No. 1. (July 1991), pp. 55-92. by Eugenio Moggi posted to calculus computational denotational effects lambda monad nondeterminism principle relational by varming on 2009-02-07 00:38:42 as along with 4 people and 1 group robotact kozima spl bfraser ConcertRG
	On spectral clustering: Analysis and an algorithm [My Copy] (2001) by A. Ng, M. Jordan, Y. Weiss posted to clustering learning machine spectral by varming on 2008-04-22 21:29:22 as along with 13 people and 1 group frank_lin mthomure jrodriguez mbregman ajay81 pdlug walkking albher dimatura kohei-h alanzhaocs delip ecome Computer_Graphics
	A Formulation of the Simple Theory of Types [My Copy] The Journal of Symbolic Logic, Vol. 5, No. 2. (1940), pp. 56-68. by Alonzo Church posted to higher hol logic by varming on 2008-03-09 22:02:50 as along with 6 people neelk yoriyuki Benja ajk calvins d23
	Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic [My Copy] FM 2006: Formal Methods In 14th International Symposium on Formal Methods (August 2006), pp. 508-523. by Viorel Preoteasa posted to hoare hol logic operational pvs semantics separation by varming on 2008-03-09 21:51:29 as
	A general framework for certifying garbage collectors and their mutators [My Copy] SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 468-479. by Andrew Mccreight, Zhong Shao, Chunxiao Lin, Long Li posted to assembly collector garbage by varming on 2008-03-08 17:01:40 as
	Foundational Typed Assembly Language with Certified Garbage Collection [My Copy] In TASE '07: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (2007), pp. 326-338. by Chunxiao Lin, Andrew Mccreight, Zhong Shao, Yiyun Chen, Yu Guo posted to assembly collector coq garbage tal typed by varming on 2008-03-08 16:59:59 as
	Local Reasoning about Programs that Alter Data Structures [My Copy] In CSL '01: Proceedings of the 15th International Workshop on Computer Science Logic (2001), pp. 1-19. by Peter W. O'Hearn, John C. Reynolds, Hongseok Yang posted to logic separation by varming on 2008-03-07 15:25:35 as
	A semantics for concurrent separation logic [My Copy] Theoretical Computer Science, Vol. 375, No. 1-3. (2007), pp. 227-270. by Stephen Brookes posted to concurrency denotational logic semantics separation trace by varming on 2008-03-06 18:17:01 as
	HOLCF = HOL + LCF [My Copy] J. Funct. Program., Vol. 9, No. 2. (March 1999), pp. 191-223. by Olaf Müller, Tobias Nipkow, David Von Oheimb, Oscar Slotosch posted to hol holcf isabelle lcf logic prover theorem by varming on 2008-03-06 14:42:00 as
	Isabelle: The Next Seven Hundred Theorem Provers [My Copy] In Proceedings of the 9th International Conference on Automated Deduction (1988), pp. 772-773. by Lawrence C. Paulson posted to lcf logic prover theorem by varming on 2008-03-06 14:36:08 as
	Introduction To The Hol System [My Copy] HOL Theorem Proving System and Its Applications, 1991., International Workshop on the In HOL Theorem Proving System and Its Applications, 1991., International Workshop on the (1991), pp. 2-3. by M. Gordon posted to definitional hol lcf logic principle by varming on 2008-03-06 14:28:37 as along with 1 person mattmight
	Hoare Logics for Recursive Procedures and Unbounded Nondeterminism [My Copy] In CSL '02: Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic (2002), pp. 103-119. by Tobias Nipkow posted to hoare logic nondeterminism semantics by varming on 2008-03-04 12:01:54 as
	An example of local reasoning in BI pointer logic: the Schorr-Waite graph marking algorithm [My Copy] (2000) by H. Yang posted to collector first garbage graph logic marking order schorr-waite separation by varming on 2008-03-04 11:59:52 as along with 1 person xbwang
	Separation logic: a logic for shared mutable data structures [My Copy] (2002) by J. Reynolds posted to first logic order separation by varming on 2008-03-04 11:57:12 as along with 2 people oryp6518 bunge
	A nonrecursive list compacting algorithm [My Copy] Commun. ACM, Vol. 13, No. 11. (November 1970), pp. 677-678. by C. J. Cheney posted to collector garbage lisp list by varming on 2008-03-04 11:20:33 as
	Web programming with SMLserver [My Copy] (2003) by M. Elsman, N. Hallenberg posted to dynamic programming sml smlserver web by varming on 2008-02-25 18:38:09 as along with 1 person mzp
	Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion [My Copy] by G. M. Bierman, A. M. Pitts, C. V. Russo posted to abadi linear logic operational parametricity plotkin relational semantics by varming on 2008-02-25 18:32:06 as
	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 higher logic order separation by varming on 2008-02-25 07:10:10 as along with 1 person neelk
	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 logic separation by varming on 2008-02-25 06:56:03 as along with 1 person neelk

Note: You may cite this page as: http://www.citeulike.org/user/varming

logic	13
separation	7
garbage	4
collector	4
semantics	4
hol	4
order	3
lcf	3
principle	2
theorem	2
higher	2
operational	2
prover	2
relational	2
assembly	2
denotational	2
nondeterminism	2
hoare	2
first	2
tal	1
learning	1
calculus	1
monad	1
computational	1
isabelle	1
typed	1
lisp	1
smlserver	1
list	1
machine	1
concurrency	1
coq	1
abadi	1
dynamic	1
clustering	1
spectral	1
definitional	1
marking	1
trace	1
lambda	1
schorr-waite	1
web	1
linear	1
effects	1
graph	1
pvs	1
plotkin	1
holcf	1
sml	1
programming	1
parametricity	1

varming's library 19 articles Export

varming's tags