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

shimomura's library [90 articles]

Recent papers added to shimomura's library.
  • Flap jax: Functional Reactive Web Programming
    (2006)
    by Leo Meyerovich
    posted to haskell 2006 by shimomura on 2008-08-20 16:21:40 as **
  • Directing JavaScript with Arrows
    (2008)
    by Khoo Y Phang, Michael Hicks, Jeffrey S Foster, Vibha Sazawal
    posted to javascript arrow 2008 by shimomura on 2008-08-20 16:18:48 as read
  • Do we Need Dependent Types?
    (2001)
    by Daniel Fridlender, Mia Indrika
    posted to dependenttype 2001 by shimomura on 2008-08-20 16:14:52 as read
  • Timed Automata
    (1999)
    by Rajeev Alur
    posted to verification timed modelchecking automata 1999 by shimomura on 2008-08-10 15:11:48 as **
  • The theory of timed automata
    Real-Time: Theory in Practice (1992), pp. 45-73.
    by Rajeev Alur, David Dill
    posted to timed read modelchecking automata 1992 by shimomura on 2008-08-08 03:47:18 as read
  • Advanced Topics In Types And Programming Languages
    (19 November 2004)
    by Benjamin C Pierce
    posted to type software science 2004 by shimomura on 2008-08-03 08:44:27 as ** along with 7 people and 1 group sstrickl tautologico thsutton voigt lyongu msakai jimburton Lambda the Ultimate
  • Types and Programming Languages
    (01 March 2002)
    by Benjamin C Pierce
    posted to type software science 2002 by shimomura on 2008-08-03 08:43:57 as **** along with 16 people and 2 groups jasmithoffice eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi robotact srccheck jimburton SRG_at_UCD Lambda the Ultimate
  • リファクタリング―プログラムの体質改善テクニック (Object Technology Series)
    by マーチン ファウラー, Martin Fowler, 児玉 公信, 平澤, 友野 晶夫, 梅沢 真史
    posted to software refactoring engineer 2000 by shimomura on 2008-08-03 08:43:02 as **
  • The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)
    (20 June 2006)
    by Dilsun K Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager
    posted to timed automata 2006 by shimomura on 2008-07-25 08:35:36 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 verification modelchecking concurrent 2004 by shimomura on 2008-07-14 11:05:12 as ***** along with 1 person bec
  • A theory of type polymorphism in programming
    Journal of Computer and System Sciences, Vol. 17, No. 3. (December 1978), pp. 348-375.
    by Robin Milner
    posted to type 1978 by shimomura on 2008-07-14 01:44:51 as ** along with 3 people tautologico lyongu calvins
  • Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
    Programming Languages and Systems (2008), pp. 16-31.
    by Jacob Matthews, Amal Ahmed
    posted to type systemf 2008 by shimomura on 2008-07-14 01:32:22 as ** along with 1 person msakai
  • Bounded Model Checking
    ADVANCES IN COMPUTERS, Vol. 58 (2003), pp. 118-149.
    by A Biere, A Cimatti, Clarke, O Strichman, Y Zhu
    posted to modelchecking 2003 by shimomura on 2008-07-14 01:28:36 as ** along with 1 person voronov
  • Type Checking with Open Type Functions
    (2008)
    by Tom Schrijvers, Simon P Jones, Manuel Chakravarty, Martin Sulzmann
    posted to type haskell gadt 2008 by shimomura on 2008-07-14 01:20:07 as ** along with 1 person msakai
  • Algebra of Programming using Dependent Types
    Vol. Volume 5133/2008 (2008), pp. 268-283.
    by Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
    posted to dependenttype agda 2008 by shimomura on 2008-07-14 01:10:58 as ** along with 1 person msakai
  • Translating dependent type theory into higher order logic
    Typed Lambda Calculi and Applications (1993), pp. 209-229.
    by Bart Jacobs, Tom Melham
    posted to logic dependenttype 1993 by shimomura on 2008-07-14 01:00:34 as ** along with 1 person msakai
  • Specification and Verification Using Dependent Types
    IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 949-964.
    by FK Hanna, N Daeche, M Longley
    posted to verification type specification dependenttype 1990 by shimomura on 2008-07-14 00:51:06 as ** along with 1 person msakai
  • Three implementation models for scheme
    (1987)
    by RK Dybvig
    posted to scheme implementation 1987 by shimomura on 2008-07-14 00:44:31 as **
  • Programming with Dependent Types in Coq: A Study of Square Matrices
    by Nicolas Magaud
    posted to dependenttype coq by shimomura on 2008-07-07 09:45:04 as **
  • Agate–an Agda-to-Haskell compiler
    (5 October 2006)
    by Hiroyuki Ozaki, Makoto Takeyama, Yoshiki Kinoshita
    posted to transformation haskell compiler agda 2006 by shimomura on 2008-07-07 09:39:22 as ** along with 1 person msakai
  • notes Dependently Typed Programming in Agda
    by Ulf Norell
    posted to type read dependenttype agda by shimomura on 2008-06-27 01:57:46 as read along with 2 people msakai yoriyuki
  • Extended static checking for haskell
    (2006), pp. 48-59.
    by Dana N Xu
    posted to haskell 2006 by shimomura on 2008-06-23 18:22:46 as ** along with 2 people msakai spl
  • Random Generators for Dependent Types
    Theoretical Aspects of Computing - ICTAC 2004 (2005), pp. 341-355.
    by Peter Dybjer, Qiao Haiyan, Makoto Takeyama
    posted to testing dependenttype 2005 by shimomura on 2008-06-23 18:22:09 as ** along with 1 person msakai
  • Generating Abstract Explanations of Spurious Counterexamples in C Programs
    (2002)
    by Thomas Ball, Sriram K Rajamani
    posted to slam booleanprogram abstraction 2002 by shimomura on 2008-06-15 07:43:56 as **
  • Boolean Programs: A Model and Process for Software Analysis
    (February 2000)
    by Thomas Ball, Sriram K Rajamani
    posted to slam modelchecking booleanprogram 2000 by shimomura on 2008-06-11 10:51:00 as **
  • Setuid demystified
    (2002)
    by H Chen, D Wagner, D Dean
    posted to modelchecking 2002 by shimomura on 2008-06-11 09:20:38 as ** along with 2 people heiko_reese msakai
  • MOPS: an Infrastructure for Examining Security Properties of Software
    (2002)
    by Hao Chen, David A Wagner
    posted to technicalreport modelchecking 2002 by shimomura on 2008-06-11 09:20:08 as **
  • Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives
    SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 189-199.
    by Peng Li, Steve Zdancewic
    posted to thread haskell 2007 by shimomura on 2008-06-09 05:49:51 as ** along with 1 person pedagand
  • Automatically validating temporal safety properties of interfaces
    Model Checking Software (2001), pp. 102-122.
    by Thomas Ball, Sriram Rajamani
    posted to verification slam read modelchecking 2001 by shimomura on 2008-06-06 08:12:13 as read
  • Gradual typing for functional languages
    (September 2006)
    by Jeremy G Siek, Walid Taha
    posted to type 2006 by shimomura on 2008-05-29 02:18:43 as ** along with 1 person msakai
  • Bebop: a path-sensitive interprocedural dataflow engine
    (2001), pp. 97-103.
    by Thomas Ball, Sriram K Rajamani
    posted to verification modelchecking bebop 2001 by shimomura on 2008-05-28 03:32:58 as ** along with 1 person zuleger
  • Bebop: A Symbolic Model Checker for Boolean Programs
    (2000), pp. 113-130.
    by Thomas Ball, Sriram K Rajamani
    posted to verification modelchecking bebop 2000 by shimomura on 2008-05-28 03:32:01 as **
  • The software model checker Blast
    International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (6 October 2007), pp. 505-525.
    by Dirk Beyer, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to verification modelchecking blast 2007 by shimomura on 2008-05-28 03:29:09 as ** along with 1 person msakai
  • The Blast Query Language for Software Verification
    Static Analysis (2004), pp. 2-18.
    by Dirk Beyer, Adam J Chlipala, Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to verification slam modelchecking blast 2004 by shimomura on 2008-05-28 03:16:54 as **
  • 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 verification slam modelchecking blast 2002 by shimomura on 2008-05-28 03:15:05 as ** along with 4 people and 1 group zuleger msakai bec pganty groupverif
  • The S<scp>LAM</scp> project: debugging system software via static analysis
    (2002), pp. 1-3.
    by Thomas Ball, Sriram K Rajamani
    posted to verification slam modelchecking blast 2002 by shimomura on 2008-05-28 03:12:54 as ** along with 1 person msakai
  • Construction of Abstract State Graphs with PVS
    Vol. 1254 (1997), pp. 72-83.
    by S Graf, H Saidi
    edited by O Grumberg
    posted to verification predicate abstraction 1997 by shimomura on 2008-05-27 09:28:40 as ** along with 2 people zuleger newdawn
  • Strongly typed heterogeneous collections
    (2004), pp. 96-107.
    by Oleg Kiselyov, Ralf L&\#228;mmel, Keean Schupke
    posted to type haskell 2004 by shimomura on 2008-05-24 11:21:50 as ** along with 9 people and 1 group jimburton msakai marcinzalewski JacquesC yallop spl tov iff americovargas NU-PRL
  • Generalizing Hindley-Milner type inference algorithms
    (2002)
    by B Heeren, J Hage, D Swierstra
    posted to type 2002 by shimomura on 2008-05-19 09:47:37 as **
  • MOPS: an infrastructure for examining security properties of software
    (2002), pp. 235-244.
    by Hao Chen, David Wagner
    posted to read modelchecking 2002 by shimomura on 2008-05-16 04:51:17 as read along with 2 people and 1 group srccheck rdyer Laboratory for Software Design
  • Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication
    Electron. Notes Theor. Comput. Sci., Vol. 171, No. 4. (July 2007), pp. 73-93.
    by Nobuko Yoshida, Vasco T Vasconcelos
    posted to sessiontype 2007 by shimomura on 2008-05-15 16:25:44 as ** along with 1 person keigoi
  • Correspondence assertions for process synchronization in concurrent communications
    (2003)
    by E Bonelli, A Compagnoni, E Gunter
    posted to sessiontype 2003 by shimomura on 2008-05-15 16:20:33 as **
  • Correspondence assertions for process synchronization in concurrent communications
    J. Funct. Program., Vol. 15, No. 2. (March 2005), pp. 219-247.
    by Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter
    posted to sessiontype 2005 by shimomura on 2008-05-15 16:18:17 as ** along with 2 people and 1 group keigoi janschaefer TU-KL-SoftwareTechnologyGroup
  • 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 sessiontype 2006 by shimomura on 2008-05-15 16:17:14 as ** along with 1 person keigoi
  • A generic type system for the Pi-calculus
    ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2003), pp. 128-141.
    by Atsushi Igarashi, Naoki Kobayashi
    posted to type pi modelchecking 2003 by shimomura on 2008-05-14 14:37:02 as ** along with 1 person and 1 group rgrig SRG_at_UCD
  • Resource Usage Analysis for the π -Calculus
    Verification, Model Checking, and Abstract Interpretation (2006), pp. 298-312.
    by Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
    posted to type resource pi 2006 by shimomura on 2008-05-14 06:59:17 as **
  • Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
    Programming Languages and Systems (2007), pp. 490-504.
    by Kohei Suenaga, Naoki Kobayashi
    posted to type pi deadlock concurrent 2007 by shimomura on 2008-05-14 06:54:18 as **
  • Model checking one million lines of C code
    (2004)
    by H Chen, D Dean, D Wagner
    posted to read modelchecking blast 2004 by shimomura on 2008-05-14 06:49:02 as read along with 1 person msakai
  • Checking Memory Safety with Blast
    Fundamental Approaches to Software Engineering (2005), pp. 2-18.
    by Dirk Beyer, Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to modelchecking blast 2005 by shimomura on 2008-05-14 06:47:42 as ** along with 2 people yoriyuki msakai
  • Automated Model Checking and Testing for Composite Web Services
    (2005), pp. 300-307.
    by Hai Huang, Wei-Tek Tsai, Raymond Paul, Yinong Chen
    posted to modelchecking blast 2005 by shimomura on 2008-05-14 06:46:27 as **
    • Note: You may cite this page as: http://www.citeulike.org/user/shimomura

    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.