Information and Systems-Software Science(Date:1999/03/19)

Presentation
表紙

,  

[Date]1999/3/19
[Paper #]
目次

,  

[Date]1999/3/19
[Paper #]
Linear Context Induction for Verifying Implementation of Algebraic Specifications

Yasuhiko Nii,  Toshiki Sakabe,  

[Date]1999/3/19
[Paper #]SS98-60
Design of the Interpreter for Metaterm Rewriting calculus with Dynamic Discrimination Nets

Atsushi Ohshima,  Toshiki Sakabe,  

[Date]1999/3/19
[Paper #]SS98-61
On the Diagrammatical Representation for λ-Expressions and its Calculation via Graph Transformation System

Yoshio SUGITO,  

[Date]1999/3/19
[Paper #]SS98-62
An Embedding of Typed λ-calculus into Computational Interpretation of Classical Linear Logic

Shinya Sato,  Toru Sugimoto,  

[Date]1999/3/19
[Paper #]SS98-63
A Basic Framework for Infinite Computation and Infinite Terms

Kiyoshi Akama,  Yoshinori Shigeta,  Eiichi Miyamoto,  

[Date]1999/3/19
[Paper #]SS98-64
A Formal Specification of Distributed Shared Memory

SHIRO TAKATA,  KENJI TAGUCHI,  KAZUKI JOE,  AKIRA FUKUDA,  

[Date]1999/3/19
[Paper #]SS98-65
Formal verification for refinement of based on timed simulation relations

M. Ogura,  S. Yamane,  

[Date]1999/3/19
[Paper #]SS98-66
Symbolic model-checking method based on symmetry

T. Fukae,  S. Yamane,  

[Date]1999/3/19
[Paper #]SS98-67
Real-time Symbolic Model Checking for Hard real-time system

Y. Tachi,  S. Yamane,  

[Date]1999/3/19
[Paper #]SS98-68
[OTHERS]

,  

[Date]1999/3/19
[Paper #]