Travelled to:1 × France
1 × USA
1 × United Kingdom
Collaborated with:∅
Talks about:program (3) proof (3) compil (2) construct (1) project (1) extract (1) analysi (1) prolog (1) method (1) extend (1)
Person: Yukihide Takayama
DBLP: Takayama:Yukihide
Contributed to:
1989
1988
1987Wrote 3 papers:
- FPCA-1989-Takayama #performance #proving #source code
- Extended Projection — New Method to Extract Efficient Programs from Constructive Proofs (YT), pp. 299–312.
- ESOP-1988-Takayama #analysis #compilation #named #proving
- QPC: QJ-based Proof Compiler — Simple Examples and Analysis (YT), pp. 49–63.
- SLP-1987-Takayama87 #compilation #prolog #proving #source code
- Writing Programs as QJ Proof and Compiling into Prolog Programs (YT), pp. 278–287.