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

di rgrig library [59 articles]

Articoli aggiunti di recente nella biblioteca di rgrig .
  • Detecting race conditions in large programs
    (2001), pp. 90-96.
    by Cormac Flanagan, Stephen N Freund
    posted to concurrency java types by rgrig on 2006-02-17 11:41:53 as **** along with 1 person and 1 group amorkan SRG_at_UCD
  • Simplify: A theorem prover for program checking
    (2003)
    by D Detlefs, G Nelson, J Saxe
    posted to jml by rgrig on 2005-12-15 08:30:44 as **** along with 1 group SRG_at_UCD
  • A UNITY-Style Programming Logic for Shared Dataspace Programs
    IEEE Transactions on Parallel and Distributed Systems, Vol. 1, No. 3. (1990), pp. 365-376.
    by Conrad H Cunningham, Gruia C Roman
    posted to parallel by rgrig on 2005-12-15 08:30:02 as ** along with 1 group SRG_at_UCD
  • A runtime assertion checker for the Java Modeling Language
    (2002)
    by Y Cheon, G Leavens
    posted to jml by rgrig on 2005-12-15 08:27:24 as **** along with 1 person and 1 group pdagarwal SRG_at_UCD
  • Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi
    Theoretical Computer Science, Vol. 110, No. 2. (1993), pp. 249-339.
    by Jean H Gallier
    posted to logic by rgrig on 2005-12-15 08:23:25 as *** along with 4 people and 2 groups scavadini mfrydr Scis0000002 ds SRG_at_UCD complogic
  • A generic type system for the Pi-calculus
    ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2001), pp. 128-141.
    by Atsushi Igarashi, Naoki Kobayashi
    posted to types by rgrig on 2005-12-15 08:22:43 as ** along with 1 person and 1 group shimomura SRG_at_UCD
  • Efficient routing for peer-to-peer overlays
    (March 2004)
    by A Gupta, B Liskov, R Rodrigues
    posted to algorithms by rgrig on 2005-12-15 08:20:14 as ** along with 1 person and 1 group arminb SRG_at_UCD
  • Verification of object-oriented programs with invariants
    (2003)
    by M Barnett, R Deline, M Fahndrich, K Rustan, M Leino, W Schulte
    posted to verification by rgrig on 2005-12-15 08:19:55 as ** along with 1 person and 1 group amorkan SRG_at_UCD
  • Simple Verification Technique for Complex Java Bytecode Subroutines
    (2002)
    by A Coglio
    posted to verification by rgrig on 2005-12-15 08:19:42 as ** along with 1 group SRG_at_UCD
  • Symbolic implementation of the best transformer
    (2004)
    by T Reps, M Sagiv, G Yorsh
    posted to abstract_interpretation by rgrig on 2005-12-15 08:12:55 as ** along with 1 group SRG_at_UCD
  • An overview of JML tools and applications
    (2003)
    by L Burdy, Y Cheon, D Cok, M Ernst, J Kiniry, G Leavens, K Leino, E Poll
    posted to jml by rgrig on 2005-12-15 08:11:03 as read along with 1 person and 1 group pdagarwal SRG_at_UCD
  • Resolution lower bounds for perfect matching principles
    (2001)
    by A Razborov
    posted to algorithms by rgrig on 2005-12-15 08:09:45 as ** along with 1 group SRG_at_UCD
  • A General Composition Theorem for Secure Reactive Systems
    (2004)
    by M Backes, B Tzmann, M Waidner
    posted to cryptography by rgrig on 2005-12-15 08:09:07 as ** along with 1 group SRG_at_UCD
  • Modular verification of software components in C
    IEEE Transactions on Software Engineering (TSE), Vol. 30, No. 6. (June 2004), pp. 388-402.
    by Sagar Chaki, Edmund Clarke, Alex Groce, Somesh Jha, Helmut Veith
    posted to verification by rgrig on 2005-12-15 08:08:12 as ** along with 1 group SRG_at_UCD
  • Term rewriting with traversal functions
    (2001)
    by M van den Brand, P Klint, J Vinju
    posted to rewriting by rgrig on 2005-12-15 08:07:41 as ** along with 1 group SRG_at_UCD
  • Short Signatures without Random Oracles
    (2004)
    by D Boneh, X Boyen
    posted to cryptography by rgrig on 2005-12-15 08:06:29 as ** along with 1 person and 1 group pcamacho SRG_at_UCD
  • Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems
    Lecture Notes in Computer Science, Vol. 2076 (2001), pp. 261-??.
    by Jochen Alber, Henning Fernau, Rolf Niedermeier
    posted to algorithms by rgrig on 2005-12-15 08:05:51 as ** along with 1 group SRG_at_UCD
  • Foundations of Cryptography
    Vol. Basic Tools (2001)
    by Oded Goldreich
    posted to cryptography by rgrig on 2005-12-15 08:05:25 as ** along with 3 people and 1 group arrow alpha pcamacho SRG_at_UCD
  • Limited Attention and Discourse Structure
    Computational Linguistics, Vol. 22, No. 2. (1996), pp. 255-264.
    by Marilyn A Walker
    posted to learning by rgrig on 2005-12-15 08:01:37 as *** along with 1 group SRG_at_UCD
  • The Lorel query language for semistructured data
    International Journal on Digital Libraries, Vol. 1, No. 1. (1997), pp. 68-88.
    by Serge Abiteboul, Dallan Quass, Jason Mchugh, Jennifer Widom, Janet L Wiener
    posted to semistructured by rgrig on 2005-12-15 07:59:31 as ** along with 4 people and 6 groups goltus dagmar tulaydemir JimFolk ETEC533 SRG_at_UCD dIEMoSIRIS CSU_School_of_Education Web2-0_Education compneur
  • LogP: Towards a Realistic Model of Parallel Computation
    (1993), pp. 1-12.
    by David E Culler, Richard M Karp, David A Patterson, Abhijit Sahay, Klaus E Schauser, Eunice Santos, Ramesh Subramonian, Thorsten von Eicken
    posted to parallel by rgrig on 2005-12-15 07:58:31 as ** along with 1 group SRG_at_UCD
  • Proof-Carrying Code
    (January 1997), pp. 106-119.
    by George C Necula
    posted to pcc by rgrig on 2005-12-15 07:56:16 as ** along with 2 people and 1 group emerson brturn SRG_at_UCD
  • Systematic Software Development using VDM
    (1990)
    by Cliff B Jones
    posted to formal methods by rgrig on 2005-12-15 07:55:09 as ** along with 1 group SRG_at_UCD
  • The Stable Model Semantics for Logic Programming
    (1988), pp. 1070-1080.
    by Michael Gelfond, Vladimir Lifschitz
    edited by Robert A Kowalski, Kenneth Bowen
    posted to logic semantics by rgrig on 2005-12-15 07:52:14 as ** along with 2 people and 1 group KarlKlose jaro SRG_at_UCD
  • A Structural Approach to Operational Semantics
    No. DAIMI FN-19. (1981)
    by GD Plotkin
    posted to semantics by rgrig on 2005-12-15 07:49:17 as ** along with 2 people and 1 group oliverh cdiggins SRG_at_UCD
  • Type Theory and Functional Programming (International Computer Science Series)
    by Simon Thompson
    posted to functional types by rgrig on 2005-12-12 20:38:59 as **** along with 1 group SRG_at_UCD
  • Continuations and coroutines
    (1984), pp. 293-298.
    by Christopher T Haynes, Daniel P Friedman, Mitchell Wand
    posted to functional by rgrig on 2005-12-11 20:17:55 as ** along with 1 person and 1 group jrw SRG_at_UCD
  • Polymorphic string matching
    (2005), pp. 110-115.
    by Richard S Bird
    posted to algorithms functional by rgrig on 2005-12-10 17:18:18 as **** along with 3 people and 1 group greenrd jrw vidal31 SRG_at_UCD
  • Type Systems
    (1997)
    by Luca Cardelli
    edited by Allen B Tucker
    posted to formal types by rgrig on 2005-11-18 12:35:38 as *** along with 11 people and 2 groups talototo draganigajic greenrd tautologico amorkan lyongu Bluetulip Leho jimburton mvermaat zuleger SRG_at_UCD Lambda the Ultimate
  • Foundational Calculi for Programming Languages
    (1997)
    by Benjamin Pierce
    edited by Allen B Tucker
    posted to functional types by rgrig on 2005-10-26 12:37:34 as *** along with 9 people and 4 groups snowman rwtodd jrw cedricboidin pintman sjgaller mrkoot mfrydr ps_ttf Context-driven-testers SRG_at_UCD Desgin-by-Contract complogic
  • Java Bytecode Verification: An Overview
    Lecture Notes in Computer Science, Vol. 2102 (2001)
    by Xavier Leroy
    posted to formal reference verification by rgrig on 2005-10-14 12:43:36 as *** along with 1 person and 1 group amorkan SRG_at_UCD
  • Higher Order Logic
    (1994), pp. 229-321.
    by Daniel Leivant
    edited by DM Gabbay, CJ Hogger, JA Robinson
    posted to formal reference by rgrig on 2005-10-14 03:16:36 as ** along with 1 person and 1 group ds SRG_at_UCD
  • Domain Theory
    (1994), pp. 1-168.
    by Samson Abramsky, Achim Jung
    edited by S Abramsky, D Gabbay, TSE Maibaum
    posted to reference semantics types by rgrig on 2005-10-14 03:14:59 as ** along with 1 person and 1 group jrw SRG_at_UCD
  • Domains and Denotational Semantics: History, Accomplishments and Open Problems
    Bulletin of the EATCS, Vol. 59 (June 1996), pp. 227-256.
    by MP Fiore, A Jung, E Moggi, P O'Hearn, J Riecke, G Rosolini, I Stark
    posted to hubs semantics by rgrig on 2005-10-14 03:14:22 as ** along with 1 group SRG_at_UCD
  • Comprehending Monads
    (1990), pp. 61-78.
    by PL Wadler
    posted to functional by rgrig on 2005-10-14 03:09:31 as ** along with 29 people and 2 groups hellige JeffreyPalmer Darius rwtodd jrw creswick cedricboidin zednenem bfraser ben_moseley scis0000001 msn mstone bunge rgb Benja jsala meiersi jasonmc glaubersp ds conal cdiggins cognominal benchambers kazuya hayeah mmarcus donniejones18 SRG_at_UCD pileWorks
  • Pict: A Programming Language Based on the Pi-Calculus
    (2000)
    by Benjamin C Pierce, David N Turner
    edited by G Plotkin, C Stirling, M Tofte
    posted to calculi concurrent language by rgrig on 2005-10-14 03:08:52 as ** along with 2 people and 2 groups jrw adrian SRG_at_UCD SRGDirties
  • Term Rewriting Systems
    Vol. 2 (1992)
    by J Klop
    posted to reference rewrite by rgrig on 2005-10-14 03:07:53 as ** along with 4 people and 1 group rwtodd jrw wnpx krissp SRG_at_UCD
  • The Quickhull Algorithm for Convex Hulls
    ACM Transactions on Mathematical Software, Vol. 22, No. 4. (1996), pp. 469-483.
    by Bradford C Barber, David P Dobkin, Hannu Huhdanpaa
    posted to algorithms by rgrig on 2005-10-14 03:06:15 as ** along with 2 people and 1 group karnesky siebertm SRG_at_UCD
  • The Computational Complexity of Universal Hashing
    (1990), pp. 235-243.
    by Yishay Mansour, Noam Nisan, Prasoon Tiwari
    posted to algorithms by rgrig on 2005-10-14 03:04:52 as ** along with 2 people and 3 groups scis0000001 camu SRG_at_UCD Crypto Randomness
  • Preliminary Design of JML: A Behavioral Interface Specification Language for Java
    No. 98-06i. (2000)
    by Gary T Leavens, Albert L Baker, Clyde Ruby
    posted to formal java specs by rgrig on 2005-10-14 03:02:22 as **** along with 1 person and 1 group dsilva SRG_at_UCD
  • notes Formal methods: state of the art and future directions
    ACM Computing Surveys, Vol. 28, No. 4. (1996), pp. 626-643.
    by Edmund M Clarke, Jeannette M Wing, Rajeev Alur, Rance Cleaveland, David Dill, Allen Emerson, Stephen Garland, Steven German, John Guttag, Anthony Hall, Thomas Henzinger, Gerard Holzmann, Cliff Jones, Robert Kurshan, Nancy Leveson, Kenneth Mcmillan, J Moore, Doron Peled, Amir Pnueli, John Rushby, Natarajan Shankar, Joseph Sifakis, Prasad Sistla, Bernhard Steffen, Pierre Wolper, Jim Woodcock, Pamela Zave
    posted to formal by rgrig on 2005-10-14 03:01:08 as read along with 2 people and 1 group citeilike jimburton SRG_at_UCD
  • notes Typeful Programming
    (1991), pp. 431-507.
    by Luca Cardelli
    edited by EJ Neuhold, M Paul
    posted to functional imperative types by rgrig on 2005-09-30 06:29:02 as read along with 5 people and 2 groups draganigajic amorkan lyongu ds jimburton SRG_at_UCD Lambda the Ultimate
  • Using FIX to Handle Errors Without Exceptions, and Other Programming Tricks
    by Bruce Mcadam
    posted to functional by rgrig on 2005-09-29 18:57:26 as ** along with 3 people and 1 group jrw kinaba pedagand SRG_at_UCD
  • Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
    Vol. 523 (1991), pp. 124-144.
    by Erik Meijer, Maarten Fokkinga, Ross Paterson
    edited by J Hughes
    posted to functional by rgrig on 2005-09-29 18:56:14 as ** along with 27 people and 4 groups draganigajic jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins mmarcus jimburton namin dvgb jkominek pedagand SRL SRG_at_UCD complogic Lambda the Ultimate
  • Continuation-Based Program Transformation Strategies
    J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180.
    by Mitchell Wand
    posted to functional by rgrig on 2005-09-29 18:55:37 as ** along with 9 people and 2 groups kvm samth twleung JacquesC JeffreyPalmer voigt pile nominolo americovargas NU-PRL SRG_at_UCD
  • Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell
    (1999), pp. 37-58.
    by Simon, Simon Marlow, Conal Elliott
    posted to algorithms data_structure functional by rgrig on 2005-08-29 08:09:16 as ** along with 3 people and 1 group jacob benchambers donniejones18 SRG_at_UCD
  • Comprehending Monads
    by P Wadler
    posted to functional by rgrig on 2005-06-12 21:21:35 as *** along with 1 group SRG_at_UCD
  • Rewrite Systems
    (1990), pp. 243-320.
    by Nachum Dershowitz, Jean-Pierre Jouannaud
    posted to formal reference by rgrig on 2005-06-04 14:32:10 as *** along with 5 people and 1 group jrw radico scis0000001 ronjferg dara SRG_at_UCD
  • Compiling with Proofs
    (1998)
    by George C Necula
    posted to compiler formal types by rgrig on 2005-05-30 19:20:40 as ** along with 1 group SRG_at_UCD
  • Dependent types in practical programming
    (1999), pp. 214-227.
    by Hongwei Xi, Frank Pfenning
    posted to types by rgrig on 2005-05-28 15:02:00 as ** along with 8 people and 1 group yallop tautologico japple voigt kavabean geishagirls rysavy jimburton SRG_at_UCD
    • Puoi citare questa pagina come: http://www.citeulike.org/user/rgrig

    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.