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

shimomura library [82 articles]

最近 shimomura さんのライブラリ .
  • 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 **
  • 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 3 people and 1 group 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 1 person 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 **
  • Software Verification with BLAST
    Model Checking Software (2003), pp. 624-624.
    by Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    posted to slam modelchecking blast 2003 by shimomura on 2008-05-14 06:37:15 as ** along with 1 person msakai
  • Automatic predicate abstraction of C programs
    SIGPLAN Not., Vol. 36, No. 5. (May 2001), pp. 203-213.
    by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K Rajamani
    posted to read modelchecking c 2001 by shimomura on 2008-05-13 10:17:11 as read along with 3 people msakai yuichi0619 emerson
  • Bounded model checking for the universal fragment of CTL
    (2002)
    by W Penczek, B Wo'zna, A Zbrzezny
    posted to modelchecking bounded 2002 by shimomura on 2008-05-12 09:52:14 as **
  • Bounded Model Checking for Past LTL
    Tools and Algorithms for the Construction and Analysis of Systems (2003), pp. 18-33.
    by Marco Benedetti, Alessandro Cimatti
    posted to modelchecking ltl bounded 2003 by shimomura on 2008-05-12 09:49:40 as **
  • Bounded Model Checking for Timed Systems
    Formal Techniques for Networked and Distributed Sytems — FORTE 2002 (2002), pp. 243-259.
    by G Audemard, A Cimatti, A Kornilowicz, R Sebastiani
    posted to timed modelchecking bounded 2002 by shimomura on 2008-05-12 09:46:18 as ***
  • Tuning SAT Checkers for Bounded Model Checking
    Computer Aided Verification (2000), pp. 480-494.
    by Ofer Shtrichman
    posted to modelchecking bounded 2000 by shimomura on 2008-05-12 09:42:47 as **
  • Bounded Model Checking Using Satisfiability Solving
    Form. Methods Syst. Des., Vol. 19, No. 1. (July 2001), pp. 7-34.
    by Edmund Clarke, Armin Biere, Richard Raimi, Yunshan Zhu
    posted to modelchecking bounded 2001 by shimomura on 2008-05-12 09:38:16 as **** along with 2 people msakai voronov
  • A sound type system for secure flow analysis
    J. Comput. Secur., Vol. 4, No. 2-3. (1996), pp. 167-187.
    by Dennis Volpano, Cynthia Irvine, Geoffrey Smith
    posted to secure flow 1996 by shimomura on 2008-05-11 14:32:01 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/shimomura

    Result page: 1 2 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.