Mogens Nielsen, Erik Meineche Schmidt
Proceedings of the Ninth Colloquium on Automata, Languages and Programming
ICALP, 1982.

@proceedings{ICALP-1982,
	address       = "Aarhus, Denmark",
	editor        = "Mogens Nielsen and Erik Meineche Schmidt",
	isbn          = "3-540-11576-5",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Ninth Colloquium on Automata, Languages and Programming}",
	volume        = 140,
	year          = 1982,
}

Contents (49 items)

7 ×#on the
6 ×#semantics
4 ×#algebra
4 ×#power of
3 ×#bound
3 ×#problem
2 ×#algorithm
2 ×#automaton
2 ×#context-free grammar
2 ×#data type

ICALP-1982-BackM #composition #locality

Locality in Modular Systems (RJB, HM), pp. 1–13.

ICALP-1982-Ben-Ari #algorithm #garbage collection #on the fly #proving

On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs (MBA), pp. 14–22.

ICALP-1982-BergstraK #algebra #data type #parametricity #specification

Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras (JAB, JWK), pp. 23–34.

ICALP-1982-BerklingF #functional #programming language #λ-calculus

A Modification of the λ-Calculus as a Base for Functional Programming Languages (KJB, EF), pp. 35–47.

ICALP-1982-BermanHT #logic #nondeterminism #on the #power of

On the Power of Nondeterminism in Dynamic Logic (PB, JYH, JT), pp. 48–60.

ICALP-1982-BertoniMS #equivalence #problem

Equivalence and Membership Problems for Regular Trace Languages (AB, GM, NS), pp. 61–71.

ICALP-1982-Blum #context-free grammar #on the #power of

On the Power of Chain Rules in Context Free Grammars (NB), pp. 72–82.

ICALP-1982-Brandenburg #theorem

Extended Chomsky-Schützenberger Theorems (FJB), pp. 83–93.

ICALP-1982-Cardelli #realtime

Real Time Agents (LC), pp. 94–106.

ICALP-1982-CaseL #identification #induction

Machine Inductive Inference and Language Identification (JC, CL), pp. 107–115.

ICALP-1982-ComynD #approximate

Approximations of Infinitary Objects (GC, MD), pp. 116–127.

ICALP-1982-Culik #on the #testing

On Test Sets and the Ehrenfeucht Conjecture (KCI), pp. 128–140.

ICALP-1982-DammG

An Automata-Theoretic Characterization of the OI-Hierarchy (WD, AG), pp. 141–153.

ICALP-1982-DobkinK #detection #performance

Fast Detection of Polyhedral Intersections (DPD, DGK), pp. 154–165.

ICALP-1982-DurisG #automaton #bound #on the

On Reversal-Bounded Counter Machines and on Pushdown Automata with a Bound on the Size of the Pushdown Store (PD, ZG), pp. 166–175.

ICALP-1982-DurisH #automaton #finite #multi

Multihead Finite State Automata and Concatenation (PD, JH), pp. 176–186.

ICALP-1982-EhrenfeuchtHR #context-free grammar

Conditions Enforcing Regularity of Context-Free Languages (AE, DH, GR), pp. 187–191.

ICALP-1982-EhrenfeuchtR #morphism

Repetitions in Homomorphisms and Languages (AE, GR), pp. 192–211.

ICALP-1982-Faustini #data flow #semantics

An Operational Semantics for Pure Dataflow (AAF), pp. 212–224.

ICALP-1982-FernandezT

Some Properties of D-Continuous Causal Nets (CF, PST), pp. 225–238.

ICALP-1982-FlajoletS #branch #polynomial #process

A Branching Process Arising in Dynamic Hashing, Trie Searching and Polynomial Factorization (PF, JMS), pp. 239–251.

ICALP-1982-Gerth #ada #axiom #hoare

A Sound and Complete Hoare Axiomatization of the Ada-Rendevous (RG), pp. 252–264.

ICALP-1982-GoguenM #implementation #persistent

Universal Realization, Persistent Interconnection and Implementation of Abstract Modules (JAG, JM), pp. 265–281.

ICALP-1982-GonnetM

Heaps on Heaps (GHG, JIM), pp. 282–291.

ICALP-1982-GoralcikovaGK #bound #morphism #pseudo

A Boundary of Isomorphism Completeness in the Lattice of Semigroup Pseudovarieties (AG, PG, VK), pp. 292–299.

ICALP-1982-GuttagKM #term rewriting #tool support

Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems (JVG, DK, DRM), pp. 300–312.

ICALP-1982-HarelK #induction #programming language #set

A Programming Language for the Inductive Sets, and Applications (DH, DK), pp. 313–329.

ICALP-1982-Kalorkoti #bound

A Lower Bound for the Formula Size of Rational Functions (KK), pp. 330–338.

ICALP-1982-Karhumaki #equivalence #on the #problem

On the Equivalence Problem for Binary DOL Systems (JK), pp. 339–347.

ICALP-1982-Kozen #calculus #μ-calculus

Results on the Propositional μ-Calculus (DK), pp. 348–359.

ICALP-1982-KrevnerY #precedence #theorem

An Iteration Theorem for Simple Precedence Languages (YK, AY), pp. 360–368.

ICALP-1982-Lingas #power of

The Power of Non-Rectilinear Holes (AL), pp. 369–383.

ICALP-1982-Niwinski #algebra #fixpoint #semantics

Fixed-Point Semantics for Algebraic (Tree) Grammars (DN), pp. 384–396.

ICALP-1982-Perrin

Completing Biprefix Codes (DP), pp. 397–406.

ICALP-1982-Pippenger #roadmap

Advances in Pebbling (NP), pp. 407–417.

ICALP-1982-Plotkin #nondeterminism

A Powerdomain for Countable Non-Determinism (GDP), pp. 418–428.

ICALP-1982-RaoultS

Properties of a Notation for Combining Functions (JCR, RS), pp. 429–441.

ICALP-1982-Reif #on the #parallel #power of #probability

On the Power of Probabilistic Choice in Synchronous Parallel Computations (JHR), pp. 442–450.

ICALP-1982-Reutenauer #algebra

Biprefix Codes and Semisimple Algebras (CR), pp. 451–457.

ICALP-1982-Salwicki #algorithm #data type

Algorithmic Theories of Data Structures (AS), pp. 458–472.

ICALP-1982-SannellaW #implementation #specification

Implementation of Parameterised Specifications (DS, MW), pp. 473–488.

ICALP-1982-Schmeck #algebra #recursion #semantics

Algebraic Semantics of Recursive Flowchart Schemes (HS), pp. 489–501.

ICALP-1982-SelmanY #complexity #problem

The Complexity of Promise Problems (ALS, YY), pp. 502–509.

ICALP-1982-Sifakis #invariant

Global and Local Invariants in Transition Systems (JS), pp. 510–522.

ICALP-1982-Sipser #on the #set

On Relativization and the Existence of Complete Sets (MS), pp. 523–531.

ICALP-1982-Tennent #semantics

Semantics of Interference Control (RDT), pp. 532–545.

ICALP-1982-Vitanyi #multi #performance #simulation

Efficient Simulations of Multicounter Machines (PMBV), pp. 546–560.

ICALP-1982-Winskel #semantics

Event Structure Semantics for CCS and Related Languages (GW), pp. 561–576.

ICALP-1982-Scott #semantics

Domains for Denotational Semantics (DSS), pp. 577–613.