ctr's library 99 articles Export Sort

Hide details

	Types and Effects: Towards the Integration of Functional and Imperative Programming [My Copy] (1987) by John Lucassen posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Efficient, Context-sensitive Pointer Analysis for C programs [My Copy] (1998) by R. Wilson posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Managing Memory with Types [My Copy] (2002) by D. Wang posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Certified Run-Time Code Generation [My Copy] (2002) by F. Smith posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Theory of Compiler Specification and Verification [My Copy] (1980) by W. Polak posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Static Analysis of Programs with Applications to Malicious Code Detection (Program Slicing) [My Copy] (1992) by R. Lo posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Type-Checking and Type-Inference For Object Oriented Programming [My Copy] (1989) by J. Graver posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Cooperative Garbage Collectors Using Smart Pointers in The C++ Programming Language [My Copy] (1991) by A. Ginter posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Code Generation On-The-Fly: a key to portable software [My Copy] (1994) by M. Franz posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Safe Lamguage Mechanisms For Modularization and Concurrency [My Copy] (2000) by M. Buchi posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Generalized Aliasing as a Basis for Program Analysis Tool [My Copy] (2000) by Robert O'Callahan posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	A New Architecture Design Paradigm: type-safe instruction set architectures [My Copy] (1995) by C. Bruggeman posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Connecting Effects and Uniqueness with Adoption [My Copy] International Workshop on Aliasing, Confinement and Ownership in OOP (2003) by J. Boyland posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Checking interference with fractional permissions [My Copy] Static Analysis: 10th International Symposium, volume 2694 of Lecture Notes in Computer Science (2003) by J. Boyland posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Separation logic: a logic for shared mutable data structures [My Copy] LICS'02, volume 29 (2002) by J. Reynolds posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Separation and Information Hiding [My Copy] Principles of Programming Languages (POPL04) (2004) by P. O'Hearn, H. Yang, J. Reynolds posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Resources, Concurrency and Local Reasoning [My Copy] Theoretical Computer Science (2004) by P. O'Hearn posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	$My PDF bornat_04_fractional.pdf$ Fractional and counting permissions in separation logic [My Copy] (2004) by R. Bornat, C. Calcagno, P. O'Hearn, H. Yang posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Abstraction Mechanisms for Event Control in Program Debugging [My Copy] Ieee Transactions on Software Engineering 1989, Volume 15, Issue 7 (1989), pp. 890-901. by B. Lazzerini, L. Lopriore posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information [My Copy] (2003) by Patrick Lam, Martin Rinard posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	ArchJava: Connecting Software Architecture to Implementation [My Copy] In International Conference on Software Engineering 2002 (2002) by Jonathan Aldrich, Craig Chambers, David Notkin posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Dynamic Typing in A Statically Typed Language [My Copy] Acm Transactions on Programming Languages and Systems 1991, Volume 13, Issue 2 (1991), pp. 237-268. by M. Abadi, L. Cardelli, B. Pierce, G. Plotkin posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Adding Run-time Checking To the Portable-c Compiler [My Copy] Software-practice and Experience 1992, Volume 22, Issue 4 (1992), pp. 305-316. by J. Steffen posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Extensions To the C-programming Language for Enhanced Fault- Detection [My Copy] Software-practice and Experience 1993, Volume 23, Issue 6 (1993), pp. 617-628. by D. Flater, Y. Yesha, E. Park posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Efficient Detection of All Pointer and Array Access Errors [My Copy] Sigplan Notices 1994, Volume 29, Issue 6 (1994), pp. 290-301. by T. Austin, S. Breach, G. Sohi posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Simple Garbage-collector-safety [My Copy] Acm Sigplan Notices 1996, Volume 31, Issue 5 (1996), pp. 89-98. by H. Boehm posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Static Detection of Dynamic Memory Errors [My Copy] Acm Sigplan Notices 1996, Volume 31, Issue 5 (1996), pp. 44-53. by D. Evans posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Low-cost, Concurrent Checking of Pointer and Array Accesses in C Programs [My Copy] Software-practice and Experience 1997, Volume 27, Issue 1 (1997), pp. 87-110. by H. Patil, C. Fischer posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	An Apprentice Arrives! (Max Levinson on the Many Ways That A Young Artist Can Develop) [My Copy] Piano and Keyboard 1998, Volume 1, Issue 190 (1998), pp. 49-51. by K. Smith posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Memory Management With Explicit Regions [My Copy] Acm Sigplan Notices 1998, Volume 33, Issue 5 (1998), pp. 313-323. by D. Gay, A. Aiken posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Static Checker of Semantic Run-time Errors [My Copy] Programming and Computer Software 1998, Volume 24, Issue 6 (1998), pp. 288-300. by S. Kuksenko, V. Shelekhov posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Portable Run-time Type Description for Conventional Compilers [My Copy] Acm Sigplan Notices 1999, Volume 34, Issue 3 (1999), pp. 146-153. by S. Kakkad, M. Johnstone, P. Wilson posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	From System F To Typed Assembly Language [My Copy] Acm Transactions on Programming Languages and Systems 1999, Volume 21, Issue 3 (1999), pp. 527-568. by G. Morrisett, D. Walker, K. Crary, N. Glew posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Statically Safe Speculative Execution for Real-time Systems [My Copy] Ieee Transactions on Software Engineering 1999, Volume 25, Issue 5 (1999), pp. 701-721. by M. Younis, T. Marlowe, A. Stoyen, G. Tsai posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Type-safe Cast - Functional Pearl [My Copy] Acm Sigplan Notices 2000, Volume 35, Issue 9 (2000), pp. 58-67. by S. Weirich posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Visualizing Reference Patterns for Solving Memory Leaks in Java [My Copy] Concurrency-practice and Experience 2000, Volume 12, Issue 14 (2000), pp. 1431-1454. by W. D. De Pauw, G. Sevitsky posted to bibtex-import by ctr on 2005-04-05 13:04:11 as along with 1 person duckysherwood
	Evaluating the Effectiveness of Pointer Alias Analyses [My Copy] Science of Computer Programming 2001, Volume 39, Issue 1 (2001), pp. 31-55. by M. Hind, A. Pioli posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Concurrent Garbage Collection Using Program Slices on Multithreaded Processors [My Copy] Acm Sigplan Notices 2001, Volume 36, Issue 1 (2001), pp. 94-100. by M. Plakal, C. Fischer posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Typed Memory Management Via Static Capabilities [My Copy] Acm Transactions on Programming Languages and Systems 2000, Volume 22, Issue 4 (2000), pp. 701-771. by D. Walker, K. Crary, G. Morrisett posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Typing A Multi-language Intermediate Code [My Copy] Acm Sigplan Notices 2001, Volume 36, Issue 3 (2001), pp. 248-260. by A. Gordon, D. Syme posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	An Api for Runtime Code Patching [My Copy] International Journal of High Performance Computing Applications 2000, Volume 14, Issue 4 (2000), pp. 317-329. by B. Buck, J. Hollingsworth posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Language Support for Regions [My Copy] Acm Sigplan Notices 2001, Volume 36, Issue 5 (2001), pp. 70-80. by David Gay, Alex Aiken posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Incrementalized Pointer and Escape Analysis [My Copy] Acm Sigplan Notices 2001, Volume 36, Issue 5 (2001), pp. 35-46. by F. Vivien, M. Rinard posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Pointer Analysis: Haven't We Solved This Problem Yet? [My Copy] Acm Sigplan Notices 2001 (2001), pp. 54-61. by M. Hind posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Type-based analysis and applications [My Copy] ACM Sigplan Notices 2001 (2001), pp. 20-27. by J. Palsberg posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Stack-based type assembly language [My Copy] Journal of Functional Programming 2002, Vol 12 (2002), pp. 43-88. by G. Morrisett, K. Crary, N. Glew, D. Walker posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Open and closed scopes for constrained genericity [My Copy] Theoretical Computer Science 2002, Volume 275, Issue 1-2 (2002), pp. 215-258. by D. Duggan, J. Ophel posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Coping with Type Casts in C [My Copy] ESEC / SIGSOFT FSE (1999), pp. 180-198. by M. Siff, S. Chandra, T. Ball, K. Kunchithapadam, T. Reps posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	Region-Based Memory Management in Cyclone [My Copy] ACM SIGPLAN Notices 2002, Volume 37, Issue 5 (2002), pp. 282-293. by Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney posted to bibtex-import by ctr on 2005-04-05 13:04:11 as
	The Structure of Typed Programming Languages [My Copy] (1994) by David Schmidt posted to bibtex-import by ctr on 2005-04-05 13:04:11 as

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

Result page: 1 2 Next

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

bibtex-import	93
separation	3
logic	3
predicates	1
abstract	1
architecture	1
modular	1
effects	1
permissions	1

ctr's library 99 articles Export Sort

ctr's tags