Institute for New Generation Computer Technology (Icot)
Springer-Verlag, 1988 - Computer architecture - 1302 pages
FGCS'88 was held with the objective of reporting on the current status and results of the research activities conducted by the Institute for New Generation Computer Technology (ICOT), Japan, in the intermediate stage of its FGCS projects, as well as encouraging researchers and representatives from business and the government to present papers, report research results and exchange opinions. The proceedings are published in three volumes. Volume 1 includes the plenary sessions and reports on ICOT research topics. Volumes 2 and 3 include a collection of invited and submitted technical papers in the areas of foundations, software, architecture and applications.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Interpreting One Concurrent Calculus in Another
Conditional Equational Programming and the Theory of Conditional Term Rewriting
58 other sections not shown
abstract algorithm Andorra applied argument atom belief revision called compilation complete Computer Science Concurrent Prolog constraints context-free grammar corresponding cycle database defined definition denotes derived domain efficient equations example execution expression FIFTH GENERATION COMPUTER finite formula functional programming given goal gram grammar guard Herbrand Horn clause ICOT implementation inference input instance instantiated interpretation Joseph Goguen knowledge label lazy evaluation Lemma linear literal Logic Programming logical variables magic set merge meta-interpreter metaclass method minimal modal modal logic negation negative node operational semantics P-complete parallel paramodulation partial computation partial evaluator predicate problem Proc procedure programming language proof tree query read-only recursive reduce relation representation represented result rewriting rules satisfies sequence Shapiro slots Smalltalk solve stream structure symbol techniques Theorem theory tion transformation tuples unifiable unification weighted graph