Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
- 期刊名称Journal of the ACM
- 作者Clarke, Edmund Melson
- 卷第26卷
- 期第1期
- 印刷ISSN0004-5411
- 文件大小1025.03KB
- 发表时间1979-1-1
- DOI10.1145/322108.322121
- 页码129-147
On pebble automataJik H. Chang; Oscar H. Ibarra; Michael A. Palis; B. Ravikumar · 1986
On iterative and cellular tree arraysOscar H. Ibarra; Tao Jiang; Jik H. Chang · 1989
On efficient recognition of transductions and relationsOscar H. Ibarra; Michael A. Palis; Jik H. Chang · 1985
Some classes of languages in NC1Oscar H. Ibarra; Tao Jiang; Jik H. Chang; Bala Ravikumar · 1991
Systolic algorithms for some scheduling and graph problemsOscar H. Ibarra; Tao Jiang; Jik H. Chang; Michael A. Palis · 1990
Finite automata with multiplicationOscar H. Ibarra; Sartaj K. Sahni; Chul E. Kim · 1976
On two-way multihead automataOscar H. Ibarra · 1973
(Semi)alternating stack automataEitan M. Gurari; Oscar H. Ibarra · Theory of Computing Systems · 1981-1982
Abstraction in query processingImielinski, Tomasz · Journal of the ACM · 1991
The PCP theorem by gap amplificationDinur, Irit · Journal of the ACM · 2007
New Methods in Automatic ExtractingEdmundson, H. P. · Journal of the ACM · 1969
Inference of Reversible LanguagesAngluin, Dana · Journal of the ACM · 1982
Eigenvalues and expansion of regular graphsKahale, Nabil · Journal of the ACM · 1995
An Algorithm for Convex PolytopesChand, Donald R.; Kapur, Sham S. · Journal of the ACM · 1970
How to construct random functionsGoldreich, Oded; Goldwasser, Shafi; Micali, Silvio · Journal of the ACM · 1986
An Algorithm for Subgraph IsomorphismUllmann, J. R. · Journal of the ACM · 1976