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

di bec library [61 articles]

Articoli aggiunti di recente nella biblioteca di bec .
  • BI as an assertion language for mutable data structures
    Vol. 36, No. 3. (March 2001), pp. 14-26.
    by Samin S Ishtiaq, Peter W O'Hearn
    posted to data-structures logic popl01 by bec on 2006-10-07 23:58:06 as ** along with 1 person and 1 group kiniry SRG_at_UCD
  • A Local Shape Analysis Based on Separation Logic
    Lecture Notes in Computer Science, Vol. 3920 (January 2006), pp. 287-302.
    by Dino Distefano, Peter O'Hearn, Hongseok Yang
    posted to shape-analysis tacas06 by bec on 2006-06-21 23:05:02 as ** along with 1 person bunge
  • Combinations of abstract domains for logic programming
    (1994), pp. 227-239.
    by Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
    posted to popl94 by bec on 2006-06-02 22:37:31 as **
  • Hybrid type checking
    Vol. 41, No. 1. (January 2006), pp. 245-256.
    by Cormac Flanagan
    posted to popl06 types by bec on 2006-05-17 19:59:08 as ** along with 3 people and 2 groups greenrd dsilva janschaefer SRG_at_UCD TU-KL-SoftwareTechnologyGroup
  • Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists
    Lecture Notes in Computer Science, Vol. 3385 (2005)
    by Roman Manevich, E Yahav, G Ramalingam, Mooly Sagiv
    edited by Radhia Cousot
    posted to data-structures vmcai05 by bec on 2006-04-26 01:25:30 as **
  • Parametric shape analysis via 3-valued logic
    (1999), pp. 105-118.
    by Mooly Sagiv, Thomas Reps, Reinhard Wilhelm
    posted to data-structures popl99 shape-analysis by bec on 2006-04-21 22:06:13 as ** along with 1 person srccheck
  • An effective theory of type refinements
    Vol. 38, No. 9. (September 2003), pp. 213-225.
    by Yitzhak Mandelbaum, David Walker, Robert Harper
    posted to icfp03 types by bec on 2006-04-19 23:37:02 as **
  • Enforcing high-level protocols in low-level software
    Vol. 36, No. 5. (May 2001), pp. 59-69.
    by Robert Deline, Manuel F&\#228;hndrich
    posted to pldi01 types by bec on 2006-04-18 22:50:14 as ** along with 1 person criswell
  • Adoption and focus: practical linear types for imperative programming
    Vol. 37, No. 5. (May 2002), pp. 13-24.
    by Manuel Fahndrich, Robert Deline
    posted to pldi02 types by bec on 2006-04-18 22:45:58 as ** along with 2 people and 1 group dherman voigt NU-PRL
  • Systematic design of program transformation frameworks by abstract interpretation
    Vol. 37, No. 1. (January 2002), pp. 178-190.
    by Patrick Cousot, Radhia Cousot
    posted to popl02 program-analysis by bec on 2006-04-11 18:43:02 as **
  • Putting static analysis to work for verification: A case study
    Vol. 25, No. 5. (September 2000), pp. 26-38.
    by Tal Lev-Ami, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm
    posted to data-structures program-analysis sorting by bec on 2006-04-06 19:23:19 as ** along with 1 person schuh
  • Joining dataflow with predicates
    Vol. 30, No. 5. (September 2005), pp. 227-236.
    by Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar
    posted to fse05 program-analysis by bec on 2006-03-13 21:23:20 as ** along with 1 person jfischer
  • Verifying safety properties using separation and heterogeneous abstractions
    Vol. 39, No. 6. (May 2004), pp. 25-34.
    by Eran Yahav, G Ramalingam
    posted to data-structures pldi04 verification by bec on 2006-02-22 01:05:58 as **
  • Race checking by context inference
    Vol. 39, No. 6. (May 2004), pp. 1-13.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to concurrency pldi04 race-detection by bec on 2006-02-22 01:04:44 as ** along with 1 person shimomura
  • Guarded recursive datatype constructors
    Vol. 38, No. 1. (January 2003), pp. 224-235.
    by Hongwei Xi, Chiyan Chen, Gang Chen
    posted to popl03 types by bec on 2006-02-20 23:40:26 as ** along with 1 person eaubin
  • Lazy abstraction
    Vol. 37, No. 1. (January 2002), pp. 58-70.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar, Gr&\#233;goire Sutre
    posted to popl02 program-analysis by bec on 2006-02-15 22:48:45 as ** along with 4 people and 1 group zuleger msakai shimomura pganty groupverif
  • Data groups: specifying the modification of extended state
    Vol. 33, No. 10. (October 1998), pp. 144-153.
    by Rustan
    posted to oopsla98 verification by bec on 2006-02-14 20:44:31 as ** along with 1 person and 1 group kiniry SRG_at_UCD
  • The pointer assertion logic engine
    Vol. 36, No. 5. (May 2001), pp. 221-231.
    by Anders M&\#248;ller, Michael I Schwartzbach
    posted to data-structures pldi01 types verification by bec on 2006-02-08 00:31:03 as **
  • Graph types
    (1993), pp. 196-205.
    by Nils Klarlund, Michael I Schwartzbach
    posted to data-structures popl93 types by bec on 2006-02-08 00:00:03 as ** along with 2 people ansobol jrw
  • Verifying properties of well-founded linked lists
    Vol. 41, No. 1. (January 2006), pp. 115-126.
    by Shuvendu K Lahiri, Shaz Qadeer
    posted to data-structures popl06 verification by bec on 2006-02-07 22:48:17 as **
  • Role analysis
    Vol. 37, No. 1. (January 2002), pp. 17-32.
    by Viktor Kuncak, Patrick Lam, Martin Rinard
    posted to popl02 program-analysis by bec on 2006-02-07 21:41:32 as **
  • Refinement types for ML
    Vol. 26, No. 6. (June 1991), pp. 268-277.
    by Tim Freeman, Frank Pfenning
    posted to pldi91 types by bec on 2006-02-07 20:13:23 as ** along with 1 person radico
  • A semantics for procedure local heaps and its abstractions
    Vol. 40, No. 1. (January 2005), pp. 296-309.
    by Noam Rinetzky, J&\#246;rg Bauer, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm
    posted to data-structures popl05 by bec on 2006-01-31 21:56:29 as **
  • Region-based shape analysis with tracked locations
    Vol. 40, No. 1. (January 2005), pp. 310-323.
    by Brian Hackett, Radu Rugina
    posted to popl05 shape-analysis by bec on 2006-01-31 21:56:16 as **
  • A framework for numeric analysis of array operations
    Vol. 40, No. 1. (January 2005), pp. 338-350.
    by Denis Gopan, Thomas Reps, Mooly Sagiv
    posted to popl05 by bec on 2006-01-31 21:55:59 as **
  • Scalable error detection using boolean satisfiability
    Vol. 40, No. 1. (January 2005), pp. 351-363.
    by Yichen Xie, Alex Aiken
    posted to popl05 program-analysis sat by bec on 2006-01-31 21:08:21 as **
  • Associated types with class
    (2005), pp. 1-13.
    by Manuel MT Chakravarty, Gabriele Keller, Simon P Jones, Simon Marlow
    posted to haskell popl05 types by bec on 2006-01-31 21:05:05 as ** along with 10 people and 2 groups jpbernardy samth greenrd zednenem voigt msakai bonotake spl gkuan americovargas NU-PRL SRG_at_UCD
  • Flow-sensitive type qualifiers
    Vol. 37, No. 5. (May 2002), pp. 1-12.
    by Jeffrey S Foster, Tachio Terauchi, Alex Aiken
    posted to pldi02 types by bec on 2006-01-31 01:29:21 as read along with 2 people amorkan keigoi
  • Composing security policies with polymer
    Vol. 40, No. 6. (June 2005), pp. 305-314.
    by Lujo Bauer, Jay Ligatti, David Walker
    posted to pldi05 by bec on 2006-01-19 21:49:22 as ** along with 1 person jfischer
  • Permission-based ownership: encapsulating state in higher-order typed languages
    Vol. 40, No. 6. (June 2005), pp. 96-106.
    by Neel Krishnaswami, Jonathan Aldrich
    posted to ownership pldi05 types by bec on 2006-01-19 21:49:04 as ** along with 1 person thsutton
  • Essential language support for generic programming
    Vol. 40, No. 6. (June 2005), pp. 73-84.
    by Jeremy G Siek, Jeremy Siek, Andrew Lumsdaine
    posted to pldi05 by bec on 2006-01-19 21:48:05 as ** along with 3 people yallop thsutton jsiek
  • Checking type safety of foreign function calls
    Vol. 40, No. 6. (June 2005), pp. 62-72.
    by Michael Furr, Jeffrey S Foster
    posted to pldi05 types by bec on 2006-01-19 21:34:39 as **
  • VYRD: verifYing concurrent programs by runtime refinement-violation detection
    Vol. 40, No. 6. (June 2005), pp. 27-37.
    by Tayfun Elmas, Serdar Tasiran, Shaz Qadeer
    posted to concurrency pldi05 verification by bec on 2006-01-19 21:34:25 as **
  • Scrap your boilerplate with class: extensible generic functions
    (2005), pp. 204-215.
    by Ralf L&\#228;mmel, Simon P Jones
    posted to haskell icfp05 by bec on 2006-01-19 17:35:01 as ** along with 6 people hamish yallop voigt kavabean lomeo americovargas
  • Type-based race detection for Java
    Vol. 35, No. 5. (May 2000), pp. 219-232.
    by Cormac Flanagan, Stephen N Freund
    posted to concurrency pldi00 race-detection types by bec on 2005-12-08 20:16:01 as ** along with 4 people zuleger newdawn srccheck schuh
  • Safety checking of machine code
    Vol. 35, No. 5. (May 2000), pp. 70-82.
    by Zhichen Xu, Barton P Miller, Thomas Reps
    posted to pldi00 by bec on 2005-11-10 07:41:38 as ** along with 1 person emiliorp
  • Alias analysis of executable code
    (1998), pp. 12-24.
    by Saumya Debray, Robert Muth, Matthew Weippert
    posted to popl98 by bec on 2005-11-10 07:40:33 as ** along with 1 person bunge
  • Detecting equality of variables in programs
    (1988), pp. 1-11.
    by B Alpern, MN Wegman, FK Zadeck
    posted to popl88 program-analysis by bec on 2005-11-10 02:54:29 as **
  • Composing dataflow analyses and transformations
    Vol. 37, No. 1. (January 2002), pp. 270-282.
    by Sorin Lerner, David Grove, Craig Chambers
    posted to popl02 program-analysis by bec on 2005-11-04 03:51:23 as read along with 1 person surana
  • Scalable statistical bug isolation
    Vol. 40, No. 6. (June 2005), pp. 15-26.
    by Ben Liblit, Mayur Naik, Alice X Zheng, Alex Aiken, Michael I Jordan
    posted to pldi05 by bec on 2005-11-04 01:15:27 as ** along with 2 people and 4 groups oliner lucaspanjer CHISEL sucs logmining SEGAL
  • Incremental analysis of constraint logic programs
    ACM Trans. Program. Lang. Syst., Vol. 22, No. 2. (March 2000), pp. 187-223.
    by Manuel Hermenegildo, German Puebla, Kim Marriott, Peter J Stuckey
    posted to program-analysis by bec on 2005-11-01 01:26:02 as **
  • Improving abstract interpretations by combining domains
    ACM Trans. Program. Lang. Syst., Vol. 17, No. 1. (January 1995), pp. 28-44.
    by Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria, Manuel Hermenegildo
    posted to program-analysis by bec on 2005-11-01 01:24:44 as **
  • Guarded commands, nondeterminacy and formal derivation of programs
    Commun. ACM, Vol. 18, No. 8. (August 1975), pp. 453-457.
    by Edsger W Dijkstra
    posted to verification by bec on 2005-10-31 06:16:44 as **
  • 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 popl96 program-analysis by bec on 2005-10-10 03:23:26 as ** along with 1 person criswell
  • Data Structure Specifications via Local Equality Axioms
    Lecture Notes in Computer Science, Vol. 3576 (2005)
    by Scott Mcpeak, George C Necula
    edited by Kousha Etessami, Sriram K Rajamani
    posted to cav05 verification by bec on 2005-09-29 18:13:57 as read
  • A decision procedure for an extensional theory of arrays
    Logic in Computer Science, 2001. Proceedings. 16th Annual IEEE Symposium on (2001), pp. 29-37.
    by A Stump, CW Barrett, DL Dill, J Levitt
    posted to lics01 theorem-proving by bec on 2005-09-20 18:34:06 as **
  • Abstract Interpretation Based Formal Methods and Future Challenges
    Lecture Notes in Computer Science, Vol. 2000 (January 2001), 138.
    by Patrick Cousot
    posted to program-analysis by bec on 2005-09-18 21:59:59 as ** along with 1 person bunge
  • Extended Static Checking: A Ten-Year Perspective
    Lecture Notes in Computer Science, Vol. 2000 (January 2001), 157.
    by Leino
    edited by R Wilhelm
    posted to verification by bec on 2005-09-18 21:53:33 as read
  • Local Reasoning about Programs that Alter Data Structures
    Lecture Notes in Computer Science, Vol. 2142 (January 2001), 1.
    by Peter O'Hearn, John Reynolds, Hongseok Yang
    posted to csl01 logic by bec on 2005-09-18 21:35:26 as **
  • Scalable Analysis of Linear Systems Using Mathematical Programming
    Lecture Notes in Computer Science, Vol. 3385 (January 2005), pp. 25-41.
    by Sriram Sankaranarayanan, Henny B Sipma, Zohar Manna
    posted to vmcai05 by bec on 2005-09-15 19:56:42 as ***
    • Puoi citare questa pagina come: http://www.citeulike.org/user/bec

    Result page: 1 2 Next RIS BibTeX
    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.