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

tautologico library [280 articles]

最近 tautologico さんのライブラリ .
  • 1983--1993: The Wonder Years of Sequential Prolog Implementation
    Journal of Logic Programming, Vol. 19,20 (1994), pp. 385-441.
    by Peter Van Roy
    posted to prolog logic-programming language-implementation by tautologico on 2008-06-14 18:25:10 as **
  • A Tutorial on (Co)Algebras and (Co)Induction
    Bulletin of the European Association for Theoretical Computer Science, Vol. 62 (1997), pp. 222-259.
    by Bart Jacobs, Jan Rutten
    posted to coinduction coalgebra algebra by tautologico on 2008-06-14 18:05:04 as ** along with 8 people and 1 group marcinzalewski mahler madhadron brothers cpfr benchambers kalmar mmarcus Rightscom
  • Monadic concurrent linear logic programming
    (2005), pp. 35-46.
    by Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins
    posted to concurrency linear-logic monads by tautologico on 2008-04-15 19:46:03 as **
  • First class modules for Haskell
    (2002)
    by M Shields, S Jones
    posted to haskell modules by tautologico on 2008-04-14 23:34:31 as ** along with 1 group Lambda the Ultimate
  • Towards automatic verification of Erlang programs by &\#960;-calculus translation
    (2006), pp. 38-50.
    by Chanchal K Roy, Thomas Noll, Banani Roy, James R Cordy
    posted to concurrency erlang pi-calculus by tautologico on 2008-04-14 23:03:30 as ** along with 1 person pedagand
  • Modeling Erlang in the pi-calculus
    (2005), pp. 72-77.
    by Thomas Noll, Chanchal K Roy
    posted to concurrency erlang pi-calculus by tautologico on 2008-04-14 22:57:54 as *** along with 6 people and 3 groups dherman bfraser keigoi tov janschaefer mcclurmc NU-PRL TU-KL-SoftwareTechnologyGroup Lambda the Ultimate
  • 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 concurrency languages pi-calculus by tautologico on 2008-04-11 23:53:23 as ** along with 4 people jrw wneumann cogumbreiro shimomura
  • The Polymorphic Pi-Calculus: Theory and Implementation
    (1996)
    by David N Turner
    posted to concurrency language-implementation pi-calculus types by tautologico on 2008-04-11 23:42:17 as ** along with 1 person jrw
  • The join calculus: a language for distributed mobile programming
    (2000)
    by C Fournet, G Gonthier
    posted to concurrency join-calculus by tautologico on 2008-04-11 20:18:35 as ** along with 1 person tlockney
  • Modern concurrency abstractions for C\#
    ACM Trans. Program. Lang. Syst., Vol. 26, No. 5. (September 2004), pp. 769-804.
    by Nick Benton, Luca Cardelli, C&\#233;dric Fournet
    posted to c concurrency join-calculus by tautologico on 2008-04-11 20:15:23 as ** along with 4 people wkrenn hamish cedricboidin eduardod
  • On the incomparability of Gamma and Linda
    (MarchJanuary 1998)
    by Gianluigi Zavattaro
    posted to concurrency coordination-languages linda by tautologico on 2008-03-20 17:50:05 as **
  • From CML to Process Algebras
    (1993), pp. 493-508.
    by Flemming Nielson, Hanne R Nielson
    posted to cml concurrency ml process-algebras by tautologico on 2008-01-19 00:14:23 as **
  • Stochastic lambda calculus and monads of probability distributions
    Vol. 37, No. 1. (January 2002), pp. 154-165.
    by Norman Ramsey, Avi Pfeffer
    posted to lambda-calculus monads by tautologico on 2008-01-13 06:08:41 as ** along with 3 people and 2 groups dherman mahler mstone NU-PRL Rightscom
  • Rolling Your Own Mutable ADT---A Connection Between Linear Types and Monads
    (JanuaryMay--JanuaryJuly 1997), pp. 54-66.
    by Chih-Ping Chen, Paul Hudak
    posted to linear-types monads by tautologico on 2008-01-12 21:09:59 as ** along with 2 people eaubin zednenem
  • Extensible pattern matching via a lightweight language extension
    SIGPLAN Not., Vol. 42, No. 9. (September 2007), pp. 29-40.
    by Don Syme, Gregory Neverov, James Margetson
    posted to fsharp functional ml pattern-matching by tautologico on 2007-12-05 00:56:04 as ** along with 2 people and 1 group jrw namin Lambda the Ultimate
  • Software transactional memory for dynamic-sized data structures
    (2003), pp. 92-101.
    by Maurice Herlihy, Victor Luchangco, Mark Moir, William N Scherer
    posted to concurrency stm transactional-memory by tautologico on 2007-11-14 03:54:09 as ** along with 3 people nikomatsakis pedagand sby
  • Process structuring, synchronization, and recovery using atomic actions
    (1977), pp. 128-137.
    by DB Lomet
    posted to atomicity concurrency transactional transactional-memory by tautologico on 2007-11-14 03:05:49 as **
  • What are race conditions?: Some issues and formalizations
    ACM Lett. Program. Lang. Syst., Vol. 1, No. 1. (March 1992), pp. 74-88.
    by Robert HB Netzer, Barton P Miller
    posted to concurrency by tautologico on 2007-11-13 01:33:17 as ** along with 2 people NSumner irejectthispaper
  • Linearizability: a correctness condition for concurrent objects
    ACM Trans. Program. Lang. Syst., Vol. 12, No. 3. (July 1990), pp. 463-492.
    by Maurice P Herlihy, Jeannette M Wing
    posted to concurrency by tautologico on 2007-11-13 01:25:39 as ** along with 3 people egh myui NSumner
  • Designing and Implementing Combinator Languages
    (1998), pp. 150-206.
    by Doaitse S Swierstra, Pablo, Joao Sariava
    posted to combinators dsl functional by tautologico on 2007-11-10 19:03:43 as **
  • Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages
    (1995), pp. 200-219.
    by Masahito Hasegawa
    posted to category-theory lambda-calculus languages by tautologico on 2007-11-04 15:45:20 as ** along with 1 person fensef
  • Combining subsumption and binary methods: an object calculus with views
    (2001), pp. 290-303.
    by Jérôme Vouillon
    posted to object-calculus views by tautologico on 2007-10-31 04:02:26 as **
  • Elements of basic category theory
    (1996)
    by A Martini, H Ehrig, D Nunes
    posted to category-theory by tautologico on 2007-10-31 03:00:53 as ** along with 6 people A_Olympia ansobol jrw proportional ds julianjonker
  • The transactional manifesto: software engineering and non-blocking synchronization
    (2005), pp. 280-280.
    by Maurice Herlihy
    posted to concurrency lock-free transactional by tautologico on 2007-10-29 19:53:11 as *** along with 3 people jrw qiongc NSumner
  • Wait-free synchronization
    ACM Trans. Program. Lang. Syst., Vol. 13, No. 1. (January 1991), pp. 124-149.
    by Maurice Herlihy
    posted to concurrency lock-free by tautologico on 2007-10-29 19:51:43 as *** along with 7 people robdockins kistijantoro jrw orish myui NSumner meisner
  • The topological structure of asynchronous computability
    J. ACM, Vol. 46, No. 6. (November 1999), pp. 858-923.
    by Maurice Herlihy, Nir Shavit
    posted to concurrency topology by tautologico on 2007-10-29 19:51:27 as ** along with 5 people and 4 groups muli jrw wnoise euclid meiersi Algorithms metric_embeddings TCS Polytopes
  • A methodology for implementing highly concurrent data objects
    ACM Trans. Program. Lang. Syst., Vol. 15, No. 5. (November 1993), pp. 745-770.
    by Maurice Herlihy
    posted to concurrency lock-free by tautologico on 2007-10-29 19:50:08 as *** along with 3 people jrw sverker NSumner
  • Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language
    (2007), pp. 34-48.
    by Cheng Wang, Wei-Yu Chen, Youfeng Wu, Bratin Saha, Ali-Reza Adl-Tabatabai
    posted to language-implementation stm transactional transactional-memory by tautologico on 2007-10-23 21:23:56 as **
  • Enforcing isolation and ordering in STM
    (2007), pp. 78-88.
    by Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L Hudson, Katherine F Moore, Bratin Saha
    posted to concurrency stm transactional transactional-memory by tautologico on 2007-10-23 21:06:51 as **
  • Compiler and runtime support for efficient software transactional memory
    (2006), pp. 26-37.
    by Ali-Reza Adl-Tabatabai, Brian T Lewis, Vijay Menon, Brian R Murphy, Bratin Saha, Tatiana Shpeisman
    posted to stm transactional-memory concurrency language-implementation transactional by tautologico on 2007-10-23 21:02:31 as ** along with 3 people eraman mwmarkland sby
  • Atomicity via source-to-source translation
    (2006), pp. 82-91.
    by Benjamin Hindman, Dan Grossman
    posted to concurrency java language-implementation stm transactional transactional-memory by tautologico on 2007-10-23 20:59:03 as **
  • AtomCaml: first-class atomicity via rollback
    Vol. 40, No. 9. (September 2005), pp. 92-104.
    by Michael F Ringenburg, Dan Grossman
    posted to concurrency ml ocaml stm transactional transactional-memory by tautologico on 2007-10-23 20:57:34 as ** along with 3 people pedagand robennals nikomatsakis
  • Optimizing memory transactions
    (2006), pp. 14-25.
    by Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi
    posted to stm transactional transactional-memory by tautologico on 2007-10-23 20:53:40 as ** along with 1 person brecknell
  • Composable memory transactions
    (2005), pp. 48-60.
    by Tim Harris, Simon Marlow, Simon Peyton-Jones, Maurice Herlihy
    posted to concurrency haskell stm transactional transactional-memory by tautologico on 2007-10-23 20:44:24 as *** along with 15 people and 2 groups hamish greenrd amorkan damaru epaulson joelh ben_moseley scook0 AndreasSchropp neilc pjdonald janschaefer kazuya pedagand brecknell SRG_at_UCD TU-KL-SoftwareTechnologyGroup
  • Transactional Memory: Architectural Support For Lock-free Data Structures
    Computer Architecture, 1993. Proceedings of the 20th Annual International Symposium on (1993), pp. 289-300.
    by M Herlihy, J Eliot, B Moss
    posted to transactional transactional-memory by tautologico on 2007-10-23 20:15:56 as ** along with 1 person hro
  • Language support for lightweight transactions
    Vol. 38, No. 11. (November 2003), pp. 388-402.
    by Tim Harris, Keir Fraser
    posted to java stm transactional by tautologico on 2007-10-23 20:12:49 as ** along with 8 people and 1 group thsutton robennals epaulson spl janschaefer RalfMitschke brecknell getpost TU-KL-SoftwareTechnologyGroup
  • Composing first-class transactions
    ACM Trans. Program. Lang. Syst., Vol. 16, No. 6. (November 1994), pp. 1719-1736.
    by Nicholas Haines, Darrell Kindred, Gregory J Morrisett, Scott M Nettles, Jeannette M Wing
    posted to transactional by tautologico on 2007-10-23 20:09:56 as **
  • Atomicity and isolation for transactional processes
    Database Systems, Vol. 27, No. 1. (2002), pp. 63-116.
    by Heiko Schuldt, Gustavo Alonso, Catriel Beeri, Hans J Schek
    posted to transactional by tautologico on 2007-10-23 19:49:02 as ** along with 1 person and 1 group charoy ecoo-pe
  • Types for safe locking: Static race detection for Java
    ACM Trans. Program. Lang. Syst., Vol. 28, No. 2. (March 2006), pp. 207-255.
    by Martin Abadi, Cormac Flanagan, Stephen N Freund
    posted to concurrency effects types by tautologico on 2007-10-23 19:32:41 as **
  • Subtleties of Transactional Memory Atomicity Semantics
    Computer Architecture Letters, IEEE, Vol. 5, No. 2. (2006), pp. 17-17.
    by Milo Martin, Colin Blundell, E Lewis
    posted to transactional transactional-memory by tautologico on 2007-10-23 19:29:38 as **
  • A transactional object calculus
    Science of Computer Programming, Vol. 57, No. 2. (August 2005), pp. 164-186.
    by Suresh Jagannathan, Jan Vitek, Adam Welc, Antony Hosking
    posted to featherweight-java object-calculus transactional by tautologico on 2007-10-23 19:19:02 as ** along with 1 person and 1 group janschaefer TU-KL-SoftwareTechnologyGroup
  • Software Transactional Memory
    (1995), pp. 204-213.
    by Nir Shavit, Dan Touitou
    posted to stm transactional transactional-memory by tautologico on 2007-10-23 19:17:33 as ** along with 1 person joelh
  • Garbage Collection can be Faster than Stack Allocation
    Information Processing Letters, Vol. 25, No. 4. (1987), pp. 275-279.
    by Andrew W Appel
    posted to garbage-collection by tautologico on 2007-10-23 19:16:29 as ** along with 4 people ch dsilva bdauvergne krisn11
  • Garbage Collection Without Paging
    by Matthew Hertz, Yi Feng, Emery D Berger
    posted to garbage-collection by tautologico on 2007-10-23 19:16:08 as read along with 3 people ariels pedagand peni
  • Combinator parsers: From toys to tools
    (2001)
    by S Swierstra
    posted to functional parsing by tautologico on 2007-10-20 21:29:12 as ** along with 1 person snowman
  • Haskell on a shared-memory multiprocessor
    (2005), pp. 49-61.
    by Tim Harris, Simon Marlow, Simon Peyton-Jones
    posted to concurrency functional haskell language-implementation multicore stm transactional transactional-memory by tautologico on 2007-10-18 01:04:54 as ** along with 8 people hamish jrw voigt msakai neilc benchambers kazuya brecknell
  • A unified theory of garbage collection
    SIGPLAN Not., Vol. 39, No. 10. (October 2004), pp. 50-68.
    by David F Bacon, Perry Cheng, VT Rajan
    posted to garbage-collection by tautologico on 2007-09-02 03:21:15 as read along with 1 person jrw
  • Petri Nets as Models of Linear Logic
    (1990), pp. 147-161.
    by U Engberg, G Winskel
    edited by A Arnold
    posted to linear-logic petri-nets by tautologico on 2007-08-22 06:27:55 as **
  • Petri nets are monoids: a new algebraic foundation for net theory
    Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on (1988), pp. 155-164.
    by J Meseguer, U Montanari
    posted to petri-nets by tautologico on 2007-08-21 21:41:25 as ** along with 2 people ansobol jrw
  • On the Decidability of Model Checking for Several -calculi and Petri Nets
    (1994), pp. 115-129.
    by Javier Esparza
    posted to petri-nets by tautologico on 2007-07-27 18:47:13 as ** along with 1 person and 1 group pverstra macc
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/tautologico

    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.