registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

varmings library [21 articles]

Neue Artikel in varmings Bibliothek.
  • On spectral clustering: Analysis and an algorithm
    (2001)
    by A Ng, M Jordan, Y Weiss
    posted to clustering learning machine spectral by varming on 2008-04-22 21:29:22 as ** along with 8 people and 1 group pdlug walkking albher dimatura kohei-h alanzhaocs delip ecome Computer_Graphics
  • A Formulation of the Simple Theory of Types
    The Journal of Symbolic Logic, Vol. 5, No. 2. (1940), pp. 56-68.
    by Alonzo Church
    posted to higher hol logic by varming on 2008-03-09 22:02:50 as ** along with 5 people yoriyuki Benja ajk calvins d23
  • Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic
    FM 2006: Formal Methods (August 2006), pp. 508-523.
    by Viorel Preoteasa
    posted to hoare hol logic operational pvs semantics separation by varming on 2008-03-09 21:51:29 as **
  • A general framework for certifying garbage collectors and their mutators
    SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 468-479.
    by Andrew Mccreight, Zhong Shao, Chunxiao Lin, Long Li
    posted to assembly collector garbage by varming on 2008-03-08 17:01:40 as **
  • Foundational Typed Assembly Language with Certified Garbage Collection
    (2007), pp. 326-338.
    by Chunxiao Lin, Andrew Mccreight, Zhong Shao, Yiyun Chen, Yu Guo
    posted to assembly collector coq garbage tal typed by varming on 2008-03-08 16:59:59 as **
  • Local Reasoning about Programs that Alter Data Structures
    (2001), pp. 1-19.
    by Peter W O'Hearn, John C Reynolds, Hongseok Yang
    posted to logic separation by varming on 2008-03-07 15:25:35 as **
  • A semantics for concurrent separation logic
    Theoretical Computer Science, Vol. 375, No. 1-3. (2007), pp. 227-270.
    by Stephen Brookes
    posted to concurrency denotational logic semantics separation trace by varming on 2008-03-06 18:17:01 as read
  • HOLCF = HOL + LCF
    J. Funct. Program., Vol. 9, No. 2. (March 1999), pp. 191-223.
    by Olaf Müller, Tobias Nipkow, David Von Oheimb, Oscar Slotosch
    posted to hol holcf isabelle lcf logic prover theorem by varming on 2008-03-06 14:42:00 as **
  • Isabelle: The Next Seven Hundred Theorem Provers
    (1988), pp. 772-773.
    by Lawrence C Paulson
    posted to lcf logic prover theorem by varming on 2008-03-06 14:36:08 as **
  • Introduction To The Hol System
    HOL Theorem Proving System and Its Applications, 1991., International Workshop on the (1991), pp. 2-3.
    by M Gordon
    posted to definitional hol lcf logic principle by varming on 2008-03-06 14:28:37 as ***
  • Hoare Logics for Recursive Procedures and Unbounded Nondeterminism
    (2002), pp. 103-119.
    by Tobias Nipkow
    posted to hoare logic nondeterminism semantics by varming on 2008-03-04 12:01:54 as ***
  • An example of local reasoning in BI pointer logic: the Schorr-Waite graph marking algorithm
    (2000)
    by H Yang
    posted to collector first garbage graph logic marking order schorr-waite separation by varming on 2008-03-04 11:59:52 as *** along with 1 person xbwang
  • Separation logic: a logic for shared mutable data structures
    (2002)
    by J Reynolds
    posted to first logic order separation by varming on 2008-03-04 11:57:12 as read along with 2 people oryp6518 bunge
  • A nonrecursive list compacting algorithm
    Commun. ACM, Vol. 13, No. 11. (November 1970), pp. 677-678.
    by CJ Cheney
    posted to collector garbage lisp list by varming on 2008-03-04 11:20:33 as ***
  • Web programming with SMLserver
    (2003)
    by M Elsman, N Hallenberg
    posted to dynamic programming sml smlserver web by varming on 2008-02-25 18:38:09 as read along with 1 person mzp
  • Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion
    by GM Bierman, AM Pitts, CV Russo
    posted to abadi linear logic operational parametricity plotkin relational semantics by varming on 2008-02-25 18:32:06 as read
  • BI-hyperdoctrines, higher-order separation logic, and abstraction
    ACM Trans. Program. Lang. Syst., Vol. 29, No. 5. (August 2007)
    by Bodil Biering, Lars Birkedal, Noah Torp-Smith
    posted to higher logic order separation by varming on 2008-02-25 07:10:10 as read
  • Local reasoning about a copying garbage collector
    (2004), pp. 220-231.
    by Lars Birkedal, Noah T Smith, John C Reynolds
    posted to logic separation by varming on 2008-02-25 06:56:03 as read
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/varming

    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.