Search the dblp DataBase

Publications of Author

1. Toru Ishida, Yutaka Sasaki, Keiko Nakata, Yoshimi Fukuhara
   A Meta-Level Control Architecture for Production Systems. [Citation Graph (1, 10)][DBLP]
   IEEE Trans. Knowl. Data Eng., 1995, v:7, n:1, pp:44-52 [Journal]
   
2. Keiko Nakata, Jacques Garrigue
   Recursive modules for programming. [Citation Graph (0, 0)][DBLP]
   ICFP, 2006, pp:74-86 [Conf]
   
3. Yutaka Sasaki, Keiko Nakata, Toru Ishida, Yoshimi Fukuhara
   Advantages of Meta-Level Control Architectures in Maintaining Rule-Based Systems. [Citation Graph (0, 0)][DBLP]
   ICTAI, 1993, pp:495-496 [Conf]
   
4. 
   A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While. [Citation Graph (, )][DBLP]
   
   
5. 
   Trace-Based Coinductive Operational Semantics for While. [Citation Graph (, )][DBLP]
   
   
6. 
   Small-step and big-step semantics for call-by-need [Citation Graph (, )][DBLP]
   
   
7. 
   Lazy mixin modules and disciplined effects [Citation Graph (, )][DBLP]
   
   
8. 
   Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction [Citation Graph (, )][DBLP]