新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

bunge library [381 articles]

最近 bunge さんのライブラリ .
  • Strategic directions in research on programming languages
    ACM Comput. Surv., Vol. 28, No. 4. (December 1996), pp. 644-652.
    by Chris Hankin, Hanne R Nielson, Jens Palsberg
    posted to research-ideas research program-analysis future by bunge on 2008-06-25 22:06:59 as read
  • Map-reduce-merge: simplified relational data processing on large clusters
    (2007), pp. 1029-1040.
    by Hung-Chih Yang, Ali Dasdan, Ruey-Lung Hsiao, Stott D Parker
    posted to map-reduce google distributed-computing databases by bunge on 2008-06-04 15:44:48 as ** along with 6 people dmeister idornescu jweslley pdlug pedagand rstata
  • 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 **
  • Interprocedural analysis of asynchronous programs
    (2007), pp. 339-350.
    by Ranjit Jhala, Rupak Majumdar
    posted to program-analysis dataflow-analysis concurrency asynchronous by bunge on 2008-06-03 15:45:49 as read along with 1 person and 1 group pganty groupverif
  • 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 *****
  • Semantics of context-free languages
    Theory of Computing Systems, Vol. 2, No. 2. (1 June 1968), pp. 127-145.
    by Donald E Knuth
    posted to attribute-grammar by bunge on 2008-02-07 01:59:25 as read
  • 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
  • No name: just notes on software reuse
    (2003), pp. 240-260.
    by Robert Biddle, Angela Martin, James Noble
    posted to history software-engineering by bunge on 2007-09-04 19:19:33 as ****
  • A unified approach to global program optimization
    (1973), pp. 194-206.
    by Gary A Kildall
    posted to program-analysis by bunge on 2007-08-28 16:19:23 as ** along with 3 people and 1 group bdauvergne pganty clconway groupverif
  • 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 **
  • Automatic computation of data set definitions.
    (1968), pp. 456-461.
    by John C Reynolds
    posted to shape-analysis by bunge on 2007-08-27 21:07:04 as read
  • 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
  • Interprocedural Aliasing in the Presence of Pointers
    No. lcsr-tr-174. (1991)
    by William Landi
    posted to interprocedural pointer-analysis by bunge on 2007-08-20 17:15:07 as **
  • Automatic discovery of linear restraints among variables of a program
    (1978), pp. 84-96.
    by Patrick Cousot, Nicolas Halbwachs
    posted to abstract-domains abstract-interpretation by bunge on 2007-08-16 18:49:10 as ** along with 3 people and 1 group srccheck eaubin pganty groupverif
  • 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
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/bunge

    Result page: 1 2 3 4 5 6 7 8 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.