Details

Autor(en) / Beteiligte

• Goto, E[Herausgeber]
• Furukawa, K[Herausgeber]
• Nakajima, R[Herausgeber]
• Nakata, I[Herausgeber]
• Yonezawa, A[Herausgeber]

Titel

RIMS Symposium on Software Science and Engineering : Kyoto, 1982. Proceedings [electronic resource]

Auflage

1st ed. 1983

Ort / Verlag

Berlin, Heidelberg : Springer Berlin Heidelberg

Erscheinungsjahr

1983

Link zum Volltext

• SpringerLink Books - AutoHoldings

Beschreibungen/Notizen

• Bibliographic Level Mode of Issuance: Monograph
• Partial computation of programs -- Treatment of big values in an applicative language HFP -- Toward the design and implementation of object oriented architecture -- DURAL: an extended Prolog language -- An algorithm for intelligent backtracking -- A pattern matching algorithm in binary trees -- Polynomial time inference of extended regular pattern languages -- Effects of practical assumption in area complexity of VLSI computation -- Hardware algorithms and logic design automation -- List processing with a data flow machine -- Relational algebra machine GRACE -- Vocabulary building for database queries.
• English