Information and Systems-Theoretical Foundations of Computing(Date:1994/03/09)

Presentation
表紙

,  

[Date]1994/3/9
[Paper #]
目次

,  

[Date]1994/3/9
[Paper #]
A Model of Object-Oriented Database Based on Typed Higher-Order Logic

Ichirou Ebihara,  Kazuhito Ohmaki,  

[Date]1994/3/9
[Paper #]COMP93-77,SS93-45
An Implementation and a Performance Evaluation of HPF for a SIMD Massively Parallel Machine

Susumu Komae,  Hideo Sugimori,  Koji Otani,  Shigeru Uzuhara,  Michiaki Yasumura,  

[Date]1994/3/9
[Paper #]COMP93-78,SS93-46
A Concurrent Language Harmony/2 and its Fist Class Continuation Facoloty

Ken Wakita,  

[Date]1994/3/9
[Paper #]COMP93-79,SS93-47
Asynchronous ν-calculus and Interaction-based Programming Methodol ogies

Kohei Honda,  Makoto Kubo,  Atsushi Sashino,  Kaku Takeuchi,  Vcsco Vasconcelos,  Nobuko Yoshida,  

[Date]1994/3/9
[Paper #]COMP93-80,SS93-48
Formal Verification for stepwise programming in concurrent logic language

Yukihiro Oda,  Masaki Murakami,  

[Date]1994/3/9
[Paper #]COMP93-81,SS93-49
Dynamic Evolution of Distributed Systems Specifications Specialization of Object Behaviors and Requirement Specifications

Issam Hamid,  

[Date]1994/3/9
[Paper #]COMP93-82,SS93-50
Catamorphism Based Transformation of Functional Programs

Zhenjiang Hu,  Hideya Iwasaki,  Masato Takeichi,  

[Date]1994/3/9
[Paper #]COMP93-83,SS93-51
A synthesizer for algebraic processes

Nobuyuki Usui,  Sen Yoshida,  Shigetomo Kimura,  Atsushi Togashi,  Norio Shiratori,  

[Date]1994/3/9
[Paper #]COMP93-84,SS93-52
A support environment for developping or utilizing concurrent process calculi

Sen Yoshida,  Atsushi Togashi,  Norio Shiratori,  

[Date]1994/3/9
[Paper #]COMP93-85,SS93-53
Synthesis Algorithm for Recursive Processes by μ-calculus

Shigetomo Kimura,  Atsushi Togashi,  Norio Shiratori,  

[Date]1994/3/9
[Paper #]COMP93-86,SS93-54
[OTHERS]

,  

[Date]1994/3/9
[Paper #]