Journal of the ACM (JACM)


Search Issue
enter search term and/or author name


Journal of the ACM (JACM), Volume 29 Issue 2, April 1982

Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions
Steve Winker
Pages: 273-284
DOI: 10.1145/322307.322308

The complexity of restricted spanning tree problems
Christos H. Papadimitriou, Mihalis Yannakakis
Pages: 285-309
DOI: 10.1145/322307.322309

On Database Logic
Barry E. Jacobs
Pages: 310-332
DOI: 10.1145/322307.322310

On the Equivalence of Database Models
Y. Edmund Lien
Pages: 333-362
DOI: 10.1145/322307.322311

Template Dependencies: A Large Class of Dependencies in Relational Databases and Its Complete Axiomatization
Fereidoon Sadri, Jeffrey D. Ullman
Pages: 363-372
DOI: 10.1145/322307.322312

A Complete Axiomatization of Full Join Dependencies
Edward Sciore
Pages: 373-393
DOI: 10.1145/322307.322313

Useless Actions Make a Difference: Strict Serializability of Database Updates
Ravi Sethi
Pages: 394-403
DOI: 10.1145/322307.322314

A Generalization of Ogden's Lemma
Christopher Bader, Arnaldo Moura
Pages: 404-407
DOI: 10.1145/322307.322315

Upper Bounds for Speedup in Parallel Parsing
Jacques Cohen, Timothy Hickey, Joel Katcoff
Pages: 408-428
DOI: 10.1145/322307.322316

On the Decidability of Grammar Problems
H. B. Hunt, III
Pages: 429-447
DOI: 10.1145/322307.322317

Determination of the conditional response for quantum allocation algorithms
Theodore Brown
Pages: 448-460
DOI: 10.1145/322307.322318

Maximum Processing Rates of Memory Bound Systems
R. M. Bryant
Pages: 461-477
DOI: 10.1145/322307.322319

A Finite-Source Queue with Different Customers
Hisao Kameda
Pages: 478-491
DOI: 10.1145/322307.322320

Dynamic Scaling and Growth Behavior of Queuing Network Normalization Constants
Simon S. Lam
Pages: 492-513
DOI: 10.1145/322307.322321

The Performance of Job Classes with Distinct Policy Functions
Manfred Ruschitzka
Pages: 514-526
DOI: 10.1145/322307.322322

An Approach to Program Behavior Modeling and Optimal Memory Control
Percy Tzelnic, Izidor Gertner
Pages: 527-554
DOI: 10.1145/322307.322323

Axiomatic Definitions of Programming Languages: A Theoretical Assessment
Albert R. Meyer, Joseph Y. Halpern
Pages: 555-576
DOI: 10.1145/322307.322324

The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
Michael A. Arbib, Ernest G. Manes
Pages: 577-602
DOI: 10.1145/322307.322325