Category:Journal Journal of the ACM

From BibNetWiki

Papers published in the Journal "Journal of the ACM"

Articles in category "Journal Journal of the ACM"

There are 44 articles in this category.

A A Machine-Oriented Logic Based on the Resolution Principle A Really Temporal Logic A Study of Methods for Systematically Abbreviating English Words and Names A Transformation System for Developing Recursive Programs A Turing Machine Simulator A formal construction of term classes A time-sharing queue with a finite number of customers AND/OR Graph Heuristic Search Methods Algorithms for parallel-search memories C Code Generation for a One-Register Machine Constructing Call-by-value Continuation Semantics Continuation-Based Program Transformation Strategies E Efficiency of a good but not linear set union algorithm F Fast algorithms for solving path problems

F cont. Fast decision procedures based on congruence closure Feedback queueing models for time-shared systems Formalization of Properties of Functional Programs I Inference of reversible languages Initial Algebra Semantics and Continuous Algebras O On the covering and reduction problems for context-free grammars Optimal Code Generation for Expression Trees P PL360, A Programming Language for the 360 Computer Priority queues with feedback Program improvement by source-to-source transformation Properties of a notation for combining functions Proving Properties of Complex Data Structures Q Queueing analysis of the IBM 2314 disc storage facility R Reasoning about Temporal Relations: A Maximal Tractable Subcla ss of Allen's Interval Algebra S Semantics of the Domain of Flow Diagrams

S cont. Some Comments from a Numerical Analyst Some challenges and grand challenges for computational intelligence Sorting by address calculation T The Generation of Optimal Code for Arithmetic Expressions The Generation of Optimal Code for Stack Machines The Pattern-of-Calls Expansion is the Canonical Fixpoint for Recursive Definitions The String B-tree: A New Data Structure for String Search in External Memory and its Applications The mutual exclusion problem: part I - a theory of interprocess communication The mutual exclusion problem: part II - statement and solutions The weakest failure detector for solving consensus Tree Manipulating Systems and Church-Rosser Theorems U Unnormalized Floating Point Arithmetic Unreliable failure detectors for reliable distributed systems Using Semi-Joins to Solve Relational Queries V Variations on the common subexpression problem