default search action
Acta Informatica, Volume 16
Volume 16, 1981
- Zvi M. Kedem, Abraham Silberschatz:
A Characterization of Database Graphs Admitting a Simple Locking Protocol. 1-13 - Maurice Clint:
On the Use of History Variables. 15-30 - Richard G. Hamlet:
Reliability Theory of Program Testing. 31-43 - Manfred P. Stadel:
Behandlung verschiedener INTEGER-Darstellungen durch optimierende Compiler. 45-56 - Rolf Schassberger:
On the Response Time Distribution in a Discrete Round-Robin Queue. 57-62 - Dirk Janssens, Grzegorz Rozenberg:
A Characterization of Context-free String Languages by Directed Node-label Controlled Graph Grammars. 63-85 - Paul Pritchard:
Another Look at the "Longest Ascending Subsequence" Problem. 87-91 - Eike Best, Brian Randell:
A Formal Model of Atomicity in Asynchronous Systems. 93-124 - Thomas J. Ostrand, Marvin C. Paull, Elaine J. Weyuker:
Parsing Regular Grammars with Finite Lookahead. 125-138 - Volker Claus:
The ( n,k )-Bounded Emptiness-Problem for Probabilistic Acceptors and Related Problems. 139-160 - Ernst-Rüdiger Olderog:
Sound and Complete Hoare-like Calculi Based on Copy Rules. 161-197 - Andrzej Blikle:
The Clean Termination of Iterative Programs. 199-217 - Alain J. Martin:
An Axiomatic Definition of Synchronization Primitives. 219-235 - Trevor I. Fenner, George Loizou:
An Analysis of two Related Loop-free Algorithms for Generating Integer Partitions. 237-252 - Jayashree Ramanathan, Ken Kennedy:
Pathlistings Applied to Data Flow Analysis. 253-273 - Joost Engelfriet, Gilberto Filé:
The Formal Power of One-Visit Attribute Grammars. 275-302 - Leslie M. Goldschlager:
Varepsilon-Productions in Context-Free Grammars. 303-308 - John L. Hennessy, Richard B. Kieburtz:
The Formal Definition of a Real-Time Language. 309-345 - Thomas Klingler, Stefan Reisch:
A Gap Between the Actual Complexity of Permutations and Their Entropy Defined by Stoß. 347-362 - George Markowsky:
Best Huffman Trees. 363-370 - Zohar Manna, Richard J. Waldinger:
Problematic Features of Programming Languages: A Situational-Calculus Approach. 371-426 - Henk Alblas:
A Characterization of Attribute Evaluation in Passes. 427-464 - Thomas Lengauer:
Black-White Pebbles and Graph Separation. 465-475
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-27 21:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: