Acta Informatica, Volume 12

Volume 12, 1979

• Axel van Lamsweerde, Michel Sintzoff:
  Formal Derivation of Strongly Correct Concurrent Programs. 1-31
  
• Helmut Alt:
  Lower Bounds on Space Complexity for Contextfree Recognition. 33-61
  
• Yasuichi Horibe, Tibor O. H. Nemetz:
  On the Max-Entropy Rule for a Binary Search Tree. 63-72
  
• Jørgen Steensgaard-Madsen:
  Pascal-Clarifications and Recommended Extensions. 73-94
  
• Warren Burton:
  Generalized Recursive Data Structures. 95-108
  
• Peter E. Lauer, Piero R. Torrigiani, M. W. Shields:
  COSY - A System Specification Language Based on Paths and Processes. 109-158
  
• Donald L. Iglehart, Gerald S. Shedler:
  Regenerative Simulation of Response Times in Networks of Queues with Multiple Job Types. 159-175
  
• Ronald V. Book:
  On Languages Accepted by Space-Bounded Oracle Machines. 177-185
  
• C. J. M. Turnbull, E. S. Lee:
  Generalized Deterministic Left To Right Parsing. 187-207
  
• Reinhard Wilhelm:
  Computation and Use of Data Flow Information in Optimizing Compilers. 209-225
  
• Beate Commentz-Walter:
  Size-Depth Tradeoff in Monotone Boolean Formulae. 227-243
  
• J. W. Cohen:
  The Multiple Phase Service Network with Generalized Processor Sharing. 245-284
  
• Erol Gelenbe:
  Probabilistic Models of Computer Systems. 285-303
  
• Teruo Hikita:
  On a Class of Recursive Procedures and Equivalent Iterative Ones. 305-320
  
• N. Mikou, S. Tucci:
  Analyse et optimisation d'une procédure de reprise dans un système de gestion de données centralisées. 321-338
  
• Eljas Soisalon-Soininen, Esko Ukkonen:
  A Method for Transforming Grammars into LL(k) Form. 339-369
  
• Kurt Mehlhorn:
  Some Remarks on Boolean Sums. 371-375
  
• Hirokazu Nishimura:
  Sequential Method in Propositional Dynamic Logic. 377-400
  

Last update Mon May 20 16:19:38 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page