BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Takayama:Yukihide

Contributed to:

FPCA 19891989
ESOP 19881988
SLP 19871987

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.