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

keigoi library [270 articles]

最近 keigoi さんのライブラリ .
  • Branching bisimilarity is an equivalence indeed!
    Information Processing Letters, Vol. 58, No. 3. (13 May 1996), pp. 141-147.
    by Twan Basten
    posted to concurrency by keigoi on 2008-07-15 08:06:18 as **
  • Sequentiality and the π-Calculus
    Typed Lambda Calculi and Applications (2001), pp. 29-45.
    by Martin Berger, Kohei Honda, Nobuko Yoshida
    posted to picalculus by keigoi on 2008-07-11 10:38:18 as **
  • Lock Free Data Structures Using STM in Haskell
    Functional and Logic Programming (2006), pp. 65-80.
    by Anthony Discolo, Tim Harris, Simon Marlow, Simon Jones, Satnam Singh
    posted to stm haskell by keigoi on 2008-07-08 19:01:12 as ** along with 3 people msakai pedagand brecknell
  • Concurrent Haskell
    (1996), pp. 295-308.
    by Simon P Jones, Andrew Gordon, Sigbjorn Finne
    posted to haskell concurrency-monad by keigoi on 2008-07-08 18:58:36 as ** along with 1 person shimomura
  • Comprehending monads
    (1990), pp. 61-78.
    by Philip Wadler
    posted to monad functionalprogramming by keigoi on 2008-07-08 18:51:54 as ** along with 1 person spl
  • SOS formats and meta-theory: 20 years after
    Theor. Comput. Sci., Vol. 373, No. 3. (April 2007), pp. 238-272.
    by Mohammadreza Mousavi, Michel A Reniers, Jan F Groote
    posted to operationalsemantics by keigoi on 2008-07-07 11:12:51 as ** along with 1 person leonardo
  • Region analysis and a π-calculus with groups
    J. Funct. Program., Vol. 12, No. 3. (May 2002), pp. 229-292.
    by Silvano D Zilio, Andrew D Gordon
    posted to region picalculus by keigoi on 2008-07-05 10:01:16 as **
  • Towards formally verifiable resource bounds for real-time embedded systems
    SIGBED Rev., Vol. 3, No. 4. (October 2006), pp. 27-36.
    by Kevin Hammond, Christian Ferdinand, Reinhold Heckmann
    posted to resourcebounds embedded by keigoi on 2008-07-05 10:00:48 as **
  • Automatic detection of immutable fields in Java
    (2000)
    by Sara Porat, Marina Biberstein, Larry Koved, Bilha Mendelson
    posted to java immutable by keigoi on 2008-07-05 07:42:56 as **
  • Domain partitioning for open reactive systems
    (2002), pp. 44-54.
    by Scott D Stoller
    posted to modelchecking by keigoi on 2008-07-05 07:30:46 as **
  • Compositional pointer and escape analysis for Java programs
    (1999), pp. 187-206.
    by John Whaley, Martin Rinard
    posted to java escapeanalysis by keigoi on 2008-07-05 05:35:27 as ** along with 1 person bunge
  • Bisimulation can't be traced
    J. ACM, Vol. 42, No. 1. (January 1995), pp. 232-268.
    by Bard Bloom, Sorin Istrail, Albert R Meyer
    posted to concurrency by keigoi on 2008-07-02 17:47:26 as ** along with 2 people msakai numba37
  • Multiparty asynchronous session types
    SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 273-284.
    by Kohei Honda, Nobuko Yoshida, Marco Carbone
    posted to session picalculus by keigoi on 2008-06-19 04:31:26 as **
  • Timed Automata: Semantics, Algorithms and Tools
    Lectures on Concurrency and Petri Nets (2004), pp. 87-124.
    by Johan Bengtsson, Wang Yi
    posted to timedautomata modelchecking by keigoi on 2008-06-17 03:26:04 as ** along with 2 people yoriyuki msakai
  • Model Checking Timed Automata with Priorities Using DBM Subtraction
    Formal Modeling and Analysis of Timed Systems (2006), pp. 128-142.
    by Alexandre David, John Håkansson, Kim Larsen, Paul Pettersson
    posted to timedautomata modelchecking by keigoi on 2008-06-17 03:21:49 as ** along with 1 person msakai
  • Automatic predicate abstraction of C programs
    (2001), pp. 203-213.
    by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K Rajamani
    posted to modelchecking by keigoi on 2008-06-16 09:33:20 as ** along with 2 people msakai bfraser
  • Extensible algebraic datatypes with defaults
    Vol. 36, No. 10. (October 2001), pp. 241-252.
    by Matthias Zenger, Martin Odersky
    posted to type reuse programming by keigoi on 2008-05-30 07:41:47 as ** along with 2 people bfraser mbravenboer
  • Converting Constraint Handling Rules to Equivalent Transformation Rules
    Journal of Advanced Computational Intelligence and Intelligent Informatics, Vol. 10, No. 1. (January 2006)
    by Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
    posted to chr by keigoi on 2008-05-23 21:25:19 as ** along with 1 person msakai
  • Theory and practice of constraint handling rules
    The Journal of Logic Programming, Vol. 37, No. 1-3. (12 October 1998), pp. 95-138.
    by Thom Fruhwirth
    posted to chr by keigoi on 2008-05-23 09:14:56 as ** along with 3 people bfraser msakai fdr
  • The theory of strictness analysis for higher order functions
    Programs as Data Objects (1986), pp. 42-62.
    by GL Burn, CL Hankin, S Abramsky
    posted to strictnessanalysis by keigoi on 2008-05-21 03:18:31 as ** along with 1 person msakai
  • Session Types for Object-Oriented Languages
    ECOOP 2006 – Object-Oriented Programming (2006), pp. 328-352.
    by Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou
    posted to session by keigoi on 2008-05-15 03:55:49 as ** along with 1 person shimomura
  • In search of the future of air traffic control
    Spectrum, IEEE, Vol. 34, No. 8. (1997), pp. 18-35.
    by TS Perry
    posted to reliability by keigoi on 2008-05-12 08:44:25 as ** along with 1 person takataka15
  • A case study on how to manage the theft of information
    (2005), pp. 135-138.
    by Robert
    posted to reliability by keigoi on 2008-05-12 08:43:08 as ** along with 2 people msakai takataka15
  • The baggage system at Denver: prospects and lessons
    Journal of Air Transport Management, Vol. 1, No. 4. (December 1994), pp. 229-236.
    by Richard de Neufville
    posted to reliability by keigoi on 2008-05-12 08:00:38 as ** along with 1 person bfraser
  • A New Type System for Deadlock-Free Processes
    CONCUR 2006 – Concurrency Theory (2006), pp. 233-247.
    by Naoki Kobayashi
    posted to picalculus deadlock concurrency by keigoi on 2008-04-30 04:21:15 as **
  • Model-Checking Behavioral Specification of BPEL Applications
    Electronic Notes in Theoretical Computer Science, Vol. 151, No. 2. (31 May 2006), pp. 89-105.
    by Shin Nakajima
    posted to modelchecking by keigoi on 2008-04-28 10:48:07 as ** along with 1 person msakai
  • A Proof Search Specification of the [pi]-Calculus
    Electronic Notes in Theoretical Computer Science, Vol. 138, No. 1. (9 September 2005), pp. 79-101.
    by Alwen Tiu, Dale Miller
    posted to picalculus by keigoi on 2008-04-24 14:45:39 as **
  • Observable Sharing for Functional Circuit Description
    (1999), pp. 62-73.
    by Koen Claessen, David Sands
    posted to haskell functionalprogramming domainspecific by keigoi on 2008-04-23 00:39:55 as ** along with 1 person msakai
  • Finally Tagless, Partially Evaluated
    Programming Languages and Systems (2007), pp. 222-238.
    by Jacques Carette, Oleg Kiselyov, Chung-Chieh Shan
    posted to functionalprogramming domainspecific by keigoi on 2008-04-22 23:38:07 as ** along with 3 people pedagand nominolo msakai
  • Embedding a Hardware Description Language in Template Haskell
    Domain-Specific Program Generation (2004), pp. 143-164.
    by John T O’donnell
    posted to functionalprogramming haskell metaprogramming by keigoi on 2008-04-20 05:43:35 as ** along with 1 person msakai
  • Why it's nice to be quoted: quasiquoting for haskell
    (2007), pp. 73-82.
    by Geoffrey Mainland
    posted to haskell metaprogramming by keigoi on 2008-04-19 12:19:28 as ** along with 1 person msakai
  • Purely functional system configuration management
    (2007), pp. 1-6.
    by Eelco Dolstra, Armijn Hemel
    posted to configurationmanagement functionalprogramming by keigoi on 2008-04-17 02:20:13 as **
  • Running the manual: an approach to high-assurance microkernel development
    (2006), pp. 60-71.
    by Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel MT Chakravarty
    posted to functionalprogramming operatingsystem by keigoi on 2008-04-17 01:54:15 as ** along with 1 person mwmarkland
  • A principled approach to operating system construction in Haskell
    SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 116-128.
    by Thomas Hallgren, Mark P Jones, Rebekah Leslie, Andrew Tolmach
    posted to functionalprogramming operatingsystem by keigoi on 2008-04-17 01:49:43 as ** along with 1 person aliguori
  • Tag Elimination and Jones-Optimality
    (2001), pp. 257-275.
    by Walid Taha, Henning Makholm, John Hughes
    posted to domainspecific functionalprogramming by keigoi on 2008-04-17 00:17:10 as **
  • Polymorphic Delimited Continuations
    Programming Languages and Systems (2007), pp. 239-254.
    by Kenichi Asai, Yukiyoshi Kameyama
    posted to continuation by keigoi on 2008-03-18 05:11:15 as ** along with 2 people nominolo msakai
  • Comparing operational models of name-passing process calculi
    Inf. Comput., Vol. 204, No. 4. (April 2006), pp. 524-560.
    by Marcelo Fiore, Sam Staton
    posted to picalculus by keigoi on 2008-02-28 15:51:37 as **
  • Complete inference systems for weak bisimulation equivalences in the [pi]-calculus
    Information and Computation, Vol. 180, No. 1. (10 January 2003), pp. 1-29.
    by Huimin Lin
    posted to picalculus by keigoi on 2008-02-28 15:24:54 as **
  • Modal logics for mobile processes
    Theoretical Computer Science, Vol. 114, No. 1. (14 June 1993), pp. 149-171.
    by Robin Milner, Joachim Parrow, David Walker
    posted to modallogic picalculus by keigoi on 2008-02-27 07:53:48 as ** along with 1 person bfraser
  • Programming with abstract data types
    (1974), pp. 50-59.
    by Barbara Liskov, Stephen Zilles
    posted to programming by keigoi on 2008-02-26 15:01:09 as ** along with 2 people radico bfraser
  • Software model checking in practice: an industrial case study
    (2002), pp. 431-441.
    by Satish Chandra, Patrice Godefroid, Christopher Palm
    posted to modelchecking by keigoi on 2008-02-26 06:21:20 as ** along with 2 people bfraser msakai
  • Global variable considered harmful
    SIGPLAN Not., Vol. 8, No. 2. (February 1973), pp. 28-34.
    by W Wulf, Mary Shaw
    posted to programming by keigoi on 2008-02-19 16:30:26 as ** along with 1 person msakai
  • A calculus of mobile processes, I
    Inf. Comput., Vol. 100, No. 1. (September 1992), pp. 1-40.
    by Robin Milner, Joachim Parrow, David Walker
    posted to picalculus by keigoi on 2008-02-19 11:02:10 as ** along with 1 person chihchun_chen
  • A calculus of mobile processes, II
    Information and Computation, Vol. 100, No. 1. (September 1992), pp. 41-77.
    by Robin Milner, Joachim Parrow, David Walker
    posted to picalculus by keigoi on 2008-02-19 11:02:05 as ** along with 1 person chihchun_chen
  • On bisimulations for the asynchronous [pi]-calculus
    Theoretical Computer Science, Vol. 195, No. 2. (30 March 1998), pp. 291-324.
    by Roberto M Amadio, Ilaria Castellani, Davide Sangiorgi
    posted to picalculus by keigoi on 2008-02-19 09:01:32 as **
  • Name-passing style GUI programming in the [pi]-calculus-based language Nepi
    Electronic Notes in Theoretical Computer Science, Vol. 139, No. 1. (4 November 2005), pp. 145-168.
    by Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen
    posted to gui picalculus by keigoi on 2008-02-15 04:53:00 as ** along with 1 person shimomura
  • Control flow analysis
    (1970), pp. 1-19.
    by Frances E Allen
    posted to programanalysis by keigoi on 2008-02-15 02:09:30 as ** along with 2 people scavadini tesissvc
  • Is abstraction the key to computing?
    Commun. ACM, Vol. 50, No. 4. (April 2007), pp. 36-42.
    by Jeff Kramer
    posted to no-tag by keigoi on 2008-02-13 18:44:54 as ** along with 7 people and 3 groups cinemakinoeye benavides yijunyu lanubile smogit OriginalLurch phbrownacmorg tdg CDG clab
  • Static Deadlock Detection for Java Libraries
    ECOOP 2005 - Object-Oriented Programming (2005), pp. 602-629.
    by Amy Williams, William Thies, Michael D Ernst
    posted to concurrency java by keigoi on 2008-02-13 18:44:12 as ** along with 1 person bfraser
  • Symmetric composition of musical concerns
    (2006), pp. 226-236.
    by Patrick Hill, Simon Holland, Robin Laney
    posted to aspectoriented by keigoi on 2008-02-13 18:28:28 as ** along with 1 person yijunyu
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/keigoi

    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.