Collection home page

Mathematical Methods in Software Science and Engineering   11
(http://hdl.handle.net/2433/98167)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 11 of 11
BibliographyContents
表紙・目次
   (1987-04)
  数理解析研究所講究録, 618
file type icon
Model Inference Incorporating Generalization
  ISHIZAKA, Hiroki (1987-04)
  数理解析研究所講究録, 618: 1-15
file type icon
LOGIC PROGRAMMING WITH NARROWING
  Yamamoto, Akihiro (1987-04)
  数理解析研究所講究録, 618: 16-39
file type icon
Fixed Point Semantics for Parallel Logic Programming Languages
  Shibayama, Etsuya (1987-04)
  数理解析研究所講究録, 618: 40-58
file type icon
Inheritance Mechanisms in Distributed Object-Oriented Languages
  BRIOT, Jean-Pierre, YONEZAWA, Akinori (1987-04)
  数理解析研究所講究録, 618: 59-75
file type icon
RESUABLE DESIGN METHODOLOGY FOR SWITCHING SOFTWARE
  HORI, Yoshinori, KIMURA, Shigekatsu, MATSUURA, Hiroyuki (1987-04)
  数理解析研究所講究録, 618: 76-96
file type icon
On the Working Set Concept for Data-flow Machines : Consideration on List Processing on a Hierarchical Structured Memory
  Nagamatsu, Tatsuo, Sunahara, Hideki, Tokoro, Mario (1987-04)
  数理解析研究所講究録, 618: 97-109
file type icon
Monitoring Ada Tasking Programs Correctly
  CHENG, Jingde, ARAKI, Keijiro, USHIJIMA, Kazuo (1987-04)
  数理解析研究所講究録, 618: 110-129
file type icon
Coupled context free grammars and a programming language based on them
  YAMASHITA, Yoshiyuki, NAKATA, Ikuo (1987-04)
  数理解析研究所講究録, 618: 130-149
file type icon
Equational Computation of LALR(1) Look-Ahead Sets
  Anzai, Hiroyuki (1987-04)
  数理解析研究所講究録, 618: 150-169
file type icon
Metis : A Term Rewriting System Generator : An Inference Engine for Equations and Inequations
  Ohsuga, Akihiko, Sakai, Ko (1987-04)
  数理解析研究所講究録, 618: 170-187
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 11 of 11