Yoshihiko Futamura
- Partial computation of programs
1983/01/01 by Yoshihiko Futamura · 1 citation
Computer Science · #Algorithm #Computability, Logic, AI Algorithms #Computation #Computer science #Logic, programming, and type systems #Partial evaluation #Theoretical computer science #semigroups and automata theory
- Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler
1999/12/01 by Yoshihiko Futamura · 1 citation
Computer Science · #Compiler #Compiler construction #Compiler correctness #Computer science #Interpreter #Interprocedural optimization #Logic, programming, and type systems #Loop optimization #Natural Language Processing Techniques #Optimizing compiler #Programming language #Semantics (computer science) #Software Engineering Research