tautologico's memory-management [24 articles] Export

Recent papers added to tautologico's library classified by the tag memory-management. You can also see everyone's memory-management.

Hide details

	Mostly lock-free malloc [My Copy] SIGPLAN Not., Vol. 38, No. 2 supplement. (2003), pp. 163-174. by Dave Dice, Alex Garthwaite posted to lock-free memory-management by tautologico on 2006-08-21 00:59:31 as
	CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A. [My Copy] (1994) by Henry G. Baker posted to continuations lazy memory-management by tautologico on 2006-04-20 19:29:37 as along with 4 people and 1 group dherman JeffreyPalmer pjd jkominek NU-PRL
	CONS should not CONS its Arguments, or a Lazy Alloc is a Smart Alloc [My Copy] ACM SIGPLAN Notices, Vol. 27, No. 3. (1992) by Henry G. Baker posted to lazy memory-management by tautologico on 2006-04-20 19:29:03 as along with 3 people JeffreyPalmer dsilva jkominek
	Semantics of Memory Management for Polymorphic Languages [My Copy] In Higer Order Operational Techniques in Semantics (1997) by Greg Morrisett, Robert Harper edited by A. Gordon, A. Pitts posted to memory-management by tautologico on 2006-03-11 02:20:27 as
	The Jalapeño Virtual Machine [My Copy] IBM Systems Journal, Vol. 39, No. 1. (March 2000), pp. 211-215. by B. Alpern, Et posted to java memory-management by tautologico on 2005-09-07 02:30:20 as
	Destructors, finalizers, and synchronization [My Copy] In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 262-272. by Hans-J Boehm posted to memory-management by tautologico on 2005-09-06 17:09:40 as along with 1 person and 2 groups salagnac ConcertRG Verimag
	Typed Memory Management in a Calculus of Capabilities [My Copy] In Conference Record of POPL 99: The 26th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 262-275. by Karl Crary, David Walker, Greg Morrisett posted to memory-management types by tautologico on 2005-08-01 03:41:30 as
	Low-level linear memory management [My Copy] (2002) by C. Hawblitzel, H. Huang, E. Krupski, E. Wei posted to linearity memory-management by tautologico on 2005-07-27 00:21:28 as
	Safe and Flexible Memory Management in Cyclone [My Copy] No. CS-TR-4514. (July 2003) by Mike Hicks, Greg Morrisett, Dan Grossman, Trevor Jim posted to cyclone memory-management reference-counting regions by tautologico on 2005-07-16 18:35:29 as
	Memory Management with Use-Counted Regions [My Copy] by Tachio Terauchi, Alex Aiken posted to memory-management regions by tautologico on 2005-07-15 21:15:00 as along with 1 person and 1 group salagnac Verimag
	Reference Counting as a Computational Interpretation of Linear Logic [My Copy] Journal of Functional Programming, Vol. 6, No. 2. (1996), pp. 195-244. by Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke posted to linear-logic linearity memory-management reference-counting by tautologico on 2005-07-15 21:14:06 as
	Lively linear Lisp: “look ma, no garbage!” [My Copy] SIGPLAN Not., Vol. 27, No. 8. (August 1992), pp. 89-98. by Henry G. Baker posted to linearity memory-management by tautologico on 2005-07-15 21:07:01 as along with 2 people rwtodd dsilva
	Typed Memory Management in a Calculus of Capabilities [My Copy] In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 262-275. by Karl Crary, David Walker, Greg Morrisett posted to memory-management regions by tautologico on 2005-03-26 00:44:49 as
	A constraint-based region inference algorithm [My Copy] Theoretical Computer Science, Vol. 258, No. 1--2. (2001), pp. 299-392. by Lars Birkedal, Mads Tofte posted to memory-management regions types by tautologico on 2005-03-25 06:34:09 as
	Typed memory management via static capabilities [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 22, No. 4. (2000), pp. 701-771. by David Walker, Karl Crary, Greg Morrisett posted to memory-management types by tautologico on 2005-03-24 18:42:10 as along with 1 person pnkfelix
	Region Inference for an Object-Oriented Language [My Copy] by Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin Rinard posted to memory-management oop regions by tautologico on 2005-03-24 06:25:01 as along with 2 people and 1 group salagnac tomatoplan Verimag
	Type-preserving garbage collectors [My Copy] ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2001), pp. 166-178. by Daniel C. Wang, Andrew W. Appel posted to memory-management types by tautologico on 2005-03-24 06:24:30 as
	On Regions and Linear Types [My Copy] In International Conference on Functional Programming (2001), pp. 181-192. by David Walker, Kevin Watkins posted to linear-types linearity memory-management regions by tautologico on 2005-03-24 06:23:44 as along with 1 person tomatoplan
	Reconsidering custom memory allocation [My Copy] (2002) by E. Berger, B. Zorn, K. Mckinley posted to memory-management regions by tautologico on 2005-03-24 06:21:20 as
	Language Support for Regions [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (2001), pp. 70-80. by David Gay, Alexander Aiken posted to memory-management regions by tautologico on 2005-03-24 06:20:39 as along with 3 people and 2 groups dfsweeney jolilius salagnac TUCS-ES_Lab Verimag
	Memory Management with Explicit Regions [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 313-323. by David Gay, Alexander Aiken posted to memory-management regions by tautologico on 2005-03-24 06:20:18 as along with 4 people and 1 group dfsweeney salagnac tmiya neilc Verimag
	Formal type soundness for Cyclone's region system [My Copy] by D. Grossman, G. Morrisett, Y. Wang, T. Jim, M. Hicks, J. Cheney posted to cyclone memory-management regions by tautologico on 2005-03-24 06:19:13 as along with 1 person tomatoplan
	Region-Based Memory Management in Cyclone [My Copy] by Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney posted to cyclone memory-management regions by tautologico on 2005-03-24 06:18:24 as along with 4 people and 1 group MattOConnor salagnac tomatoplan krisn11 Verimag
	Region-Based Memory Management [My Copy] Information and Computation (1997) by Mads Tofte, Jean-Pierre Talpin posted to memory-management regions by tautologico on 2005-03-24 06:17:51 as along with 7 people and 2 groups dfsweeney jolilius salagnac tomatoplan tmiya glaubersp harshrc TUCS-ES_Lab Verimag

Note: You may cite this page as: http://www.citeulike.org/user/tautologico/tag/memory-management

types	63
concurrency	51
functional	26
garbage-collection	25
reference-counting	25
memory-management	24
language-implementation	21
monads	21
regions	18
transactional	18
effects	16
type-theory	16
linearity	15
transactional-memory	13
haskell	11
linear-logic	11
ml	11
stm	11
lambda-calculus	10
dependent-types	7
linear-types	7
languages	6
lazy	6
logic	6
typed-assembly-language	6
cyclone	5
dynamic-types	5
logic-programming	5
pi-calculus	5
category-theory	4
intensional-types	4
lock-free	4
pcc	4
petri-nets	4
arrows	3
coinduction	3
continuations	3
java	3
jvm	3
partial-evaluation	3
prolog	3
aliasing	2
compilers	2
erlang	2
graphs	2
intersection-types	2
join-calculus	2
mobility	2
modules	2
multicore	2
object-calculus	2
oop	2
p2p	2
programming	2
region-inference	2
semantics	2
sml	2
type-inference	2
value-restriction	2
abstraction	1
adt	1
algebra	1
atomicity	1
c	1
ccs	1
cml	1
coalgebra	1
combinators	1
concurrent	1
constraint-programming	1
coordination-languages	1
data-structures	1
dotnet	1
dsl	1
existential-types	1
featherweight-java	1
floating-point	1
fold	1
formal-methods	1
fsharp	1
generational	1
grids	1
hindley-milner	1
laziness	1
linda	1
model-checking	1
multi-stage-programming	1
ocaml	1
parsing	1
pattern-matching	1
process-algebras	1
proof-theory	1
reactive	1
records	1
separation-logic	1
smt	1
substructural-logics	1
system-f	1
temporal-logic	1
topology	1
type-classes	1
views	1

tautologico's memory-management [24 articles] Export

tautologico's tags