Author of the publication

Fast Binding-Time Analysis for Multi-Level Specialization.

, and . Ershov Memorial Conference, volume 1181 of Lecture Notes in Computer Science, page 261-272. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Reasoning about Hierarchies of Online Program Specialization Systems., and . Dagstuhl Seminar on Partial Evaluation, volume 1110 of Lecture Notes in Computer Science, page 161-182. Springer, (1996)Reversible Flowchart Languages and the Structured Reversible Program Theorem., , and . ICALP (2), volume 5126 of Lecture Notes in Computer Science, page 258-270. Springer, (2008)Efficient Multi-level Generating Extensions for Program Specialization, and . PLILP, volume 982 of Lecture Notes in Computer Science, page 259-278. Springer, (1995)A Practical Simulation Result for Two-Way Pushdown Automata.. CIAA, volume 9705 of Lecture Notes in Computer Science, page 113-124. Springer, (2016)An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata.. MARS/VPT@ETAPS, volume 268 of EPTCS, page 169-184. (2018)Cleaning Up: Garbage-Free Reversible Circuits by Design Languages., , and . ISED, page 6-10. IEEE, (2012)Combining Semantics with Non-standard Interpreter Hierarchies., and . FSTTCS, volume 1974 of Lecture Notes in Computer Science, page 201-213. Springer, (2000)Implementing Reversible Object-Oriented Language Features on Reversible Machines., , and . RC, volume 10301 of Lecture Notes in Computer Science, page 66-73. Springer, (2017)Reversible Programs Have Reversible Semantics., , and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 413-427. Springer, (2019)WSDFU: Program Transformation System Based on Generalized Partial Computation., , and . The Essence of Computation, volume 2566 of Lecture Notes in Computer Science, page 358-378. Springer, (2002)