
Final list of papers
Statistics
 60 submitted, 30 accepted, 1 invited
Editors
 R K Shyamasundar and Mathai Joseph
Foreword
Keynote

Maurice Nivat
Theory and practice in programming
Refereed papers

S Rao Kosaraju
Redistribution of Computations for improving the WorstCase, 38

A. Bagchi and A. Mahanti
Admissible Heuristic Search in AND/OR Graphs, 919

R.K. Shyamasundar
On the Impossibility of infix to prefix translation by a pushdown machine, 2127

Kripasindhu Sikdar
On the Complexity Classes and Optimal Algorithms for Parallel Evaluation
of Polynomials, 2938

Sandra A. Mamrak
Installing Existing Tools in a Distributed Processing Environment, 4956

N. Natarajan
Program Structure for Decentralized Algorithms, 5766

Mukul K. Sinha
Approximate Transactions: a methodology for solving a class of database
problems, 6774

K.C. Anand
Experience with the task Structuring for a Real Time System, 7586

Sanjay Mittal and B. Chandrasekaran
Software Design of Knowledge Directed Systems, 87??

K.K. Nambiar and T. Radhakrishnan
A Study of Saturated Sets and Functional Dependencies in
Relational Data bases using Linear Graphs, ??107

Rohit Parikh
Models for Programs, 109120

R.H. Perrott
Synchronous Parallel Programming Languages, 121133

N. Soundararajan
Correctness Proofs of CSP Programs, 135142

Anwar Jafri
Languages of Functional Schemata for Parallel Processing, 143151

Manabu Toda, Katsushi Inoue and Itsuo Takanami
TwoDimensional Pattern Matching by TwoDimensional
Online Tessellation Acceptors, 153166

Bhargab B. Bhattacharya, Bidyut Gupta and Arun K. Choudhury
Generalized Circuit Signature of Combinational Logic Circuits, 167178

T.R.N.Rao, Lois M.L. Delcambre and Awad Iskander
Cyclic Codes and Finite Field Arithmetic, 179186

Bernard Chazelle and Louis Monier
Unbounded Hardware is equivalent to Deterministic Turing Machines, 187192

Phalguni Gupta and G.P. Bhattacharjee
Parallel Generation of Lexicographic Combinations, 193200a

Dhruva Nath, S.N. Maheshwari and P.C.P. Bhatt
Efficient VLSI Networks for Parallel Processing Based on
Orthogonal Trees, 201216

Ratan K. Ghosh and G.P. Bhattacharjee
A Parallel Algorithm for Finding a Fundamental Set of Cycles of an
Undirected Graph, 217226

B.H. Jajoo and H.V. Sahasrabuddhe
Data Flow Analysis of Structured Programs, 227240

Abha Moitra
Relation Between Algebraic Specifications and Turing Machines, 241249

M.N. Muralidharan and H.V. Sahasrabuddhe
Permutation Algorithms: A case study in Algorithm Schema Transformation, 251259

Akira Nakamura and Kunio Aizawa
On a Relationship Between Graph LSystems and Picture Languages, 261280

Taiho Kanaoka and Shingo Tomita
A Whirl Decomposition of Stochastic Systems Based on the Substitution Property, 287296

R. Siromoney, G. Siromoney and K.G. Subramanian
Extended Table Matrix Grammars, 297

K.S. Rajasethupathy
A Parsing Algorithm for NPGGrammars, 299308
Accepted for short presentation

Sukhamay Kundu
An O(v) Algorithm for Computing transitive reduction of a Planar Acyclic Digraph, 3948

R. Siromoney, V.R. Dare and K.G. Subramanian
Infinite Arrays and Infinite Computations, 281285
