Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

bunge's hardcopy [257 articles]

Recent papers added to bunge's library classified by the tag hardcopy. You can also see everyone's hardcopy.
  • What's in Unison? A Formal Specification and Reference Implementation of a File Synchronizer
    by Benjamin C Pierce, Jerome Vouillon
    posted to unison synchronization hardcopy borg by bunge on 2008-06-04 15:29:29 as **
  • Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler
    Higher-Order and Symbolic Computation, Vol. 12, No. 4. (1999), pp. 381-391.
    by Yoshihiko Futamura
    posted to partial-evaluation hardcopy by bunge on 2008-05-05 20:52:07 as ***** along with 3 people scavadini cdiggins ronnix
  • A Transformation System for Developing Recursive Programs
    Journal of the ACM, Vol. 24, No. 1. (1977), pp. 44-67.
    by Rod M Burstall, John Darlington
    posted to transformation partial-evaluation hardcopy by bunge on 2008-05-05 19:44:45 as *****
  • Statistically rigorous java performance evaluation
    SIGPLAN Not., Vol. 42, No. 10. (October 2007), pp. 57-76.
    by Andy Georges, Dries Buytaert, Lieven Eeckhout
    posted to hardcopy java methodology performance research by bunge on 2007-11-05 21:06:59 as **
  • Refinement-based context-sensitive points-to analysis for Java
    (2006), pp. 387-400.
    by Manu Sridharan, Rastislav Bod\ik
    posted to context-sensitivity hardcopy java pointer-analysis by bunge on 2007-11-04 20:09:27 as **
  • Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation
    SIGPLAN Not., Vol. 35, No. 5. (May 2000), pp. 57-69.
    by Ben-Chung Cheng, Wen-Mei W Hwu
    posted to hardcopy interprocedural plq-related-representation pointer-analysis by bunge on 2007-10-03 21:12:17 as **
  • How is aliasing used in systems software?
    (2006), pp. 69-80.
    by Brian Hackett, Alex Aiken
    posted to aliasing hardcopy program-analysis by bunge on 2007-10-03 20:49:49 as read
  • Which pointer analysis should I use?
    Vol. 25, No. 5. (September 2000), pp. 113-123.
    by Michael Hind, Anthony Pioli
    posted to hardcopy pointer-analysis by bunge on 2007-10-03 20:49:16 as ** along with 1 person amorkan
  • Formal language, grammar and set-constraint-based program analysis by abstract interpretation
    (1995), pp. 170-181.
    by Patrick Cousot, Radhia Cousot
    posted to abstract-interpretation hardcopy shape-analysis by bunge on 2007-08-27 21:10:15 as **
  • Detecting conflicts between structure accesses
    (1988), pp. 24-31.
    by JR Larus, PN Hilfinger
    posted to hardcopy shape-analysis by bunge on 2007-08-27 20:59:01 as ** along with 1 person and 1 group rdyer Laboratory for Software Design
  • Undecidability of static analysis
    ACM Lett. Program. Lang. Syst., Vol. 1, No. 4. (December 1992), pp. 323-337.
    by William Landi
    posted to hardcopy pointer-analysis by bunge on 2007-08-20 17:18:55 as ** along with 2 people clconway alphabetagamma
  • A flexible approach to interprocedural data flow analysis and programs with recursive data structures
    (1982), pp. 66-74.
    by Neil D Jones, Steven S Muchnick
    posted to hardcopy interprocedural shape-analysis by bunge on 2007-08-15 19:03:04 as read
  • Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C
    (1996), pp. 1-15.
    by Rakesh Ghiya, Laurie J Hendren
    posted to hardcopy shape-analysis by bunge on 2007-08-15 19:01:48 as read
  • Object-Oriented Programming Versus Abstract Data Types
    (1991), pp. 151-178.
    by William R Cook
    posted to expression-problem hardcopy by bunge on 2007-08-15 18:57:57 as read
  • Theorem proving support in programming language semantics
    (6 Jul 2007)
    by Yves Bertot
    posted to hardcopy programming-languages semantics theorem-proving by bunge on 2007-08-15 18:56:58 as ** along with 3 people jrw robotact mvermaat
  • The Structure and Value of Modularity in Software Design
    No. CS-2001-13. (JanuaryAugust 2001)
    by Kevin Sullivan, William G Griswold, Yuanfang Cai, Ben Hallen
    posted to hardcopy plq-motivation software-engineering by bunge on 2007-08-15 18:55:11 as ****
  • Dynamic class loading in the Java virtual machine
    (1998), pp. 36-44.
    by Sheng Liang, Gilad Bracha
    posted to dynamic-class-loading hardcopy java vm by bunge on 2007-08-15 18:53:47 as read
  • A Query Language Based on the Ambient Logic
    Lecture Notes in Computer Science, Vol. 2028 (2001)
    by Luca Cardelli, Giorgio Ghelli
    posted to hardcopy logic plq-related by bunge on 2007-08-15 18:52:09 as *****
  • A Decidable Logic for Describing Linked Data Structures
    (1999), pp. 2-19.
    by Michael Benedikt, Thomas W Reps, Shmuel Sagiv
    posted to hardcopy plq-related shape-analysis by bunge on 2007-08-15 18:51:00 as *****
  • Parallelizing Programs with Recursive Data Structures
    IEEE Trans. Parallel Distrib. Syst., Vol. 1, No. 1. (January 1990), pp. 35-47.
    by LJ Hendren, A Nicolau
    posted to hardcopy parallelism shape-analysis by bunge on 2007-08-15 18:49:41 as **
  • Free-Me: a static analysis for automatic individual object reclamation
    SIGPLAN Not., Vol. 41, No. 6. (June 2006), pp. 364-375.
    by Samuel Z Guyer, Kathryn S Mckinley, Daniel Frampton
    posted to garbage-collection hardcopy shape-analysis by bunge on 2007-08-15 18:48:30 as read
  • Connection Analysis: A Practical Interprocedural Heap Analysis for C
    (1995), pp. 515-533.
    by Rakesh Ghiya, Laurie J Hendren
    posted to hardcopy shape-analysis by bunge on 2007-08-15 18:46:36 as read
  • Abstract description of pointer data structures: an approach for improving the analysis and optimization of imperative programs
    ACM Lett. Program. Lang. Syst., Vol. 1, No. 3. (September 1992), pp. 243-260.
    by Joseph Hummel, Laurie J Hendren, Alexandru Nicolau
    posted to hardcopy shape-analysis by bunge on 2007-08-15 18:45:52 as read
  • Region-based shape analysis with tracked locations
    SIGPLAN Not., Vol. 40, No. 1. (January 2005), pp. 310-323.
    by Brian Hackett, Radu Rugina
    posted to hardcopy shape-analysis by bunge on 2007-08-15 18:42:10 as read
  • Designing Programming Languages for the Analyzability of Pointer Data Structures
    Computer Languages, Vol. 19, No. 2. (1993), pp. 119-134.
    by Laurie J Hendren, Guang R Gao
    posted to design hardcopy program-analysis programming-languages by bunge on 2007-08-15 18:40:47 as *****
  • Storeless semantics and alias logic
    Vol. 38, No. 10. (October 2003), pp. 55-65.
    by Marius Bozga, Radu Iosif, Yassine Laknech
    posted to hardcopy pointer-analysis shape-analysis storeless by bunge on 2007-08-15 18:39:20 as read along with 1 person and 1 group kiniry SRG_at_UCD
  • Separation logic: a logic for shared mutable data structures
    (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
  • Complexity of single level function pointer aliasing analysis
    (1994)
    by S Zhang, B Ryder
    posted to complexity hardcopy pointer-analysis by bunge on 2007-08-15 18:34:52 as read
  • On the Complexity of Function Pointer May-Alias Analysis
    (1997), pp. 381-392.
    by Robert Muth, Saumya K Debray
    posted to complexity hardcopy pointer-analysis by bunge on 2007-08-15 18:34:10 as **
  • New results on the computability and complexity of points-to analysis
    (2003)
    by C Vt
    posted to complexity hardcopy pointer-analysis by bunge on 2007-08-15 18:32:41 as read
  • On the Complexity of Flow-Sensitive Dataflow Analyses
    (2000), pp. 67-80.
    by Robert Muth, Saumya K Debray
    posted to complexity flow-sensitivity hardcopy program-analysis by bunge on 2007-08-15 18:32:00 as read
  • Light context-sensitive points-to analysis for java
    (2007), pp. 25-30.
    by Ana Milanova
    posted to context-sensitivity hardcopy java pointer-analysis by bunge on 2007-08-15 18:30:28 as **
  • On the Cubic Bottleneck in Subtyping and Flow Analysis
    (1997), pp. 342-351.
    by Nevin Heintze, David A Mcallester
    posted to complexity hardcopy program-analysis by bunge on 2007-08-15 18:29:36 as **
  • Towards scalable flow and context sensitive pointer analysis
    (2005), pp. 831-836.
    by Jianwen Zhu
    posted to context-sensitivity flow-sensitivity hardcopy pointer-analysis by bunge on 2007-08-15 18:28:50 as read
  • The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code
    (2007), pp. 290-299.
    by Ben Hardekopf, Calvin Lin
    posted to hardcopy pointer-analysis by bunge on 2007-08-15 18:27:19 as read along with 1 person srccheck
  • The Interprocedural Coincidence Theorem
    (1992), pp. 125-140.
    by Jens Knoop, Bernhard Steffen
    posted to hardcopy program-analysis by bunge on 2007-08-15 18:24:38 as read
  • Abstract interpretation: a semantics-based tool for program analysis
    (1995), pp. 527-636.
    by Neil D Jones, Flemming Nielson
    posted to abstract-interpretation hardcopy by bunge on 2007-08-15 18:22:53 as ** along with 1 person mercutio
  • Searching for points-to analysis
    SIGSOFT Softw. Eng. Notes, Vol. 27, No. 6. (November 2002), pp. 61-70.
    by Glenn Bruns, Satish Chandra
    posted to framework hardcopy pointer-analysis by bunge on 2007-08-15 18:22:06 as read along with 1 person schuh
  • Verifying aspect advice modularly
    SIGSOFT Softw. Eng. Notes, Vol. 29, No. 6. (November 2004), pp. 137-146.
    by Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg
    posted to hardcopy by bunge on 2007-08-15 17:24:00 as **
  • The Liberty Structural Specification Language: A High-Level Modeling Language for Component Reuse
    (June 2004), pp. 195-206.
    by Manish Vachharajani, Neil Vachharajani, David I August
    posted to hardcopy modeling by bunge on 2007-08-15 17:22:45 as **
  • Generalizing Parametricity Using Information-flow
    (2005), pp. 62-71.
    by Geoffrey Washburn
    posted to hardcopy types by bunge on 2007-08-15 17:22:02 as read along with 1 person Scis0000002
  • Incremental distance join algorithms for spatial databases
    (1998), pp. 237-248.
    by G\isli R Hjaltason, Hanan Samet
    posted to cs387h databases hardcopy by bunge on 2007-08-15 17:17:22 as **
  • Transaction management in the R* distributed database management system
    ACM Trans. Database Syst., Vol. 11, No. 4. (December 1986), pp. 378-396.
    by C Mohan, B Lindsay, R Obermarck
    posted to cs387h databases distributed hardcopy transactions by bunge on 2007-08-15 17:16:48 as ** along with 1 person epaulson
  • ARIES: a transaction recovery method supporting fine-granularity locking and partial rollbacks using write-ahead logging
    ACM Trans. Database Syst., Vol. 17, No. 1. (March 1992), pp. 94-162.
    by C Mohan, Don Haderle, Bruce Lindsay, Hamid Pirahesh, Peter Schwarz
    posted to cs387h databases hardcopy recovery transactions by bunge on 2007-08-15 17:15:58 as ** along with 4 people and 1 group thiagomanel epaulson myui neilc Desktop Data Grid
  • Sagas
    Vol. 16, No. 3. (December 1987), pp. 249-259.
    by Hector Garcia-Molina, Kenneth Salem
    posted to cs387h databases hardcopy transactions by bunge on 2007-08-15 17:15:07 as ** along with 3 people and 1 group broussea neilc jfischer Rigi
  • On optimistic methods for concurrency control
    ACM Trans. Database Syst., Vol. 6, No. 2. (June 1981), pp. 213-226.
    by HT Kung, John T Robinson
    posted to concurrency cs387h databases hardcopy by bunge on 2007-08-15 17:14:07 as ** along with 3 people ejones epaulson yang
  • A database cache for high performance and fast restart in database systems
    ACM Trans. Database Syst., Vol. 9, No. 4. (December 1984), pp. 503-525.
    by Klaus Elhardt, Rudolf Bayer
    posted to cs387h databases hardcopy recovery by bunge on 2007-08-15 17:12:10 as read
  • Principles of transaction-oriented database recovery
    ACM Comput. Surv., Vol. 15, No. 4. (December 1983), pp. 287-317.
    by Theo Haerder, Andreas Reuter
    posted to cs387h databases hardcopy recovery transactions by bunge on 2007-08-15 17:11:27 as read along with 2 people ljcamargos neilc
  • Efficient locking for concurrent operations on B-trees
    ACM Trans. Database Syst., Vol. 6, No. 4. (December 1981), pp. 650-670.
    by Philip L Lehman, Bing
    posted to concurrency cs387h databases data-structures hardcopy by bunge on 2007-08-15 17:10:33 as read along with 3 people damaru epaulson myui
  • Interactions between query optimization and concurrency control
    Research Issues on Data Engineering, 1992: Transaction and Query Processing. Second International Workshop on (1992), pp. 26-35.
    by C Mohan
    posted to concurrency databases hardcopy query-optimization by bunge on 2007-08-15 17:09:49 as read
    • Note: You may cite this page as: http://www.citeulike.org/user/bunge/tag/hardcopy

    Result page: 1 2 3 4 5 6 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.