%A S. Gorn
%T Introductory speech: common symbolic language for computers
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 117-118

%A F.L. Bauer
%A K. Samelson
%T The problem of a common language, especially for scientific numeral work
(motives, restrictions, aims and results of the Zurich conference on Algol)
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 120-125

%A J.W. Backus
%T The syntax and semantics of the proposed international algebraic language
of the Zurich ACM-GAMM conference
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 125-132
%K IAL Algol

%A J. Poyen
%A B. Vauquois
%T A propos d'un langage universel
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 132-138

%A I.Y. Akushky
%A Yu.Y. Basilevsky
%A Yu.A. Shreider
%T Logical, recursive and operator methods
for the analysis and synthesis of automata
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 138-144

%A F.G. Duncan
%A E.N. Hawkins
%T Pseudo-code translation on multi-level storage machines
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 144-152

%E A.J. Perlis
%T Symposium on automatic programming
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 152-155
%K cellar stack, operator precedence

%A D. Panov
%T Introductory speech: automatic translation of languages
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 159-160

%A V.E. Giuliano
%A A.G. Oettinger
%T Research on automatic translation at the Harvard Computation Laboratory
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 163-183

%A V.H. Yngve
%T The COMIT system for mechanical translation
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 183-187

%A K.E. Harper
%A D.G. Hays
%T The use of machines in the construction of a grammar
and computer program for structural analysis
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 188-194

%A S. Takahashi
%A H. Wada
%A R. Tadenuma
%A S. Watanabe
%T English-Japanese machine translation
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 194-199

%A I.K. Belskaya
%T Machine translation methods and their application to an Anglo-Russian scheme
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 199-217

%E D.G. Hays
%T Symposium on machine translation
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 218-220

%A K. Steinbuch
%T Introductory speech: pattern recognition and machine learning
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 223-225

%A H. Wada
%A S. Takahashi
%A T. Iijima
%A Y. Okumara
%A K. Imoto
%T An electronic reading machine
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 227-232

%A H. Sherman
%T A quasi-topological method for the recognition of line patterns
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 232-238

%A W. Sprick
%A K. Ganzhorn
%T An analogous method for pattern recognition by following the boundary
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 238-244

%A H. Kazmierczak
%T The potential field as an aid to character recognition
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 244-247

%A S. Frankel
%T Information-theoretic aspects of character reading
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 248-251

%A G.W. Hughes
%A M. Halle
%T On the recognition of speech by machine
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 252-256

%A A. Newell
%A J.C. Shaw
%A H.A. Simon
%T Report on a general problem-solving program
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 256-264
%K GPS

%A P.C. Gilmore
%T A program for the production from axioms, of proofs for theorems derivable
within the first order predicate calculus
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 265-273

%A H. Gelernter
%T Realization of a geometry theorem proving machine
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 273-282

%A B. Dunham
%A R. Fridshal
%A G.L. Sward
%T A non-heuristic program for proving elementary logical theorems
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 282-285

%A R. Solomonoff
%T A new method for discovering the grammars of phrase structure languages
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 285-290

%A D.G. Willis
%T Plastic neurons as memory elements
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 290-298

%A S.N. Braines
%A A.V. Napalkov
%A Yu.A. Shreider
%T Analysis of the working principles of some self-adjusting systems
in engineering and biology
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 298-303

%A T. Kilburn
%A R.L. Grimsdale
%A F.H. Sumner
%T Experiments in machine learning and thinking
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 303-309

%A Mary E. Stevens
%T A machine model of recall
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 309-315

%A C.N. Mooers
%T Some mathematical fundamentals of the use of symbols in information retrieval
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 315-321

%A A.F. Parker-Rhodes
%A R.M. Needham
%T A reduction method for non-arithmetic data
and its application to thesauric translation
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 321-326

%A K. Steinbuch
%T Closing remarks on sessions on pattern recognition and machine learning
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 326-327

%A M.V. Wilkes
%T Introductory speech: logical design of computers
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 331-333

%A C. Strachey
%T Time sharing in large fast computers
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 336-341

%A B.J. Loopstra
%T Input and output in the X-1 system
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 342-344
%K interrupt

%A W.F. Schmitt
%A A.B. Tonik
%T Sympathetically programmed computers
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 344-348

%A J. Bosset
%T Sur certains aspects de la conception logique du Gamma 60
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 348-353

%A A.L. Leiner
%A W.A. Notz
%A J.L. Smith
%A R.B. Marimont
%T Concurrently operating computer systems
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 353-361

%A W.L. van\ der\ Poel
%T ZEBRA, a simple binary computer
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 361-365

%A M. Lehman
%T The specification of a cost-limited digital computer
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 365-374

%A F.P. Brooks,\ Jr.
%A G.A. Blaauw
%A W. Buchholz
%T Processing data in bits and pieces
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 375-382
%K STRETCH, byte

%A I.Y. Akushsky
%A L.B. Emelianov-Yaroslavsky
%A E.K. Klyamka
%A V.S. Linsky
%A G.D. Monakhof
%T Methods of speeding-up the operation of digital computers
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 382-389

%A G. Metze
%A J.E. Robertson
%T Elimination of carry propagation in digital computers
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 389-396

%A H. Takahasi
%A E. Goto
%T Application of error-correcting codes to multi-way switching
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 396-400

%A S. Muraga
%T The principle of majority decision logical elements
and the complexity of their circuits
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 400-407

%A R. Vacca
%T A three valued system of logic
and its applications to base three digital circuits
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 407-414

%A G.C. Tootill
%T The use of cyclic-permuted chain codes for digitisers
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 414-419

%A A. Svoboda
%T The numerical system of residual classes in mathematical machines
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 419-422

%E M. Goto
%T Symposium on switching algebra
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 422-427

%E W.L. van\ der\ Poel
%T Symposium on the logical organization of very small computers
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 427-431

%E N.C. Metropolis
%T Symposium on the logical organization of very high speed computers
%J Proceedings of the UNESCO
International Conference on Information Processing
%C Paris, France
%D June 1959
%K ip59 ifip59
%P 432-435

%A A. Walther
%T The spectrum of information processing
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 3-8

%A I.L. Auerbach
%T The impact of information processing on mankind
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 9-13

%A E. Stiefel
%T Some examples of numerical methods and the philosophy behind them
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 17-20

%A J. McCarthy
%T Towards a mathematical science of computation
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 21-28

%A H. Gumin
%T Digital computers, mathematical logic
and principal limitations of computability
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 29-32

%A A. Kent
%T Information retrieval - review and prospects
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 267-272

%A N.S. Prywes
%A H.J. Gray
%T The multi-list system for real-time storage and retrieval
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 273-278

%A J.C. Gardin
%A F. Levy
%T Le SYNTOL (syntagmatic organization language)
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 279-283

%A R.M. Needham
%T A method for using computers in information classification
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 284-287

%A D.R. Swanson
%T Interrogating a computer in natural language
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 288-293

%E J.G. Santesmases
%T Symposium on advanced methods in information storage and retrieval
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 294-298

%A Olga S. Koulagina
%T The use of computers in research on machine translation
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 301-305

%A S. Kung
%A A.G. Oettinger
%T Multiple-path syntactic analyzer
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 306-312

%A K. Culik
%T Some axiomatic systems for formal grammars and languages
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 313-317

%A M. Kay
%T Rules of interpretation - an approach to the problem of computation
in the semantics of natural language
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 318-322

%A K.G. Sellin
%T Machine translation and/or an international language
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 323-325

%E A. Sestier
%T Symposium on modern techniques of language translation
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 326-332

%E A.G. Oettinger
%T Panel on semantics and syntactics
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 333-338

%A A.W. Burks
%T Toward a theory of automata based on more realistic primitive elements
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 379-385

%A C.A. Petri
%T Fundamentals of a theory of asynchronous information flow
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 386-390

%A J. Becvar
%T Finite and combinatorial automata, Turing automata with a programming tape
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 391-394

%A L.J. Fogel
%T Toward inductive inference automata
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 395-400

%A E.A. Feigenbaum
%A H.A. Simon
%T Generalization of an elementary perceiving and memorizing machine
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 401-406
%K EPAM

%A A. Newell
%T Learning, generality and problem-solving
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 407-412

%A C. Vossler
%A L. Uhr
%T Computer simulations of a perceptual learning model
for sensory pattern recognition, concept formation, and symbol transformation
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 413-418

%A V. Kudielka
%T Self-organizing grouping - a learning structure
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 419-422

%A H.C. Ratz
%A G.H.M. Thomas
%T The development of a conditional probability computer
for control applications
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 423-427

%A H. Remus
%T Simulation of a learning machine for playing Go
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 428-432

%A M.G. Saunders
%T Digital computer usage in analysis of
electroencephalograph and similar quasi-rhythmic patterns
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 433-438

%A B. Julesz
%T Towards the automation of binocular depth perception
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 439-444

%A T. Sakai
%A S. Doshita
%T The phonetic typewriter
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 445-450

%A A.W. Slawson
%T MUSE - a sound synthesizer
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 451-455

%A M. Nadler
%T Un systeme analogique pour la reconnaissance de caracteres
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 456-461

%A L.D. Earnest
%T Machine recognition of cursive writing
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 462-466

%E A.L. Samuel
%T Symposium on pattern recognition
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 467-470

%E T.A. Kalin
%T Symposium on biological and psychological aspects of pattern recognition
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 471-477

%E M. Minsky
%T Symposium on artificial intelligence
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 478-484

%A K. Samelson
%T Programming languages and their processing
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 487-492

%A M. Paul
%T Algol 60 processors and a processor generator
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 493-497

%A W.M. Keese,\ Jr.
%A H.D. Huskey
%T An algorithm for the translation of Algol statements
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 498-502

%A S.J.M. Denison
%T A proposed Algol 60 matrix scheme
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 503-508

%A L.A. Lombardi
%T On table-operating algorithms
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 509-512

%E J. Green
%T Symposium on languages for processor construction
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 513-517

%E R.W. Bemer
%T Symposium on programming languages
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 518-523
%K SIMULA

%E H. Rutishauser
%T Panel on techniques for processor construction
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 524-531

%A E.W. Dijkstra
%T Some meditations on advanced programming
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 535-538

%A A.W. Holt
%T Program organization and record keeping for dynamic storage allocation
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 539-544

%A R. Perkins
%A W.C. McGee
%T Programmed control of multi-computer systems
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 545-549

%A A. Opler
%A D. Farbman
%A M. Heit
%A W. King
%A E. O'Connor
%A R. Goldfinger
%A H. Landow
%A J. Ogle
%A D. Slesinger
%T Automatic translation of programs from one computer to another
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 550-555

%A P. Lucas
%T Requirements on a language for logical data processing
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 556-560

%E W.F. Bauer
%T Symposium on advanced computer organization
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 561-569

%E P. Dreyfus
%T Symposium on multi-programming (concurrent programs)
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 570-575

%A H. Gumin
%A F.K. Kroos
%T A very small electronic digital computer with stored program control
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 651-656

%A F.H. Sumner
%A G. Haley
%A E.C.Y. Chen
%T The central control unit of the ATLAS computer
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 657-663

%A A. Avizienis
%T On a flexible implementation of digital computer arithmetic
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 664-670

%A M. Lehman
%T A comparative study of propagation speed-up circuits
in binary arithmetic units
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 671-677

%A R.J. Preiss
%T An experimental system for logic design data accumulation and retrieval
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 678-683

%A H. Hagiwara
%A K. Amo
%A S. Matsushita
%A H. Yamauchi
%T The KT pilot computer - a micro-programmed computer
with a phototransistor fixed memory
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 684-689

%A S. Takahashi
%A H. Nishino
%A K. Yoshihiro
%A K. Fuchi
%T System design of the ETL Mk-6 computer
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 690-693

%A R.H. Allmark
%A J.R. Lucking
%T Design of an arithmetic unit incorporating a nesting storage
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 694-698

%A L.O. Kerner
%T Modern programming methods and problems
and their influence on the design of computing instruments
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 699-703

%E G.M. Amdahl
%T Panel on ultra-high-speed computers
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 704-710

%E M.V. Wilkes
%T Panel on priority problems in computer systems
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 711-715

%E M.L. Juncosa
%T Symposium on optimum routing in large networks
%J Proceedings of the IFIP Congress
(Information Processing 62)
%C Munich, West Germany
%D August 1962
%E Cicely M. Popplewell
%K ip62 ifip62
%P 716-721

%A V.M. Glushkov
%T Automata theory and its applications
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 1-8

%A A.G. Oettinger
%T Automatic processing of natural and formal languages
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 9-16

%A Allen Newell
%A George Ernst
%T The search for generality
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 17-24

%A Ju.I. Zhuravlev
%T The realization of boolean functions with the aid of schemas and formulas
(abstract only)
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 25

%A M.P. Schutzenberger
%T On the algebraic theory of automata
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 27-29

%A J. Hartmanis
%A P.M. Lewis,\ II
%A R.E. Stearns
%T Classification of computations by time and memory requirements
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 31-35

%A V.A. Kovalevsky
%T Present and future of pattern-recognition theory
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 37-43

%A Marvin Minsky
%T Matter, mind and models
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 45-49

%A Hao Wang
%T Formalization and automatic theorem-proving
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 51-58

%A O.S. Kulagina
%T Algorithms of mechanical translation
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 59-64

%A R.M. Needham
%T Semantic problems of machine translation
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 65-69

%A E. Shamir
%T Mathematical models of languages
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 71-75

%A S. Fernbach
%T Computers in the U.S.A. - to-day and tomorrow
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 77-85

%A F.P. Brook,\ Jr.
%T The future of computer architecture
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 87-91

%A James G. Miles
%T International computer applications and their impact on systems design
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 93-97

%A Peter Naur
%T The place of programming in a world of problems, tools and people
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 195-199

%A Stanley Gill
%T The changing basis of programming
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 201-206

%A Richard G. Clippinger
%T Programming implications of hardware trends
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 207-212

%A Edgser W. Dijkstra
%T Programming considered as a human activity
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 213-217

%A John McCarthy
%T Problems in the theory of computation
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 219-222

%A A. Caracciolo di\ Forino
%T Linguistic problems in programming theory
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 223-228

%A A.J. Perlis
%T Construction of programming systems using remote editing facilities
(abstract only)
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 229

%A T.B. Steel,\ Jr.
%T The development of very large programs
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 231-235

%A Wm. Orchard-Hays
%T Operating systems for job-to-job running and for special applications:
differences and similarities
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 237-242

%A Malcolm N. Perry
%T Handling very large programs
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 243-247

%A C.B. Poland
%T Advanced concepts of utilization of mass storage
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 249-254

%A Arnold I. Dumey
%T Considerations on random and sequential arrangements
of large numbers of records
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 255-260

%A William B. Elmore
%A George J. Evans,\ Jr.
%T Dynamic control of core memory in a real-time system
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 261-266

%A J.M. Usk
%T General purpose external memory system for data base processing (ISAR BASE)
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 267-271

%A Ascher Opler
%T Dynamic flow of programs and data through hierarchical storage
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 273-276

%A C.B. Greenberger
%T The automatic design of a data processing system
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 277-282

%A F.V. Wagner
%A J. Granholm
%T Design of a general-purpose scientific computing facility
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 283-289

%A Edward C. Scendsen
%A Donald L. Ream
%T Design of a real-time data processing system
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 291-296

%A J. Villiers
%T Concepts of a real-time system, automating air-traffic control
%J Proceedings of the IFIP Congress
(Information Processing 65)
%C New York, New York
%D May 1965
%E Wayne A. Kalenich
%K ip65 ifip65
%P 297-304

%A Ivo Babuska
%T Numerical stability in mathematical analysis
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 11-23

%A Max E. Engeli
%T Achievements and problems in formula manipulation
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 24-32

%A D.K. Faddeev
%A V.N. Faddeeva
%T Stability in linear algebra problems
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 33-39

%A T.E. Hull
%T The numerical integration of ordinary differential equations
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 40-53

%A K. Nickel
%T Error-bounds and computer arithmetic
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 54-62

%A J.A. Robinson
%T New directions in mechanical theorem proving
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 63-69

%A J. Barkley Rosser
%A J.M. Yohe
%A Lowell Schoenfeld
%T Rigorous computation and the zeros of the Riemann zeta-function
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 70-76

%A A.A. Samarskiy
%T The constructive theory of stability of difference schemes
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 77-79

%A S.V. Yablonski
%T A survey of some results in the field of discrete mathematics
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 80-85

%A Harvey L. Garner
%T The classification of finite number systems
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 256-259

%A Sheila A. Greibach
%A John Hopcroft
%T Scattered context grammars
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 260-264

%A Jozef Gruska
%T Unambiguity and ambiguity of context-free grammars and languages
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 265-268

%A Bruce Kallick
%T A decision procedure based on the resolution method
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 269-275

%A Shmuel Winograd
%T The number of multiplications involved in computing certain functions
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 276-279

%A A.M. Bogomolov
%A V.A. Tverdokhlebov
%T Conditions for the existence of diagnostic tests for complex systems
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 280-282

%A Wayne A. Davis
%T Linear realizations for permutation machines
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 283-289

%A Giuseppe Fantauzzi
%T A semigroup theory for the Maitra cascade
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 290-299

%A Lawrence H. Landweber
%T Synthesis algorithms for sequential machines
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 300-304

%A Fernand R. Lapscher
%T Decomposition of boolean functions;
properties relative to the intermediate function
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 305-307

%A Bernd Reusch
%T Linear and partial-linear realization of automata
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 308-311

%A F.J. Corbato
%A J.H. Saltzer
%T Some considerations of supervisor program design
for multiplexed computer systems
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 315-321

%A C.A.R. Hoare
%T Data structures in two-level store
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 322-329

%A Michaelson
%T How to succeed in software ?
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 330-333

%A W.L. van\ der\ Poel
%T The software crisis, some thoughts and outlooks
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 334-339

%A J.L. Baer
%A D.P. Bovet
%T Compilation of arithmetic expressions for parallel computations
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 340-346

%A Jan V. Garwick
%T The GPL compiler
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 347-350

%A V.E. Kotov
%A A.S. Narinyani
%T On transformation of sequential programs into asynchronous parallel programs
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 351-357

%A Gary Y. Breitbard
%A Gio Widerhold
%T The ACME compiler
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 358-365

%A E. Foxley
%A P. King
%T A meta-semantic language for use with a top-down syntax analyser
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 366-372

%A T.R. McKinnon\ Wood
%T A multi-access implementation of an interpretive text processing language
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 373-377

%A R.B.E. Napper
%T The need to revise the compiler compiler
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 378-383

%A M. Peccoud
%A M. Griffiths
%A M. Peltier
%T Incremental interactive compilation
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 384-387

%A Gordon E. Whitney
%T The generation and recognition properties of table languages
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 388-394

%A P.S.T. Buckerfield
%T A technique for the construction and use of a generalized information table
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 395-403

%A R. Erskine
%T Exception programming - the model concept
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 404-409

%A M.E.E. Warren
%T Program generation by questionnaire
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 410-413

%A A.H. Wright
%T The management of applications programming
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 414-419

%A D.L. Childs
%T Feasibility of a set-theoretic data structure,
a general structure based on a reconstituted definition of relation
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 420-430

%A G. del\ Nero
%T An approach to the formal description of the Lambda system
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 431-436

%A T.V. Griffiths
%A S.R. Petrick
%T Top-down versus bottom-up analysis
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 437-443

%A R. Kurki-Suonio
%T Formal description of input-data
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 444-447

%A W.C. Lynch
%A H.L. Pierson
%T A finite state transducer model for compiler lexical scanners
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 448-455

%A John C. Reynolds
%T Automatic computation of data set definitions
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 456-461

%A Carl Engelman
%T Mathlab 68
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 462-467

%A William P. Harris
%A Peter B. Hill
%T The reckoner and the mediator: a consumer-oriented on-line system
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 468-473

%A Anne Hohler
%T The Mobula feature
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 474-478

%A C. Hucl
%T Logol and its application to computer development
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 479-483

%A Jack B. Dennis
%T Programming generality, parallelism and computer architecture
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 484-492
%K dataflow

%A T.A. Dolotta
%A C.A. Irvine
%T Proposal for a time sharing command structure
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 493-498
%K Unix shell

%A Jack L. Rosenfeld
%A Graham C. Driscoll
%T Solution of the Dirichlet problem on a simulation parallel processing system
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 499-507

%A G.G. Scharrott
%A J.K. Iliffe
%T The basic language project
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 508-513

%A Michael E. Senko
%A Vincent Y. Lum
%A Philip J. Owens
%T A file organization evaluation model (FOREM)
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 514-519

%A R.W. Bemer
%A A.L. Ellison
%T Software instrumentation systems for optimum performance
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 520-524

%A P.D. Jones
%T Operating system structures
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 525-530

%A P.C. Poole
%T Some aspects of the EGDON 3 operating system for the KDF9
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 531-535

%A J. Standeven
%A K.F. Bowden
%A D.B.G. Edwards
%T An operating system for a small computer
providing time-shared data collection, computing and control functions
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 536-541

%A David F. Stevens
%T System evaluation on the Control Data 6600
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 542-547

%A B.A. Wichmann
%T A modular operating system
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 548-556

%A David Evans
%A Andries van\ Dam
%T Data structure programming system
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 557-564

%A J.M. Noble
%T The control of exceptional conditions in PL/I object programs
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 565-571

%A T. William Olle
%T UL/1: a non-procedural language for retrieving information from data bases
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 572-578

%A P.D. Rovner
%A J.A. Feldman
%T The LEAP language and data structure
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 579-585

%A M.I. Bernstein
%A T.G. Williams
%T A two-dimensional programming system
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 586-592

%A J.J. Donovan
%A M.M. Jones
%A J.W. Alsop
%T A graphical facility for an interactive simulation system
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 593-596

%A L. Mezei
%T Sparta, a procedure oriented programming language
for the manipulation of arbitrary line drawings
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 597-604

%A J. Nolan
%A L. Yarbrough
%T An on-line computer drawing and animation system
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 605-610

%A D. Aspinall
%A D.J. Kinniment
%A D.B.G. Edwards
%T Associative memories in large computer systems
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 796-800

%A D. Aspinall
%A D.J. Kinniment
%A D.B.G. Edwards
%T An integrated associative memory matrix
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 800a-800f

%A G. Bazerque
%A J. Febrie
%A P. Hugot
%T Universal micromachine structure study oriented to simulation of computers
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 801-805

%A T. Kilburn
%A D. Morris
%A J.S. Rohl
%A F.H. Sumner
%T A system design proposal
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 806-811
%K MU5

%A Shigenori Matsushita
%T A microprogrammed communication control unit, the TOSBAC DN-231
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 812-817

%A A.N. Myamlin
%A V.K. Smirnov
%T Computer with stack memory
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 818-823

%A Antonin Svoboda
%T Boolean analyzer
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 824-830

%A M.H.J. Baylis
%A D.G. Fletcher
%A D.J. Howarth
%T Paging studies made on the I.C.T. Atlas computer
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 831-837

%A Leonard Kleinrock
%T Certain analytic results for time-shared processors
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 838-845

%A Richard L. Mattson
%A Jean-Paul Jacob
%T Optimization studies for computer systems with virtual memory
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 846-852

%A Roshan L. Sharma
%T Analysis of a scheme for information organization
and retrieval from a disc file
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 853-859

%A Allen Weingarten
%T The analytical design of real-time disk systems
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 860-866

%A F.W. Zurcher
%A B. Randell
%T Iterative multi-level modelling: a methodology for computer system design
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 867-871

%A Algirdas Avizienis
%T An experimental self-repairing computer
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 872-877

%A William C. Carter
%A Peter R. Schneider
%T Design of dynamically checked computers
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 878-883

%A Janice R. Lourie
%A Alice M. Brown
%T Computer controlled textile designing and weaving
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 884-891

%A Peter C. McNaughton
%A E. Stewart Lee
%T The virtual multiprocessor - a new computer architecture
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 892-897

%A W.R. Whittall
%A K.G. Bosomworth
%T Dual digital computer control system for the Gentilly nuclear power station
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 898-906

%A Theodore J. Williams
%T Computer systems for industrial process control:
a review of progress, needs, and expected developments
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 907-916

%A J.M. Bennett
%A C.S. Wallace
%A J.W. Winings
%T A grafted multi-access network
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 917-922

%A Frederick P. Brooks,\ Jr.
%A James K. Ferrell
%A Thomas M. Gallie
%T Organizational, financial, and political aspects
of a three-university computing center
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 923-927

%A John E. Denes
%T Brooknet - an extended core storage oriented network of computers
at Brookhaven National Laboratory
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 928-932

%A J.N.P. Hume
%A C.B. Rolfson
%T Scheduling for fast turnaround in job-at-a-time processing
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 933-938

%A Richard C. Lesser
%A Anthony Ralston
%T The development of a multi-campus regional computing center
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 939-944

%A G.T. Artamonov
%T Automation of design and construction
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 981-992

%A Jordan J. Baruch
%T The generalized medical information facility
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 993-999

%A H. le\ Boulanger
%A H. Gurio
%T Operations research: slave or master of the computer
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1000-1007

%A Edward A. Feigenbaum
%T Artificial intelligence: themes in the second decade
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1008-1024

%A George E. Forsythe
%T Computer science and education
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1025-1039

%A Edgar M. Horwood
%T Computer applications to urban planning and analysis: examples and prospects
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1040-1055

%A H. Kazmierczak
%T Image processing and pattern recognition
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1056-1071

%A A.Q. Morton
%A M. Levison
%T The computer in literary studies
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1072-1081

%A G. Salton
%T Search and retrieval experiments in real-time information retrieval
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1082-1093

%A A.D. Smirnov
%T Data processing systems for physical experiments
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1094-1102

%A Patrick Suppes
%T Computer-assisted instruction: an overview of operations and problems
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1103-1113

%A B. Vauquois
%T A survey of formal grammars and algorithms
for recognition and transformation in mechanical translation
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1114-1122

%A Stanislaw Waligorski
%T On formula manipulation connected with computer design
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1123-1127

%A Sally Alanen
%T A library of subroutines for bibliographic data processing
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1285-1289

%A Karen Sparck Jones
%T Automatic term classification and information retrieval
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1290-1295

%A Ben-Ami Lipetz
%T The continuity index of documentation abstracts
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1296-1299

%A Peter K.T. Vaswani
%T A technique for cluster emphasis and its application to automatic indexing
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1300-1303

%A Robert L. Chartrand
%T Information processing for the United States Congress
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1304-1309

%A Hermann Fangmeyer
%A Gerhard Lustig
%T The Euratom automatic indexing project
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1310-1314

%A William R. Nugent
%T NEWLINET - the New England library information network
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1315-1320

%A Carl J. Overhage
%A J. Francis Reintjes
%T Information transfer experiments at M.I.T.
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1321-1326

%A K.J. Engvold
%A J.L. Hughes
%T A multi-functional display system for processing and teaching
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1327-1331

%A Benjamin F. Johnson
%T Design of an operating system for the control of student terminals
in a computer based instructional system
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1332-1336

%A M.S.S. Morton
%A Z.S. Zannetos
%T Efforts toward an associative learning instructional system
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1337-1342

%A H.E. Tillitt
%T Information-retrieval instruction system on board ship
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1343-1348

%A Fred M. Tonge
%T Design of a programming language and system for computer assisted learning
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1349-1355

%A Marjorie M. Barritt
%T The development of computer education in schools:
a survey of B.C.S. working part no. 4
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1356-1362

%A J. Hebenstreit
%T A curriculum in computer science, oriented toward computer design
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1363-1367

%A H.C. Johnston
%A K. Wolfenden
%T Computer aided construction of school timetables
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1368-1376

%A John Lions
%T A generalization of a method for the construction of class/teacher timetables
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1377-1382

%A Peter Naur
%T Datalogy, the science of data and data processes, and its place in education
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1383-1387

%A Karl L. Zinn
%T Languages for programming conversational use of computers in instruction
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1388-1394

%A Samuel L. Abraham
%T Some problems of formal language theory and its applications
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1395-1396

%A Walter Freiberger
%A Ulf Grenander
%T Computer-generated image algebras
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1397-1404

%A John C. Reynolds
%T A generalized resolution principle based upon context-free grammars
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1405-1411

%A A.J. Szanser
%T Error-correcting methods in natural language processing
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1412-1416

%A Lawrence D. Bodini
%T The catalogue ordering problem - I
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1463-1467

%A William S. Jewell
%T Allocation of router service in a transportation network
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1468-1470

%A Leonid A. Kozdoba
%T Application of combined electrical models
for the solution of heat and mass transfer problems
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1471-1474

%A Koichi Mikami
%A Kinya Tabuchi
%T A computer program for optimal routing of printed circuit conductors
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1475-1478

%A Joseph A. O'Brien
%T Computer fault location using tabular functions
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1479-1483

%A J. Pruuden
%A B. Tamm
%T Problem oriented computer languages for simulating engineering processes
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1484-1488

%A Vladimir Drozen
%T Mapping of topological relations in diffuse neuronal nets
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1552-1555

%A N.J. Nilsson
%T Searching problem-solving and game-playing trees for minimal cost solutions
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1556-1562

%A Karl K. Pingle
%A Jonathan A. Singer
%A William M. Wichman
%T Computer control of mechanical arm through visual input
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1563-1569

%A Jacques Pitrat
%T Realization of a general game-playing program
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1570-1574

%A Bertram Raphael
%T Programming a robot
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1575-1581

%A Siegfried Wendt
%T A trainable classifier with piecewise linear separation
using the learning-matrix
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1582-1585

%A Paul W. Cooper
%T Non-supervised learning in adaptive statistical pattern recognition
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1586-1591

%A Thomas G. Evans
%T A grammar-controlled pattern analyzer
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1592-1598

%A Victoria A. Fromkin
%T The computer as a research tool
in the construction of models of linguistic performance
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1599-1602

%A Vladimir Kovalevsky
%T Sequential optimization in pattern recognition and pattern description
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1603-1607

%A Satosi Watanabe
%T Object-predicate reciprocity and its application to pattern recognition
%J Proceedings of the IFIP Congress
(Information Processing 68)
%C Edinburgh, Scotland
%D August 1968
%E A.J.H. Morrell
%K ip68 ifip68
%P 1608-1613

%A Robert W. Floyd
%T Towards interactive design of correct programs
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 7-10

%A D.R. Reddy
%T Speech recognition: prospects for the seventies
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 11-18

%A Donald E. Knuth
%T Mathematical analysis of algorithms
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 19-27

%A A.P. Ershov
%T Theory of program schemata
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 28-45

%A Bruce G. Buchanan
%A Joshua Lederberg
%T The heuristic DENDRAL program for explaining empirical data
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 179-188

%A Richard E. Fikes
%T Monitored execution of robot plans produced by STRIPS
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 189-194

%A Robert E. Kling
%T Reasoning by analogy as an aid to heuristic theorem proving
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 195-200

%A Johns F. Rulifson
%A Richard J. Waldinger
%A Jan A. Derksen
%T A language for writing problem-solving programs
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 201-205
%K QA4

%A J.M. Tenenbaum
%A A.C. Kay
%A T. Binford
%A J. Feldman
%A G. Grape
%A R. Paul
%A K. Pingle
%A I. Sobel
%A R. Sproull
%T A laboratory for hand-eye research
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 206-210

%A Herbert A. Simon
%T The theory of problem solving
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 261-277

%A B. Randell
%T Operating systems: the problems of performance and reliability
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 281-290

%A P. Lucas
%T Formal definition of programming languages and systems
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 291-297

%A Thomas E. Cheatham,\ Jr.
%T The recent evolution of programming languages
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 298-313

%A V.G. Cerf
%A G. Estrin
%T Measurement of recursive programs
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 314-319

%A P. Deutsch
%A C.A. Grant
%T A flexible measurement tool for software systems
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 320-326

%A B.A. Wichmann
%T The performance of some Algol systems
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 327-334

%A Yu.V. Kapitonova
%A A.A. Letichevskii
%T Design problems of software special systems
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 335-338

%A D.L. Parnas
%T Information distribution aspects of design methodology
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 339-344

%A C. Betourne
%A J. Ferrie
%A C. Kaiser
%A S. Krakowiak
%A J. Mossiere
%T System design and implementation using parallel processes
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 345-352

%A Fumio Akiyama
%T An example of software system debugging
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 353-359

%A I.F. Currie
%A S.G. Bond
%A J.D. Morrison
%T Algol 68-R, its implementation and use
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 360-363

%A F. Mizzi
%A P. Toussaint
%T Physictran: a programming language for physicists, economists and engineers
extending the possibilities of Fortran V in automatic problem solving
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 364-369

%A Juris Reinfelds
%T AMTRAN 70
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 370-375

%A Thomas C. Spillman
%T Exposing side-effects in a PL/I optimizing compiler
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 376-381

%A Richard D. Jenks
%T "META/PLUS" - a the syntax extension facility for "SCRATCHPAD"
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 382-384

%A Frances E. Allen
%T A basis for program optimization
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 385-390

%A Martin Hopkins
%T An optimizing compiler design
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 391-396

%A Peter Bachmann
%T A contribution to the problem of the optimization of programs
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 397-401

%A M. Woodger
%T On semantic levels in programming
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 402-407

%A William A. Wulf
%T Programming without the goto
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 408-413

%A Alan Ballard
%A Dennis Tsichritzis
%T Transformations of programs
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 414-418

%A W.M. Gentleman
%T A portable coroutine system
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 419-424

%A Siegward Backes
%T Top-down syntax analysis and Floyd-Evans production language
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 504-508

%A Gerhard Chroust
%T Scope conserving expression evaluation
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 509-512

%A W.R. LaLonde
%A E.S. Lee
%A J.J. Horning
%T An LALR(k) parser generator
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 513-518

%A J.J. Horning
%T A procedure for grammatical inference
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 519-523

%A Stefano Crespi Reghizzi
%T An effective model for grammar inference
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 524-529

%A Freidrich L. Bauer
%T Software engineering
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 530-538

%A D.J. Wheeler
%T The limits of complexity of computer systems
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 541-544

%A E.E. Newhall
%A A.N. Venetsanopoulos
%T Computer communications - representative systems
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 545-552

%A Eugene Shapiro
%T Technologies for storage hierarchies
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 553-558

%A Michael A. Kartsev
%T On the structure of multiprocessor systems
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 559-564

%A Michael J. Flynn
%T Shared internal resources in a multiprocessor
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 565-569

%A M.M. Lehman
%A G. Waldbaum
%T An analytical model for upper bounds on the performance
of event-driven, hierarchical computer systems
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 570-576

%A P.S. Roberts
%A C.S. Wallace
%T A microprogrammed lexical processor
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 577-581

%A Z.L. Rabinovitch
%T Development of computer languages and interpretive systems
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 582-585

%A Jean Suchard
%A Gerard Bossuet
%T Modular microprogrammed logical units (ULM)
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 586-590

%A Fahrad Mavaddat
%T Using stacks to detect expression parallelism
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 591-596

%A R.S. Wilkov
%T Reliability considerations in computer network design
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 597-602

%A Rolf Schubert
%T Structure of a highly reliable system
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 603-607

%A J.F. Huber
%T High-performance program request control
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 608-613

%A R.P. Wishner
%A H.R. Downs
%A J. Schechter
%T Real-time computing techniques for parallel processors
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 704-710
%K ILLIAC IV

%A James L. Parker
%T A logic-per-track retrieval system
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 711-716

%A Gerard L.M. Noguez
%A Dominique M.J. Peccoud
%T An array processor design for APL-like data structure
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 717-720

%A J.N. Potvin
%A P. Chenevert
%A K.C. Smith
%A P. Boulton
%T Star-ring: a computer intercommunication and I/O system
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 721-728

%A P.D. Jones
%A N.R. Lincoln
%A J.E. Thornton
%T Whither computer architecture ?
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 729-736

%A Thomas F. Piatkowski
%T A novel and versatile approach to computer hardware education
and to computer and computer terminal development
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 1411-1415

%A Henry K. Urion
%T CUM LAUDE: a new approach in designing
computer-assisted language instruction programs
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 1416-1422

%A I. Fernandez-Florez
%A E. Garcia Camarero
%A I. Ramos
%T A basic language oriented to secondary school
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 1423-1426

%A David Pager
%T On the problem of communicating complex information
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 1490-1497

%A Sidney R. Wilson
%T Administration of education - a new systems approach
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 1498-1501

%A D. Klahr
%A C.H. Kriebel
%A R.L. van\ Horn
%T A design for an educational assembly system
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 1502-1504

%A Alan C. Shaw
%A Nelson H. Weiderman
%T A multiprogramming system for education and research
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 1505-1509

%A Bruce W. Arden
%A Larry K. Flanigan
%A Bernard A. Galler
%T An advanced system programming course
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 1510-1514

%A Peter Wegner
%T A view of computer science education
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 1515-1522

%A Valdemar W. Setzer
%A Charles H. Warlick
%T A unified approach to compiler theory and construction
%J Proceedings of the IFIP Congress
(Information Processing 71)
%C Ljubljana, Yugoslavia
%D August 1971
%E C.V. Freiman
%K ip71 ifip71
%P 1523-1529

%A M.J. Flynn
%T Trends and problems in computer organizations
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 3-10

%A L. Kleinrock
%T Resource allocation in computer systems
and computer-communication networks
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 11-18

%A G.D. Allery
%T Data communications and public networks
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 117-122

%A J. Seidler
%T Multiplexing problems in computer communications
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 123-127

%A B.W. Lampson
%T Redundancy and robustness in memory protection
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 128-132

%A F.H. Sumner
%T MU5 - an assessment of the design
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 133-136

%A R. Turn
%T Computers in the 1980s - trends in hardware technology
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 137-140

%A M.J. Marcus
%T On attaining the availability required
in future information processing systems
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 141-146

%A E. Marmier
%T A program verifier for Pascal
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 177-181

%A H. Kopetz
%T Software redundancy in real time systems
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 182-186

%A K. Lautenbach
%A H.A. Schmid
%T Use of Petri nets for proving correctness of concurrent process systems
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 187-191

%A B.W. Boehm
%T Some steps toward formal and automated aids
to software requirements analysis and design
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 192-197

%A G.H. MacEwen
%T On instrumentation facilities in programming languages
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 198-203

%A P. Henderson
%A R.A. Snowdon
%T A tool for structured program development
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 204-207

%A W.R. Franta
%A K. Maly
%T Simulation structures and SETL
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 208-212

%A T. Watanabe
%A F. Yamamoto
%T Extran - a top-down programming system
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 213-217

%A O. Lecarme
%A G.V. Bochmann
%T A (truly) usable and portable compiler writing system
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 218-221

%A R.P. van\ de\ Riet
%T About ABC Algol: a language for formula manipulation systems
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 222-225

%A R.M. Burstall
%T Program proving as hand simulation with a little induction
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 308-312

%A B.A. Galler
%T Extensible languages
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 313-316

%A J.E.L. Peck
%T Two-level grammars in action
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 317-321

%A G.H. Mealy
%T Data structures: theory and representation
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 322-325

%A R. Balzer
%A N. Greenfeld
%A M. Kay
%A W. Mann
%A W. Ryder
%A D. Wilczynski
%A A. Zobrist
%T Domain-independent automatic programming
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 326-330

%A R.G. Herriot
%T A uniform view of control structure in programming languages
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 331-335

%A D. Parnas
%T On a "buzzword": hierarchical structure
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 336-339

%A K. Rekdal
%T Practical construction of syntax-directed translators
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 372-375

%A M.L. Joliat
%T Practical minimization of LR(k) parser tables
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 376-380

%A D. Tusera
%T Example of transformation of a derivation
for an expression by semantic attributes
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 381-385

%A N. Wirth
%T On the design of programming languages
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 386-393

%A P. Brinch Hansen
%T A programming methodology for operating system design
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 394-397

%A F.E. Allen
%T Interprocedural dataflow analysis
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 398-402

%A D.B. Lomet
%T Control structures and the return statement
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 403-407

%A B. Krieg
%T A class of recursive coroutines
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 408-412

%A L. Presser
%A J.R. White
%T Making global variables beneficial
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 413-418

%A G. Seegmuller
%T Systems programming as an emerging discipline
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 419-426

%A M.R. Shura-Bura
%T Software implementation studies: problems and prospects
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 427-430

%A A. K. Chandra
%T The power of parallelism and nondeterminism in programming
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 461-465

%A J.L. Peterson
%A T.H. Bredt
%T A comparison of models of parallel computation
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 466-470

%A G. Kahn
%T The semantics of a simple language for parallel programming
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 471-475

%A R. Kowalski
%T Predicate logic as programming language
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 569-574

%A A. Haraldson
%T PCDB - a procedure generator for a predicate calculus data base
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 575-579

%A W.W. Armstrong
%T Dependency structures of data base relationships
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 580-583

%A M.O. Rabin
%T Theoretical impediments to artificial intelligence
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 615-619

%A J.E. Hopcroft
%T Complexity of of computer computations
%J Proceedings of the IFIP Congress
(Information Processing 74)
%C Stockholm, Sweden
%D August 1974
%E Jack L. Rosenfeld
%K ip74 ifip74
%P 620-626

%A M.V. Wilkes
%T Beyond today's computers
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 1-6

%A Yaohan Chu
%T Direct-execution computer architecture
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 7-12

%A Rajat K. Deb
%T On generation of test data and minimal cover of directed graphs
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 13-16

%A J.L. Cheval
%A F. Christian
%A S. Krakowiak
%A J. Montuelle
%A J. Mossiere
%T An experiment in modular program design
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 17-22

%A Ken Sakamura
%A Hideaki Kitafusa
%A Yukio Takeyari
%A Hideo Aiso
%T A debugging machine - an approach to an adaptive computer
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 23-28

%A Andrei P. Ershov
%A Valery V. Grushetsky
%T An implementation-oriented method for describing algorithmic languages
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 117-122

%A Mari Claude Gaudel
%T A formal approach to translator specification
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 123-128

%A T. Kameda
%A H.M. Abdel/Wahab
%T Optimal code generation for machines with different types of instructions
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 129-132

%A T.S.E. Maibaum
%T Mathematical semantics and a model for data bases
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 133-138

%A P. Dell'Orco
%A V.N. Spadavecchia
%A M. King
%T Using knowledge of a data base world in interpreting natural language queries
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 139-144

%A Stephen Todd
%T Automatic constraint maintenance and updating defined relations
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 145-148

%A M. Maekawa
%T Interprocess communication in a highly diversified distributed system
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 149-154

%A Gerard Le\ Lann
%T Distributed systems - towards a formal approach
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 155-160

%A Toshiyuki Sakai
%A Tsunetoshi Hayashi
%A Shigeyoshi Kitazawa
%A Koichi Tabata
%A Takeo Kanade
%T Inhouse computer network Kuipnet
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 161-166

%A N.A. Yannacopoulos
%A R.N. Ibbett
%A R.W. Holgate
%T Performance measurements of the MU5 primary instruction pipeline
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 471-476

%A Simon H. Lavington
%A Alan E. Knowles
%T Assessing the power of an order code
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 477-480

%A A. Krzesinski
%A S. Gerber
%A P. Teunissen
%T A multiclass network model of a multiprogramming timesharing computer system
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 481-486

%A Peter Henderson
%T An approach to compile-time type checking
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 523-528

%A George Poonen
%T Error recovery for LR(k) parsers
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 529-534

%A harald Ganzinger
%A Knut Ripken
%A Reinhard Wilhelm
%T Automatic generation of optimizing multipass compilers
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 535-540

%A Eduardo A. Jordan
%T A support for program design with abstract machines
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 571-576

%A K. Jackson
%T Language design for modular software construction
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 577-582

%A Shoji Shinozawa
%A Hiroosa Ikeda
%A Atsushi Nakashima
%A Masamitsu Watanabe
%T Pseudo-languages and their pre-processors
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 583-588

%A Edgar H. Sibley
%T The impact of database technology on business systems
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 589-596

%A Bernard C. Levrat
%T The impact of education on computing in science
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 597-600

%A John R. Abraham
%A George De\ Wolf
%T Experience with a computer assisted training system
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 601-606

%A Kan Chi Leung
%A P. Le\ Beux
%A C. Michel
%T Logical systems design using PLAs and Petri nets
- programmable hardwired systems
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 607-612

%A Emilio Luque Fadon
%A Lorenzo Moreno Ruiz
%A Jose F. Torado Fernandez
%T A multilingual high level processor
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 613-618

%A M.G. Karpovsky
%A E.A. Trachtenberg
%T Linear checking equations
and error-correcting capability for computation channels
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 619-624

%A Frederick P. Brooks,\ Jr.
%T The computer 'scientist' as toolsmith
- studies in interactive computer graphics
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 625-634

%A Michael E. Senko
%T FORAL LP - making pointed queries with a light pen
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 635-640

%A Ian P. Sharp
%T Interactive approaches to corporate planning and control
with particular reference to the use of APL
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 641-642

%A Tetsuo Ida
%A Eiichi Goto
%T Performance of a parallel hash hardware with key deletion
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 643-648

%A Jonathan L. Bondy
%A David N. Freeman
%T Putting supervisory routines into hardware
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 649-654

%A Gareth Thomas
%A Andrei C. Necula
%T Multidimensional array accessing in the MU5 computer
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 655-660

%A Hanan Samet
%T A new approach to evaluating code generation in a student environment
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 661-666

%A A. Andreewsky
%A F. Debili
%A C. Fluhr
%T Computational learning of semantic lexical relations
for the generation and automatical analysis of content
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 667-672

%A E.A. Ashcroft
%A W.W. Wadge
%T Intermittent assertion proofs in Lucid
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 723-726

%A Paul Pritchard
%T Program proving - expression languages
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 727-732

%A Robert L. Constable
%T A constructive programming logic
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 733-738

%A Takanobu Baba
%T A microprogram generating system - MPG
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 739-744

%A Subrata Dasgupta
%T Parallelism in loop-free microprograms
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 745-750

%A J.L. Baer
%A M. Fries
%T On the efficiency of some list marking algorithms
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 751-756

%A D. Morris
%A G.R. Frank
%A C.J. Theaker
%T Machine-independent operating systems
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 819-826
%K MUSS

%A Alfons J. Jammel
%A Helmut G. Steigler
%T Managers versus monitors
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 827-830

%A Gerd Wechsung
%T A nonlinear lower bound
for the formula complexity of certain boolean functions
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 831-834

%A Donald A. Alton
%T 'Natural' complexity measures and a subrecursive speed-up theorem
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 835-838

%A Rusins Freivalds
%T Probabilistic machines can use less running time
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 839-842

%A Erik L. Dagless
%T A Multimicroprocessor - CYBA-M
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 843-848

%A Arvind
%A Kim P. Gostelow
%T A computer capable of exchanging processors for time
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 849-854

%A Shinji Tomita
%A Kiyoshi Shibayama
%A Shigeru Oyanagi
%A Hiroshi Hagiwara
%T Hardware organization of a low level parallel processor
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 855-860

%A David L. Parnas
%T The use of precise specifications in the development of software
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 861-868

%A Anita K. Jones
%T The narrowing gap between language systems and operating systems
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 869-874

%A Ivan Kadar
%A Peter Kovacs
%T Management information systems on the level of Hungarian Government
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 875-878

%A V.P. Lane
%A R.A. Danes
%T Organization based structure of financial planning and control systems
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 879-884

%A Zsuzsanna Markusz
%T How to design variants of flats
using the programming language Prolog based on mathematical logic
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 885-889
%K application, architecture, constraint satisfaction, search

%A Henri B. Marchand
%T Algorithmic macro design system for shift registers
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 891-896

%A D.B. Jarvis
%T LSI by CAD out of Daisy
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 897-900

%A Toshio Nishimura
%T Formalization of concurrent processes
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 929-938

%A Keith L. Clark
%A Sten-Ake Tarnlund
%T A first order theory of data and programs
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 939-944

%A James C. Emery
%T Managerial and economic issues in distributed computing
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 945-956

%A Rein Turn
%T Implementation of privacy protection requirements
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 957-962

%A Juris Reinfelds
%A Carlo E. Vandoni
%T Sigma 76
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 963-968

%A Richard G. Hamlet
%T Single-language small-processor systems
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 969-974

%A Jean Vaucher
%A Normand Rochon
%T PL4: a low level language with class
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 975-980

%A Pierre Robert
%A Jean-Pierre Verjus
%T Toward autonomous descriptions of synchronization modules
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 981-986

%A Carl Hewitt
%A Henry Baker
%T Laws for communicating parallel processes
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 987-992

%A Gilles Kahn
%A David B. MacQueen
%T Coroutines and networks of parallel processes
%J Proceedings of the IFIP Congress
(Information Processing 77)
%C Toronto, Ontario
%D August 1977
%E Bruce Gilchrist
%K ip77 ifip77
%P 993-998

%A Alice Recoque
%T Survey of main trends in computer hardware architecture
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 115-126

%A Makoto Terajima
%T Recent progress in memory devices and their prospects
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 127-136

%A W.D. Streckter
%T Design considerations for the VAX
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 137-138

%A Kodi Kodama
%A Jiro Yoshii
%A Ken-ichi Mori
%A Tsutomu Kawada
%T The Japanese word processor JW-10
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 139-144

%A Masatoshi Kubo
%A Yashushi Taguchi
%A Kiyoshi Agusa
%A Yutaka Ohno
%T Multi-microprocessor system for three-dimensional color graphics
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 145-150

%A Jack Goldberg
%T SIFT: a fault-tolerant computer for aircraft flight control
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 151-156

%A A. Kavianpour
%A A.D. Friedman
%T Different diagnostic models for multiprocessor systems
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 157-162

%A S. Leinwand
%A T. Lamdan
%T Models of control at register transfer level
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 163-168

%A Takanobu Baba
%A Ken Ishikawa
%A Kenzo Okuda
%A Hiroyuki Kobayashi
%T MUNAP - a two-level microprogrammed multiprocessor architecture
for nonnumeric processing
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 169-174

%A D. Comte
%A N. Hifdi
%A J.C. Syre
%T The data driven LAU multiprocessor system: results and perspectives
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 175-180

%A Kiyoshi Shibayama
%A Shinji Tomita
%A Hiroshi Hagiwara
%A Katsuhiro Yamazaki
%A Toshiaki Kitamura
%T Performance evaluation and improvement
of a dynamically microprogrammable computer with low-level parallelism
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 181-186

%A V.A.J. Maller
%T Information retrieval using the content addressable file store
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 187-192

%A Ashoke Deb
%T A regular non-periodic skewing scheme for optimal conflict-free memory access
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 193-198

%A Robert Piloty, Mario Barbacci
%A Dominique Borrione
%A Donald Dietmeyer
%A Frederick Hill
%A Patrick Skelly
%T An overview of CONLAN:
a formal construction method for hardware description languages
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 199-206

%A E.H. Tyugu
%T Towards practical synthesis of programs
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 207-220

%A John Cocke
%A Peter W. Markstein
%T Measurement of program improvement algorithms
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 221-228

%A Vadim E. Kotov
%T On basic parallel language
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 229-240

%A Harlan D. Mills
%T Function semantics for sequential programs
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 241-250

%A Arthur J. Catto
%A John R. Gurd
%T Nondeterministic dataflow graphs
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 251-256

%A Teruo Hikita
%A Satoru Kawai
%T Parallel sieve methods for generating prime numbers
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 257-262

%A Morio Nagata
%A Teruo Akiyama
%A Yasutaka Fujikake
%T An interactive supporting system for functional recursive programming
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 263-268

%A Takeshi Chusho
%T A good program = a structured program + optimization commands
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 269-274

%A Paul Bourret
%A Patrice Cros
%T A deterministic model of operating systems
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 275-280

%A Alfons J. Jammel
%A Helmut G. Stiegler
%A Pavel A. Vogel
%T Impacts of message orientation
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 281-286

%A Kokichi Futatsugi
%A Kuji Okada
%T Specification writing as construction
of hierarchically structured clusters of operators
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 287-292

%A Bertrand Meyer
%T A basis for the construction approach to programming
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 293-298

%A Reiji Nakajima
%A Taiichi Yuasa
%A Keiji Kojima
%T The IOTA programming system
- a support system for hierarchical and modular programming
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 299-304

%A Xu Jiafu
%A Chong Cuihao
%A Yang Fuqing
%A N.V. Shulman
%T On the design, implementation and use of the systems programming language XCY
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 305-308

%A A.J. Martin
%T A distributed implementation method for parallel programming
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 309-314

%A C. Gaude
%A J. Langet
%A S. Palassin
%A C. Kaiser
%T Distributed processing as a key
to reliable and evolving software for real-time applications
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 315-320

%A Barry W. Boehm
%T Developing small-scale application software products:
some experimental results
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 321-326

%A J. Foisseau
%A R. Jacquart
%A M. Lemaitre
%A M. Lemoine
%A J.C. Vignat
%A G. Zanon
%T Program development with or without coding
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 327-330

%A Antonio Vaquero
%A Jose M. Troya
%T Placement of records on linear storage devices
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 331-336

%A J. Leslie Keedy
%T Paging and small segments: a memory management model
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 337-342

%A S.L. Gerhart
%A D.R. Musser
%A D.H. Thompson
%A D.A. Baker
%A R.L. Bates
%A R.W. Erickson
%A R.L. London
%A D.G. Taylor
%A D.S. Wile
%T An overview of AFFIRM: a specification and verification system
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 343-348

%A Henry Kanoui
%A Michel van\ Caneghem
%T Implementing a very high level language on a very low cost computer
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 349-354
%K Prolog

%A Ronald M. Kaplan
%A B.A. Sheil
%T Adding type declarations to Interlisp
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 355-360

%A Walt Brainerd
%A Jeanne Adams
%T Fortran for the 1980's
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 361-368

%A Norbert Szyperski
%T Organizational response to changes in information technology
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 759-766

%A Jean Salmona
%T Information systems, development and structural changes
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 767-781

%A Howard Lee Morgan
%T Research and practice in office automation
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 783-789

%A David F. Stevens
%T Some cautionary aphorisms for user-oriented computer management
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 791-796

%A Wilhelm Steinmuller
%T Rationalisation and modellification:
two complementary implications of information technologies
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 853-861

%A Calvin C. Gotlieb
%T Computers - a gift of fire
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 863-872

%A Brian M. Murphy
%T The development of the British, French and German native computer industries,
1960-1078
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 873-878

%A Francoise Gallouedec Genuys
%T The impact of computerization on the relationship
between public administration and the citizen
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 879-883

%A W.F. Smyth
%A N.W.N. Jayasiri
%T The impact of computerization
on the relationship between public administration and the citizen
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 885-890

%A Vladimir Vrecion
%T The encouragement of effective computer use in developing countries
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 891-896

%A Sheila M. Blackmore
%T A computer training scheme for the disabled
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 897-902

%A Bruce I. Blum
%A Richard J. Johns
%T Computer technology and medical costs
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 903-906

%A T.J. Lincoln
%T Information systems constraints - a strategic review
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 907-912

%A Yves Cohen-Hadria
%T Automation, organizational choices and social effects:
the case of the cement industry
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 913-918

%A Bruce Gilchrist
%T Computers and employment: the U.S. experience
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 919-926

%A J. Nievergelt
%T Computer science education: an emerging consensus on basic concepts
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 927-934

%A David Gries
%T Educating the programmer: notation, proofs and the development of programs
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 935-944

%A Iain D.G. MacLeod
%A J.J. Jackson
%A John B. Eulenberg
%T A multisensory electronic system
for developing handwriting skills with blind trainees
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 945-950

%A Waltraud Schweikhardt
%T A computer based education system for the blind
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 951-954

%A Jean-Claude Pages
%A Dominique Gremillet
%A Andreas Horst
%T A general structure for building personalized information:
an alternative approach to computer aided education
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 955-960

%A Ghassan A. Kubba
%T The impact of computers on arabic writing, character processing and teaching
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 961-966

%A D.R. Thomas
%A R.B. Maguire
%T Computers and education: a remote learning application
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 967-972

%A Klaus Haefner
%T The concept of an integrated system
for information access and telecommunication (ISIT)
and its impact on education in the 80s
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 973-978

%A Manfred R. Klopprogge
%A Peter C. Lockemann
%T Teaching systems analysis and planning in informatics: a practical course
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 979-984

%A Yukuo Isomoto
%A Keiichi Yamagata
%A Tadashi Ishiketa
%T A computer-aided advising system for Fortran program debugging: Advisor
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 985-992

%A Seymour Papert
%T Redefining childhood:
the computer presence as an experiment in developmental psychology
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 993-998

%A Gordon Pask
%T The limits of togetherness
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 999-1012

%A Theodor H. Nelson
%T Replacing the printed word: a complete literary system
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 1013-1024

%A Alan Kay
%T User interface design in the Smalltalk personal computing system
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 1025-1026

%A Christopher Schmandt
%T Soft typography
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 1027-1032

%A Osamu Ishii
%T Feasibility experiments on versatile pattern information processing systems
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 1033-1038

%A Christopher F. Herot
%T A spatial graphical man-management interface
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 1039-1044

%A Gregory M. Hunter
%T Teleconferencing in virtual space
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 1045-1048

%A Sherry Turkle
%T Personal computation and personal meanings
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 1049-1054

%A John Pollard
%A Glen Campbell
%T Using a home computer to teach a dyslexic child to read
%J Proceedings of the IFIP Congress
(Information Processing 80)
%C Tokyo and Melbourne
%D October 1980
%E Simon Lavington
%K ip80 ifip80
%P 1055-1060

%A Jean D. Ichbiah
%T On the design of Ada
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 1-10

%A Clarence A. Ellis
%T Formal and informal models of office activity
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 11-22

%A A.I. Ilushin
%A A.N. Myamlin
%A V.S. Shtarkman
%T Computer network software design based on abstract objects
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 23-28

%A Danny Cohen
%A Jon Postel
%T The ISO reference model and other protocol architectures
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 29-34

%A V. Olive
%A D. Rouquier
%T A systematic method for the synthesis
of control parts defined by GRAFCET
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 35-40

%A Bernard Berthomieu
%A Miguel Menasche
%T An enumerative approach for analyzing time Petri nets
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 41-46

%A Michel Diaz
%A Geraldo Guidacci da Silveira
%T Specification and validation of protocols by temporal logic and nets
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 47-52

%A Javier Jimenez
%A Jose L. Navalon
%T Automatic vectorization of printed maps and drawings
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 53-58

%A Hannu Peltola
%A Hans Soderlund
%A Jorma Tarhio
%A Esko Ukkonen
%T Algorithms for some string matching problems
arising in molecular genetics
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 59-64

%A Robert D. Selinger
%A A.M. Patlach
%A Eric D. Carlson
%T The 925 family of office workstations
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 65-70

%A Mamoru Maekawa
%A Ken Sakamura
%A Chiaki Ishikawa
%A Tohru Shimizu
%T Multimedia machine
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 71-77

%A Paolo Zanella
%T Computing in high energy physics:
facing a new generation of experiments
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 79-88

%A P. Economopoulos
%A F.H. Lochovsky
%T A system for managing image data
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 89-94

%A Maso Sakauchi
%A Yutaka Ohsawa
%T A new interactive geographical information system
based on effective image-type map representation
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 95-100

%A Lars-Erik Thorelli
%T A linker allowing hierarchic composition of programs
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 101-106

%A Masaaki Shimasaki
%A Yoshitoshi Kunieda
%A Takao Tsuda
%T Application of modern programming language concept
to text processing with large character set
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 107-112

%A Andre Bisseret
%T Psychology for man computer cooperation in knowledge processing
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 113-120

%A A. Aqueshi
%A J.C. Bocquet
%A J.M. Fouet
%A S. Tichkiewitch
%A M. Reynier
%A P. Trau
%T An expert system for computer aided mechanical design
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 121-125

%A Umberto Bussolati
%A Mariagrazia Fugini
%A Giancarlo Martella
%T A conceptual framework for security systems: the action/entity model
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 127-132

%A Robert Kowalski
%T Logic programming
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 133-145

%A Rudolf Bayer
%T Database system design for high performance
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 147-155

%A Rusins Freivalds
%T Methods and languages to prove the power of probabilistic machines
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 157-162

%A Juraj Wiedermann
%T Deterministic and nondeterministic simulation
of the RAM by the Turing Machine
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 163-168

%A Tatsuo Yamamura
%T Automated label inspection apparatus
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 169-172

%A Lauri Vatjus-Anttila
%A Martti Karppinen
%A Samuli Saukonen
%T A portable data logger for severe environments
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 173-176

%A Jiri Hoppe
%T Remote files for Lilith computers
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 177-180

%A Werner Bux
%A Bernd Meister
%A J.W. Wong
%T Bridges for interconnection of ring networks - a simulation study
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 181-185

%A Alfs T. Berztiss
%A Norman E. Gibbs
%T Computer science and computer science education
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 187-191

%A Ian Sommerville
%T Software engineering - an educational challenge
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 193-197

%A William L. Scherlis
%A Dana S. Scott
%T First steps towards inferential programming
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 199-212

%A Tomihiro Matsumura
%T Future microprocessor trends
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 213-217

%A Stephen W. Smoliar
%T Software specifications, data bases and knowledge bases
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 219-222

%A Jean-Marie Hullot
%T CEYX, a multiformalism programming environment
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 223-227

%A R. Demolombe
%T How to improve performance of relational DBMS
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 229-233

%A Anthony Y. Montgomery
%A Daryl J. D'Souza
%A S.B. Lee
%T The cost of relational algebraic operations on skewed data:
estimates and experiments
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 235-241

%A Jeffrey D. Ullman
%T Universal relation interfaces for database systems
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 243-252

%A Daniel C. Dennett
%T Formulating human purposes
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 253-258

%A Manfred Broy
%T Applicative real-time programming
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 259-264

%A Tetsuo Ida
%A Jiro Tanaka
%T Functional programming with streams
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 265-270

%A Carver Mead
%T VLSI and the foundations of computation
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 271-274

%A Herve Huitric
%A Monique Nahas
%T Computer art with Rodin
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 275-282

%A Hubert Zimmermann
%T On protocol engineering
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 283-292

%A Jorgen Fischer Nilsson
%T On the compilation of a domain-based Prolog
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 293-298

%A Andrzej Ciepielewski
%A Seif Haridi
%T A formal model for OR-parallel execution of logic programs
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 299-305

%A S. Mahadevan
%A R.K. Shyamasundar
%T Correctness preserving transformations for distributed programs
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 307-313

%A V.N. Kasyanov
%T Basis for program optimization
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 315-320

%A Cliff B. Jones
%T Specification and design of (parallel) programs
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 321-332

%A J.M. Barzdin
%T Some rules of inductive inference and their use for program synthesis
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 333-338

%A Ali Mili
%T The bottom up analysis of while statements:
strongest invariant functions
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 339-343

%A Andrzej Blikle
%A Andrzej Tarlecki
%T Naive denotational semantics
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 345-355

%A Esen A. Ozkarahan
%T Desirable functionalities of database architectures
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 357-362

%A Georges Gardarin
%A Philippe Bernadat
%A Nicole Temmerman
%T Design of a multiprocessor relational database system
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 363-367

%A Gene M. Amdahl
%T Architectural concepts
for high-performance, general-purpose computers
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 369-373

%A Jean-Daniel Nicoud
%T Expectations of standardization
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 375-381

%A Peter Moller-Nielsen
%A Jorgen Staunstrup
%T Saturation in a multiprocessor
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 383-388

%A Sachio Kamiya
%A Fumio Isobe
%A Hideo Takashima
%A Masaaki Takiuchi
%T Practical vectorization techniques for the "FACOM VP"
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 389-394

%A Georges Mitaut
%A Daniel Duclos
%T A tool for communication protocols validation
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 395-400

%A Robert Cole
%A Peter Lloyd
%T A flexible architecture for protocol studies
in a multi-network environment
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 401-406

%A Michio Oyamaguchi
%T Relationship between abstract and concrete implementations
of algebraic specifications
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 407-412

%A J.M. Robson
%T The complexity of go
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 413-417

%A Satoru Takasu
%A Takako Nakahara
%T Programming with mathematical thinking
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 419-424

%A Chih-sung Tang
%T Toward a unified logic basis for programming languages
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 425-429

%A Lewis M. Branscomb
%T Ease of use: a system design challenge
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 431-438

%A Gopla K. Gupta
%T Computing in the developing countries of Asia
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 439-446

%A Takayasu Ito
%T Regular tree expressions and behaviours of functional nets
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 447-452

%A Matthew Hennessy
%T Synchronous and asynchronous experiments on processes
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 453-455

%A Roberto Barbuti
%A Alberto Martelli
%T A constructive approach to static verification of program properties
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 457-462

%A Pierre Deransart
%T Logical attribute grammars
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 463-469

%A Robert M. Aiken
%A Abdechahid Qualid
%T Microcomputers as educational tools in developing countries
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 471-475

%A Robert R. Moeller
%T Pricing computer services
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 477-480

%A Mathai Joseph
%A Abha Moitra
%T Co-operative recovery from faults in distributed programs
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 481-486

%A Isabel Gouveia Lima
%A David Mundy
%A Philip Treleaven
%T Decentralised control flow programming
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 487-492

%A Kohei Amo
%A Kenichi Mori
%T Applications of artificial intelligence techniques
to office automation systems
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 493-499

%A Laurence Cholvy
%A Jack Foisseau
%T ROSALIE - a C.A.D. object-oriented and rule-based system
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 501-505

%A B. Carriere
%A C. Cazalot
%A J.M. Dumas
%A P.M. Grojean
%A P. Leroy
%A F. Prunet
%T A C.A.D. system for process control based upon a standard
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 507-512

%A John C. Reynolds
%T Types, abstraction and parametric polymorphism
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 513-523

%A Robert M. Metcalfe
%T Local networking of personal computers
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 525-532

%A Thomas K.W. Tsou
%A Lawrence V. Saxton
%A Vijay V. Raghavan
%A Jitender S. Deogun
%T Consecutive retrieval with redundancy organization of clustered files
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 533-537

%A Yukata Ohsawa
%A Masao Sakauchi
%T The BD-tree - a new N-dimensional data structure
with highly efficient dynamic characteristics
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 539-544

%A John Gurd
%A Ian Watson
%T Preliminary evaluation of a prototype dataflow computer
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 545-551

%A Jack B. Dennis
%A Willie Y.-P. Lim
%A William B. Ackerman
%T The MIT data flow engineering model
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 553-560

%A Gerald Barber
%A Peter de\ Jong
%A Carl Hewitt
%T Semantic support for work in organizations
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 561-566

%A Irene Kowalski
%A Christian Michaux
%T MIDOC: a microcomputer system
for the management of structured documents
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 567-572

%A Vaclav Dvorak
%A Imrich Rokuvansky
%T Efficient implementation of logic control algorithms
for microprocessors
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 573-578

%A L. Neel
%A M. Bailly
%A D. Tondeur
%T Microprocessor controlled equipment
for measuring plate efficiency in distillation
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 579-582

%A Nicholas Belkin
%A Ralf-Dirk Hennings
%A Thomas Seeger
%T Mass-informatics and their implication for everyday life
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 583-587

%A Tohru Moto-oka
%A Kazuhiro Fuchi
%T The architectures in the fifth generation computers
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 589-602

%A Charles B. Stabell
%A Anna Mette Fuglseth
%T The D*2 approach to decision support
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 603-608

%A Michael S.D. Wilkie
%A Alberto O. Mendelson
%T Analysis and translation of entity-relationship database schemas
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 609-614

%A Veronique Donzeau-Gouge
%A Gilles Kahn
%A Bernard Lang
%T Outline of a tool for document manipulation
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 615-620

%A Takeshi Chusho
%A Tan Watanabe
%A Toshihiro Hayashi
%T A language-adaptive programming environment
based on a program analyzer and a structure editor
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 621-626

%A Balint Domolki
%A Peter Szeredi
%T Prolog in practice
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 627-636

%A Peter Schnell
%T Implementation and engineering of a production-oriented DBMS
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 637-646
%K ADABAS

%A Starr Roxanne Hiltz
%T Viewing computing systems within a social context
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 647-655

%A Leslie Lamport
%T What good is temporal logic ?
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 657-668

%A Hubert Crepy
%A Bertrand Denoix
%A Francis Destombes
%A Gilbert Rouquie
%A Jean-Pierre Tubach
%T Speech processing on a personal computer to help deaf children
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 669-671

%A J. Mariani
%A B. Prouts
%A J.L. Gauvain
%A J.J. Gangolf
%T A man-machine speech communication system
including word-based recognition and text-to-speech synthesis
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 673-679

%A Noriyoshi Okamoto
%A Osamu Nakamura
%A Toshi Minami
%T Character segmentation for mixed-mode communication
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 681-685

%A Toshihiko Wakahara
%A Masao Hiroyama
%A Hiroshi Ogawa
%T Facsimile computer communication
by center-end facsimile communication network
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 687-691

%A Akira Hattori
%A Minoru Koshino
%A Shigemi Kamimoto
%T Three-level hierarchical storage system for FACOM M-380/382
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 693-697

%A Jerome C. Huck
%A Michael J. Flynn
%T Comparative analysis of computer architectures
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 699-703

%A A.L. Furtado
%A P.A.S. Veloso
%A Marco A. Casanova
%T A grammatical approach to data bases
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 705-710

%A Jean-Marie Nicolas
%A Kioumars Yazdanian
%T An outline of BDGEN: a deductive DBMS
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 711-717

%A Murray Turoff
%A Starr Roxanne Hiltz
%T Working at home or living in the office
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 719-725

%A Martin Niselhotz
%A Evangeline M. Morphos
%T Information technology
and new forms of participation in the narrative
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 727-731

%A Alan F. Westin
%T New issues of computer privacy in the eighties
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 733-739

%A Gerard Le\ Lann
%T On real-time distributed computing
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 741-753

%A G. Salton
%A E.A. Fox
%A H. Wu
%T An automatic environment for boolean information retrieval
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 755-762

%A P. Dadam
%A P. Pistor
%A H.-J. Scheck
%T A predicate oriented locking approach
for integrated information systems
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 763-768

%A Shigeru Igarashi
%T The nu-conversion and an analytic semantics
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 769-774

%A Frederic E. Lamond
%T Microprocessors as agents of de-industrialization
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 775-780

%A Judith H. Hammond
%T The challenge of change: information technology and the community
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 781-785

%A M. Marcus
%A E. Moulhade
%A J.J. Roubiere
%A P. Dumas
%A G. du\ Roure
%T MOBILE: an office automation methodology
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 787-792

%A David Beech
%T A reference model for command and response languages
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 793-797

%A Philip A. Bernstein
%A Nathan Goodman
%A Vassos Hadzilacos
%T Recovery algorithms for database systems
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 799-807

%A J.V. Guttag
%A J.J. Horning
%T An introduction to the Larch shared language
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 809-814

%A Didier Bert
%T Refinements of generic specifications with algebraic tools
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 815-820

%A M. Adelant
%A D. Comte
%A P. Siron
%A J.C. Syre
%T A MIMD supercomputer for large scale numerical applications
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 821-826

%A Gunther Krause
%T Architectural and functional features of matrix module (MAMO)
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 827-831

%A N.C. Gupta
%T System analysis and design considerations
for large integrated computer networks in developing countries;
a case study
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 833-838

%A Michael Szabo
%A Dale H. Bent
%T An assessment of the state of the art
of computer based learning systems design
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 839-845

%A Kenneth C. Sevcik
%T Comparison of concurrency control methods using analytic models
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 847-858

%A A.A. Letichevsky
%T Algebra of algorithms, data structures and parallel computation
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 859-864

%A Richard P. Brent
%A H.T. Kung
%A Franklin T. Luk
%T Some linear-time algorithms for systolic arrays
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 865-876

%A Norman Longworth
%T Educating the information generation
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 877-881

%A Edward H. Sussenguth
%T Progress in computer networks
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 883-890

%A Marlene Jones Colbourn
%A John McLeod
%T The potential and feasibility
of computer-guided educational diagnosis
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 891-896

%A G.A. Langlet
%T LPA programming, a new tool for education
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 897-899

%A J.K. Reid
%T Advances in the exploitation of sparsity
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 901-908

%A Jacques Corbin
%A Michel Bidoit
%T A rehabilitation of Robinson's unification algorithm
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 909-914

%A Bength Nordstrom
%A Kent Peterson
%T Types and specifications
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 915-920

%A Kenji Funakawa
%A Kazuhiro Yoneyama
%A Hideshi Kozawa
%T Development of a tracking and data acquisition system for spacecraft
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 921-930

%A Gordon Rose
%A Tim Roper
%T Generation of program-preparation systems
for formatted programming languages
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 931-936

%A H.-J. Jakel
%A H. Loeper
%A H. Pietch
%A G. Stiller
%T A portable Algol 68 implementation for minicomputers
developed using the CDL compiler compiler technique
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 937-942

%A V.L. Makarov
%T Man-machine methods for solving
large-scale economic planning problems
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 943-950

%A Albert R. Meyer
%T Understanding Algol:
the view of a recent convert to denotational semantics
%J Proceedings of the IFIP Congress
(Information Processing 83)
%C Paris, France
%D September 1983
%E R.E.A. Mason
%K ip83 ifip83
%P 951-961

%A M.A. Jackson
%T Keynote address for IFIP Congress 86
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P xxix-xxxvii

%A Josef Gruska
%T Pragmatic aspects of complexity theory
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1

%A J. Hartmanis
%T Pragmatic aspects of complexity theory
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 3-4

%A J. van \ Leeuwen
%T Pragmatic aspects of computational complexity
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 5-6

%A L.G. Valiant
%T Some comments on complexity theorem
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 7

%A Louis Pouzin
%T Why LAN's did not succeed, and there is the PBX waiting for the ISDN
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 9

%A David A. Twyver
%T PABX/LAN integration
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 11

%A Otto Spaniol
%T PABX and LAN
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 13

%A Jane B. Grimson
%T Guidelines for data administration
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 15-21

%A Arne Solvberg
%T Guidelines for data administration
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 23-26

%A David R. Cheriton
%T Making exceptions simplify the rule (and justify their handling)
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 27-33

%A Giorgio Bruno
%A Antonio Elia
%T Operational specification of process control systems:
execution of PROT nets using OPS5
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 35-40

%A Marta Franova
%T Proving theorems by construction of valid formulae
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 41-46

%A Robert M. Aiken
%T Micropower: the use of Os in pre-college education
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 47-52

%A Heidrun Kaiser
%T Office technology and user satisfaction: an improvement programme
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 53-55

%A Ines Wesley-Tanaskovic
%T Strategies for manpower development in informatics in developing countries:
the experience of the UN university
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 57-60

%A John Gurd
%A Chris Kirkham
%T Dataflow: achievements and prospects
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 61-68

%A Hisashi Horikoshi
%A Yasuhiro Inagami
%T Dataflow: from its practical viewpoints
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 69-72

%A Augusto C. Lagman
%T Can developing countries compete in information technology ?
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 73

%A Fabio Stefano Erber
%T Can the developing countries compete in electronic industries ?
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 75

%A Prem P. Gupta
%T Can developing countries compete in information technology ?
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 77-78

%A K. Asada
%T VLSI impacts on computer architectures: computer network on VLSI chip/wafer
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 79

%A Peter B. Denyer
%T Application-specific VLSI and computer architecture:
common goals in software and hardware
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 81

%A Alfs T. Berztiss
%T Data abstraction in the specification of information systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 83-90

%A Antoni Olive
%T A comparison of the operational and deductive approaches
to conceptual information systems modeling
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 91-96

%A Jifi Zlatuska
%T Data bases and the lambda-calculus
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 97-104

%A Luc Steels
%T AI and programming languages
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 105-110

%A Akinori Yonezawa
%T AI parallelism and programming
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 111-113

%A Malcolm P. Atkinson
%A Ronald Morrison
%A Graham D. Pratten
%T Designing a persistent information space architecture
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 115-119

%A A. Bicego
%A M. Jacobone
%A M. Maiocchi
%A U. Poggi
%T Towards automation in software quality control:
the case of products described by formal grammars
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 121-127

%A Jaroslav Kral
%T Software physics and software paradigms
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 129-134

%A T.S.E. Maibaum
%T Role of abstraction in program development
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 135-142

%A Fernando Orejas
%T Response to: The role of abstraction in program development
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 143-146

%A Joseph Pitteloud
%T Electronic message handling for the '90s
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 147-157

%A Ronald P. Uhlig
%T Electronic messaging: today and 1990 - another view
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 159-162

%A Asha P. Kachru
%T Challenges provided by the work and life situation
of the "third world" women for a holistic approach to work
with/without computers
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 163

%A Ingela Josefson
%T Judgement, experience and computer technology
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 165-166

%A Yumiko Okada
%T Will computerization improve working conditions of women ?
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 167

%A Cristina Zoltan de\ Torres
%T Women, work and computers
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 169

%S Stefano Crespi Reghizzi
%T Automation in SW development for microprocessors
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 171

%A Marie-Claude Gaudel
%T Testing automation and software life-cycle
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 173-174

%A Wm.A. Wulf
%T Automation in the development of compilers and language-dependent tools
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 175

%A Eckhart Raubold
%T ISDN and X.25
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 177-183

%A Shuji Tomita
%T ISDN and X.25
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 185-188

%A Kristen Nygaard
%T Program development as a social activity
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 189-198

%A S.P. Mudur
%T CAD techniques: state of the art and future needs
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 199-204

%A Stefano Ceri
%T Requirements collection and analysis in information systems design
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 205-214

%A Enid Mumford
%T Response to: Requirements collection and analysis
in information systems design
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 215-217

%A J.A. Robinson
%T The future of logic programming
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 219-224

%A Enn H. Tyugu
%T Response to: The future of logic programming
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 225-227

%A Heinz Lycklama
%T Unix and its standardization
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 229-231

%A Georges Lepicard
%T A common applications environment based on Unix
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 233-234

%A Marco A. Casanova
%A Claudio M.O. Moura
%T Designing database applications in logic programming
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 235-240

%A Colette Rolland
%A Christophe Proix
%T An expert system approach to information system design
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 241-250

%A Mokrane Bouzeghoub
%A Elisabeth Metais
%T SECSI: an expert system approach for database design
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 251-257

%A Iann M. Barron
%T The transputer and occam
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 259-265

%A D.Mc.L. Lamberton
%T Informatics in a developing world
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 267-270

%A Shmuel Safra
%A Ehud Shapiro
%T Meta interpreters for real
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 271-278

%A Akikazu Takeuchi
%T Affinity between meta interpreters and partial evaluation
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 279-282

%A Robert M. Balzer
%T Living in the next generation operating system
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 283-291

%A Tom Gilb
%T Deadline pressure: how to cope
with short deadlines, low budgets and insufficient staffing levels
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 293-299

%A Brian L. Meek
%T Programming language standards:
not language definitions, but specifications for software engineering tools
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 301-306

%A Morito Yamamoto
%A Takeo Kuriyama
%T Developing project management skills through computer simulation
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 307-311

%A Erik Sandewall
%T Specification environments for information management systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 313-314

%A Bernard Lang
%T The role of syntax directed programming environments
in handling specifications
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 315-316

%A John Mylopoulos
%T The role of knowledge representation in the development of specifications
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 317-319

%A Chris A. Vissers
%T Standardisation of formal description techniques for communication protocols
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 321-328

%A Roberto Saracco
%T Response to: Standardisation of formal description techniques
for communication protocols
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 329-333

%A Roger C. Schank
%A David B. Leake
%T Computer understanding and creativity
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 335-341

%A Wolfgang Wahlster
%T The role of natural language in advanced knowledge-based systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 343-347

%A Takayasu Ito
%A Takashi Tamura
%A Shin-ichi Wada
%T Theoretical comparisons of interpreted/compiled executions of Lisp
on sequential and parallel machine models
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 349-354

%A Ye Gang
%A Xie Zhiliang
%T An efficient type system for Prolog
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 355-359

%A Arie Kaufman
%T Voxel-based architectures for three-dimensional graphics
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 361-366

%A Shumpei Kawasaki
%A Tohro Nojiri
%A Kousuke Sakoda
%T A user-adaptable VLSI engine for artificial intelligence
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 367-372

%A Kam Hoi Cheng
%A Sartaj Sahni
%T VLSI architectures for back substitution
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 373-378

%A Adele Goldberg
%T Programmer as reader
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 379-386

%A Peter Pin-Shan Chen
%T The time dimension in the entity-relationship model
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 387-390

%A Rohit Parikh
%T Some recent contributions of logic to computer science
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 391-392

%A Erwin Engeler
%T Logic in computer science
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 393

%A Istvan Nemeti
%T On logic in computer science
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 395

%A Satoru Takasu
%T Logic and computation - the future of logic in computer science
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 397

%A Alfonso F. Cardenas
%T Experience with the relational data base model and systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 399

%A I.G. MacDonald
%T Experience with the relational model
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 401-402

%A Alain Pirotte
%T Experience with the relational model
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 403-404

%A Stewart A. Schuster
%T Experience with the relational model
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 405-406

%A Henri Farreny
%A Henri Prade
%A Eric Wyss
%T Approximate reasoning in a rule-based expert system
using possibility theory: a case study
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 407-413

%A Akikazu Takeuchi
%A Koichi Furukawa
%T Partial evaluation of Prolog programs and its application to meta programming
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 415-420

%A Silvano di\ Zenzo
%T A new many-valued logic and its application to approximate reasoning
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 421-427

%A Hermann A. Maurer
%T Nationwide teaching through a network of microcomputers
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 429-432

%A Eiichi Hashimoto
%A Yutaka Tanaka
%A Takahiro Ueda
%A Koji Itoh
%T Application of solid CAD for mold design
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 433-439

%A A.-W. Scheer
%T Cots-estimation in the design process within a CIM-systems environment
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 441-445

%A John Harhen
%A Michael Ketcham
%A Jim Browne
%T Artificial intelligence and simulation of manufacturing systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 447-453

%A Marina C. Chen
%T Transformations of parallel programs in Crystal
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 455-462

%A Ivar Jacobson
%T FDL: a language for designing large real time systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 463-468

%A Thierry Gautier
%A Paul le\ Guernic
%A Albert Benveniste
%A Patricia Bournai
%T Programming real-time with events and data flow
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 469-474

%A William Buxton
%T Chunking and phrasing and the design of human-computer dialogues
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 475-480

%A Dimiter D. Novatchev
%T Future interface management systems - successors of modern UIMs ?
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 481-484

%A Oscar Barros
%T Panel on education and training for information systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 485

%A R.A. Hirschheim
%T Panel on education and training for information systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 487

%A Erich J. Neuhold
%A Christian Stary
%T Panel on education and training for information systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 489-490

%A Ian M. Cunningham
%T The electronic mail and the paper society
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 491

%A Jacob Palme
%T Electronic mail and the paperless society:
computer messaging is group communication
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 493-494

%A S. Ramani
%T The electronic mail and the paper society
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 495

%A Philippe Penny
%T Technical document storage and retrieval
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 497-502

%A Tatsuo Maruyama
%T Consideration on electronic document delivery system
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 503-506

%A Robin Milner
%T Process constructors and interpretations
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 507-514

%A Willem-P. de\ Roever
%T Questions to Robin Milner - a responder's commentary
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 515-518

%A Pierre A. MacKey
%T Language independent software for non-latin character sets
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 519

%A Sherif Sami El-Dabi
%T Towards high quality arabic script output
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 521

%A Naoji Izaki
%T Extended feature for Japanese-language processing in computer systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 523

%A R.M.K. Sinha
%T Non-latin information systems: some basic issues
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 525

%A Ole N. Oest
%T VDM from research to practice
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 527-533

%A Peter Wegner
%T How should systems be specified ?
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 535-537

%A John McDermott
%T Making expert systems explicit
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 539-544

%A Reind P. van\ de\ Riet
%T Expert systems in trouble ?
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 545-548

%A Lugia Carlucci Aiello
%T Reasoning techniques
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 549

%A Stuart E. Savory
%T Reasoning techniques
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 551

%A S.C. Forge
%T The view of the advanced networked systems architecture project
on OSI, Unix and the general role of standards
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 553

%A Hubert Zimmermann
%T OSI and Unix
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 555

%A Kenichi Miura
%T Supercomputing in Japan
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 557-564

%A H.T. Kung
%T Special-purpose supercomputers
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 565-570

%A Egidio Astesiano
%A Gianna Reggio
%T A syntax-directed approach to the semantics of concurrent languages
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 571-576

%A Jack C. Wileden
%T Applying event based analysis to specifications and designs
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 577-581

%A Elham Morcos-Chounet
%A Alain Conchon
%T PPML: a general formalism to specify prettyprinting
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 583-590

%A F.C. Kohli
%T Information policy issues in developing countries
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 591-597

%A Nabil N. Harfouch
%T Information technology policy issues in developing countries: a second view
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 599-604

%A M.M. Lehman
%T Advanced software technology - development and introduction to practice
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 605-611

%A Tim Denvir
%T What is a "scientific approach" to software engineering ?
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 613-616

%A Peter C. Lockemann
%A Heinrich C. Mayr
%T Information system design: techniques and software support
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 617-634

%A Elod Knuth
%A Janos Demetrovics
%A Agnes Hernadi
%T Information system design: on conceptual foundations
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 635-640

%A Amilcar Sernadas
%T Information systems: the third wave
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 641

%A C.H.P. Brookes
%T The evolution of information systems
to support office procedures and managerial decision making
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 643

%A Laurence Cholvy
%T Requirements about information systems in the CAD/CAM field
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 645-646

%A Larry Kerschberg
%T Expert database systems:
concepts and architectures for future information systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 647

%A H.N. Djidjev
%T VLSI algorithms for combinatorial problems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 649-654

%A Veronique Royer
%T Congruent representation of standard denotational semantics
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 655-660

%A Jan Kwiatkowski
%T The conversion of sequential programs into data flow ones
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 661-662

%A Raymond Reiter
%T Foundations for knowledge-based systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 663-668

%A Joachim W. Schmidt
%T Knowledge base management systems - the conceptual level
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 669-674

%A H. Ehrig
%A H. Weber
%T Programming in the large with algebraic module specifications
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 675-684

%A Andrzej Tarlecki
%T Software-system development - an abstract view
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 685-688

%A Beth Krevitt Eres
%A Baruch Raz
%T Capacity development for informatics and its socioeconomic implications
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 689-694

%A Steven A. Vajda
%T National high tech policy: the U.S. dilemma
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 695-701

%A Barry W. Boehm
%T Understanding and controlling software costs
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 703-714

%A Vesselin Spiridonov
%T Cost optimization in software development
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 715-718

%A Hisashi Kobayashi
%T Performance evaluation in perspective
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 719

%A Domenico Ferrari
%T On the performance of distributed systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 721

%A Kenneth C. Sevcik
%T Data base system performance evaluation
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 723

%A Rene Jacquart
%T Software engineering and knowledge engineering: mutual relations
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 725

%A Fred B. Schneider
%T Abstractions for fault tolerance in distributed systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 727-733

%A Anders P. Ravn
%T Fault classification in distributed systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 735-738

%A C.C. Gotlieb
%T Information systems in the small
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 739-743

%A Giampio Bracchi
%T Information systems in the small
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 745-748

%A Asbjom Rolstadas
%T Production management systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 749-756

%A James H. Morris
%A John Leong
%A David Nichols
%A Michael J. West
%A Mahadev Satyanarayanan
%T Andrew: Carnegie Mellon's computing system
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 757-768

%A Henry Norman
%A Gary Garriott
%T Innovative informatics applications in developing countries
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 769-774

%A Koichi Furukawa
%T Logic programs as specifications
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 775

%A Martin Wirsing
%T Algebraic programming in a wide spectrum language
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 777-778

%A Katsuhiro Yamazaki
%A Takanobu Baba
%A Kenzo Okuda
%A Hiroyiki Kanai
%T Architectural evaluation and improvement of a universal host computer MUNAP
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 779-784

%A Takao Tsuda
%A Yoshitoshi Kuneida
%T Mechanical vectorization of multiply nested do loops
by vector indirect addressing
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 785-790

%A J.S. Deogun
%A M.C. Kong
%T On periodic scheduling of time-critical tasks
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 791-796

%A C. Roche
%A J.P. Laurent
%T LRO 2 - artificial intelligence and object oriented languages
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 797-802

%A Peter Kacsuk
%T Some approaches to parallel implementation of Prolog
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 803-809

%A Jean-Louis Lauriere
%A Michele Vialatte
%T SNARK - a language to represent declarative knowledge
and an inference engine which uses heuristics
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 811-816

%A D. Kochan
%T Trends towards computer-integrated manufacturing (CIM)
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 817-821

%A Hartmann J. Genrich
%T Net theory and application
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 823-831

%A Rocco de\ Nicola
%T Transition systems and testing preorders:
an alternative to Petri nets for systems specifications
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 833-836

%A Douglas B. Lenat
%T Machine learning
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 837

%A Yves Kodratoff
%T Learning from counter-examples
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 839-840

%A Stellan Ohlsson
%T Rational vs. empirical learning
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 841

%A P. Bakowski
%T Computer systems design complexity: traditional and alternative approach
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 843

%A A. Pnueli
%T Specification and development of reactive systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 845-858

%A Zebo Peng
%T Construction of asynchronous concurrent systems
from their behavioral specifications
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 859-864

%A Alwyn Langsford
%T Open systems management -
the implications for distributed processing architecture
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 865-868

%A Giuseppe Scollo
%A Chris A. Vissers
%A Antonella di\ Stefano
%T LOTOS in practice
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 869-875

%A R. Demolombe
%T STREl - an extended relational model for structured objects
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 877-882

%A Paul Bourret
%T Temporary storage of derived relations for efficient use
of relational DBMS in computer integrated manufacturing systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 883-888

%A Raymond A. Lorie
%A Jean-Jacques P. Daudenarde
%T On extending the realm of application of relational systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 889-894

%A K. Ryan
%A J.A. Redmond
%A D. O'Neill
%A B. Mathews
%A A. Hunot
%A M. Lemoine
%A M. Dausmann
%A K. Wachsmuth
%T Surveying software tools for a method driven environment
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 895-901

%A Takeshi Chusho
%A Hirohide Haga
%T A multilingual modular programming system
for describing knowledge information processing systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 903-908

%A Maurizio Baroglio
%A Guiseppe Capella
%A Ivo Lupo
%A Luigi Petrone
%T Keyline: software productivity tools
for program design: implementation, documentation
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 909-914

%A Michel A. Melkanoff
%T The "I" in CIM
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 915-920

%A Gerard le\ Lann
%T Which LAN in the factory ?
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 921

%A John F. Meyer
%T Decision grounds for factory LANs
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 923

%A Mario Tokoro
%T LAN as the mainstay technology
for integrated, distributed systems for factory
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 925

%A Takao Uehara
%T Computer aided design and artificial intelligence
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 927

%A K. Horninger
%T Computer aided design and artificial intelligence
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 929

%A Guy Mazare
%T Computer aided design and artificial intelligence
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 931

%A David K. Hsiao
%T Super database computers: hardware and software solutions
for efficient processing of very large databases
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 933-944

%A Georges Gardarin
%T Efficient processing of very large databases:
a comparative analysis of architectures
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 945-948

%A A.V. Kalyaev
%T Multi-micro processor systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 949-954

%A Dharma P. Agrawal
%A J. Richard Burke
%T Multi-microprocessor systems: another viewpoint
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 955-956

%A Masataka Ohta
%A Mamoru Maekawa
%A Takashi Arano
%A Kiyokuni Kawachiya
%A Yoshikazu Noguchi
%T Multimedia information processing based on a general media model
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 957-962

%A Ernst Piller
%T Smart-cards for network services
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 963-968

%A Luo Yunmo
%T Theory and practice of the computerized traditional chinese medicine
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 969-974

%A V.S. Mikhailevich
%A Ju.V. Kapitonova
%A A.A. Letichevsky
%T On models of macroconveyer computations
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 975-980

%A A. Bossavit
%T Recurrences in vector mode:
recursive (cyslic) reduction and recursive doubling
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 981-987

%A Andreas Albrect
%T On hardware algorithms for geometrical computation problems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 989-994

%A Joseph A. Goguen
%T One, none, a hundred thousand specification languages
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 995-1003

%A Giorgio Levi
%T New research directions in logic specification languages
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1005-1008

%A Donaldo de\ Souza\ Dias
%T Information systems requirements definition:
key factors and situation in Brazilian companies
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1009-1013

%A Bill M. Donner
%T The "real world" of disaster recovery and planning
(computer systems security)
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1015-1020

%A Jacob Palme
%T Cost-benefit analysis of computer-mediated message systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1021-1023

%A Patrick O'Callaghan
%A Gabriel Broner
%T Annette: a cheap, high performance local network for microcomputers
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1025-1028

%A Jozef Wozniak
%T Performance of unslotted ALOHA with capture
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1029-1034

%A Gideon Halevi
%T CIM - the future technology
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1035-1041

%A V.V. Voyevodin
%T Impact of algorithms on new computer architecture
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1043-1048

%A Vijay V. Raghavan
%A Lawrence V. Saxton
%A S.K.M. Wong
%A Stanley S. Ting
%T A unified architecture for the integration
of data base management and information retrieval systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1049-1054

%A Yahiko Kambayashi
%T An overview of a natural language-assisted database user interface: ENLI
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1055-1060

%A J. Bocca
%A H. Decker
%A J.-M. Nicolas
%A L. Vieille
%A M. Wallace
%T Some steps towards a DBMS based KBMS
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1061-1067
%K Educe

%A Frederick P. Brooks,\ Jr.
%T No silver bullet - essence and accidents of software engineering
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1069-1076

%A Wladislaw M. Turski
%T And no philosophers' stone, either
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1077-1080

%A Baruch Raz
%T Can developing countries compete in information technology ?
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1081

%A R.J. van\ Overstraeten
%T Advanced microelectronics technology as a foundations for future computers
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1083

%A Peter Schicker
%T ISDN and X.25
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1085

%A Chengi Kuo
%T CAD applications to support CIM
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1087-1093

%A J. Vlietstra
%T Controversial issues in CIM
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1095

%A Asbjorn Rolstadas
%T Sense and non-sense in CAD, CAM, CIM
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1097-1098

%A Theodore J. Williams
%T Controversial issues in CIM
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1099-1100

%A H. Yoshikawa
%T Controversial issues in CIM (CAD, CAM, CAE)
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1101-1102

%A Douglas E. Kevorkian
%T Unix systems V - an industry standard
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1103-1104

%A Wee Tew Lim
%T Response to: Informatics in the developing world
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1105-1106

%A V. Stenning
%T Environment basics: time for serious agreement ?
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1107-1111

%A S.S. Goncharov
%A Yr.L. Ershov
%A D.I. Sviridenko
%T Semantic programming
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1113-1120

%A Ekkehard Altmann
%T Panel on education and training for information systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1121-1122

%A Vinton G. Cerf
%T On the role of paper in an electronic messaging environment
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1123-1124

%A D.A. Pospelov
%T Specific features of human reasoning
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1125

%A Hiroyuki Yoshikawa
%T General design theory as a formal theory of design
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1127-1131

%A J. Encarnacao
%T Comments on: General design theory as a formal theory of design
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1133-1134

%A Sean Cooney
%T Small is necessary:
the role of information technology in development communication
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1135-1142

%A Paul J. Kuehn
%T Networking performance
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1143

%A Gerhard Goos
%T Software engineering and knowledge engineering:
the view of the software engineer
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1145-1146

%A Robert P. Worden
%T Software lifecycles and intellectual lifecycles:
the place of AI in software development
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1147-1148

%A Guy Doumeingts
%T Response to: production management systems - the key to CIM in the future
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1149-1155

%A Olivier Roubine
%T Specifying Ada programs/specifying programs using Ada
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1157-1158

%A Jean-Pierre Crestin
%T Introduction of computer integrated manufacturing: global or progressive
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1159-1162

%A Bill Joy
%T Computer workstation architecture: 1982-1992
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1163-1168

%A N. Naffah
%T Workstations in the next 10 years
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1169-1170

%A David Aspinall
%T Methodologies for computer engineering
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1171-1172

%A A.L. Davis
%T Design tool integration using objects and animation
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1173-1174

%A Eamonn McQuade
%T VSLI and design in computer engineering education
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1175-1176

%A Derrick Morris
%T Structured schematics
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1177-1181

%A Joseph Sifakis
%T Response to: specification and development of reactive systems
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1183-1187

%A Dirk Heger
%T OSI - MAP - TOP - CNMA: guidelines for the communication in the enterprise
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1189

%A Barry Lynch
%T Summary of M. Genesereth's panel statement
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1191

%A Marco Tomljanovich
%T Response to: CIM - the future technology
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1193-1195

%A Jozef Miklosko
%T Impact of algorithms on new computer architecture
%J Proceedings of the IFIP Congress
(Information Processing 86)
%C Dublin, Ireland
%D September 1986
%E H.-J. Kugler
%K ip86 ifip86
%P 1197-1200