Notes on transformation techniques for generate and test logic programs von Seki, Hirohisa, Furukawa, Koichi

Schlagworte: “… Furukawa, Kōichi …”

Basic software system von Furukawa, Koichi, Yokoi, Toshio

Interprocess communication in Concurrent Prolog von Takeuchi, Akikazu, Furukawa, Koichi

Parallel logic programming languages von Takeuchi, Akikazu, Furukawa, Koichi

Nihon rekijitsu sōran, Guchūreki hen The Japanese luni-solar calendar for the 6th and 7th centuries

日本暦日総覧, 具注暦篇 The Japanese luni-so lar calendar for the 6th and 7th centuries

Nihon rekijitsu sōran, Guchūreki hen The Japanese luni-solar calendar for the 10th and 11th centuries

日本暦日総覧, 具注暦篇 The Japanese Luni-solar calendar for the 10th and 11th centuries

Transformation rules for GHC programs von Ueda, Kaunori, Furukawa, Koichi

Unfolding rules for GHC programs von Furukawa, Koichi, Okumura, Akira, Murakami, Masaki

GHC process fusion by program transformation von Furukawa, Koichi, Ueda, Kazunori

Fifth Generation Computer Project: current research activity and future plans von Furukawa, Koichi

Deriving an efficient production system by partial evaluation von Furukawa, Koichi, Fujita, Hiroshi

Modularization and abstraction in logic programming von Furukawa, Koichi, Nakajima, R., Yonezawa, A.

An ordered linear resolution theorem proving program in Prolog von Mukai, Kuniaki, Furukawa, Koichi

Object-oriented parser in the logic programming language ESP von Miyoshi, Hideo, Furukawa, Koichi

Consideration of a hypothesis-based reasoning system von Kunifuji, Susumu, Tsurumaki, Koji, Furukawa, Koichi

GHC-A, language for a new age of parallel programming von Furukawa, Koichi, Ueda, Kazunori

A self-applicable partial ewvaluator and its use in incremental compilation von Fujita, Hiroshi, Furukawa, Koichi

Mandala, a Concurrent Prolog based knowledge programming language system von Furukawa, Koichi, Takeuchi, Kunifuji, Susumu

Partial evaluation of Prolog programs and its application to meta programming von Takeuchi, Akikazu, Furukawa, Koichi

Syntactic parsing with POPS its parsing time order and the comparison with other systems von Hirakawa, Hideki, Furukawa, Koichi