Mixed computation: potential applications and problems for study
- 1 April 1982
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 18 (1) , 41-67
- https://doi.org/10.1016/0304-3975(82)90111-6
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- The logic-termal equivalence is polynomial-time decidableInformation Processing Letters, 1980
- Äquivalente Transformationen für FlußdiagrammeActa Informatica, 1978
- A synthesis of several sorting algorithmsActa Informatica, 1978
- On the partial computation principleInformation Processing Letters, 1977
- A partial evaluator, and its use as a programming toolArtificial Intelligence, 1977
- On Interpreter-Oriented Definitions of Programming LanguagesThe Computer Journal, 1976
- A system which automatically improves programsActa Informatica, 1976
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- Code-generation technique for large-language compilersIBM Systems Journal, 1970
- ALPHA—An Automatic Programming System of High EfficiencyJournal of the ACM, 1966