Yukihide Takayama

According to our database, Yukihide Takayama authored at least 8 papers between 1987 and 1996.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1996

Extraction of Concurrent Processes from Higher Dimensional Automata.

Yukihide Takayama

Proceedings of the Trees in Algebra and Programming, 1996

1994

Defining Concurrent Processes Constructively.

Yukihide Takayama

Theor. Comput. Sci., 1994

Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction.

Susumu Hayashi, Yukihide Takayama

Proceedings of the Logic, 1994

1993

QPC_2: A Constructive Calculus with Parameterized Specifications.

Yukihide Takayama

J. Symb. Comput., 1993

1991

Extraction of Redundancy-free Programs from Constructive Natural Deduction Proofs.

Yukihide Takayama

J. Symb. Comput., 1991

1989

Extended Projection - New Method to Extract Efficient Programs from Constructive Proofs.

Yukihide Takayama

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988

QPC: QJ-based Proof Compiler - Simple Examples and Analysis.

Yukihide Takayama

Proceedings of the ESOP '88, 1988

1987

Writing Programs as QJ Proof and Compiling into Prolog Programs.

Yukihide Takayama

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987