Table of Contents

• Direct-Execution Computer ArchitectureYaohan Chu. 7-12
• An Experiment in Modular Program DesignJ. L. Cheval, F. Christian, Sacha Krakowiak, J. Montuelle, Jacques Mossière. 17-21
• A Debugging Machine - An Approach to an Adaptive ComputerKen Sakamura, Hideaki Kitafusa, Yukio Takeyari, Hideo Aiso. 23-28
• A Feature Concentration Method for Character RecognitionKazuaki Komori, Takahiko Kawatani, Kenichiro Ishii, Yukiyasu Iida. 29-34
• Recognition System for Handprinted CharactersKiyoshi Iwata, Masumi Yoshida, Eiishiro Yamamoto, Takeshi Masui, Yukikazu Kabuyama, Shin-ichi Shimizu. 35-39
• The Hierarchical Synthesis of Lisp Scanning ProgramsAlan W. Biermann, Douglas R. Smith. 41-45
• Introducing Computer Science - An AlternativeIra Pohl, Alan Shaw. 53-56
• Automatic Construction of Complete Sample System for Program TestingJanis Barzdin, Janis Bicevskis, Audris Kalnins. 57-62
• Data-Flow-Analysis in Weakly Interpreted Program-SchemesPeter Bachmann. 63-68
• A Theory of Syntactic Monoids for Context-Free LanguagesJean-François Perrot, Jacques Sakarovitch. 69-72
• Utilization of New Information Systems Development Methods in Practice - Perspectives and ProspectsMats Lundeberg. 73-78
• Principles of Computer-Assisted Conception for Automatic Elaboration of a Computerized Information SystemJ. O. Anton, Claude Chrisment, J. B. Crampes, M. F. Debaisieux, J. H. Luguet. 79-84
• A Family of Finite Elements with Penalisation for the Numerical Solution of Stokes and Navier-Stokes EquationsMichel Bercovier. 97-101
• On a Graphical Package for Nonlinear Partial Differential Equation ProblemsOwe Axelsson, Uno Nävert. 103-108
• An Implementation-Oriented Method for Describing Algorithmic LanguagesAndrei P. Ershov, Valery V. Grushetsky. 117-122
• A Formal Approach to Translator SpecificationMarie-Claude Gaudel. 123-127
• Mathematical Semantics and a Model for Data BasesT. S. E. Maibaum. 133-138
• Using Knowledge of a Data Base World in Interpreting Natural Language QueriesP. Dell Orco, V. N. Spadavecchia, Margaret King. 139-144
• Automatic Constraint Maintenance and Updating Defined RelationsStephen Todd. 145-148
• Interprocess Communications in a Highly Diversified Distributed SystemMamoru Maekawa. 149-154
• Distributed Systems - Towards a Formal ApproachGérard Le Lann. 155-160
• Inhouse Computer Network KuipnetToshiyuki Sakai, Tsunetoshi Hayashi, Shigeyoshi Kitazawa, Koichi Tabata, Takeo Kanade. 161-166
• An Interactive Geometrical Design System with Handwriting InputMamoru Hosaka, Fumihiko Kimura. 167-172
• The Intermediate Language for PicturesTeus Hagen, Paul J. W. ten Hagen, Paul Klint, Han Noot. 173-178
• Multiple Colors and Image Mixing in Graphics TerminalsEric D. Carlson, Gary M. Giddings, Robin Williams. 179-182
• Computing the Frequency of a Sampled Sinusoidal Function183-187
• Inexact Step Lengths and Quasi-Newton MethodsDavid F. Shanno, Kang-Hoh Phua. 189-193
• On Bayesian Methods for Seeking the Extremum and their ApplicationJonas Mockus. 195-200
• Information Systems and Organization - Empirical Findings Regarding the Introduction of Computers in Manufacturing FirmsEmilio Bartezzaghi, Claudio Ciborra, Paolo Romano 0001, Piercarlo Maggiolini. 223-227
• Computational Complexity of Network Design AlgorithmsLawrence Van Sickle, K. Mani Chandy. 235-239
• A Recursive Algorithm for Deadlock Preemption in Computer NetworksD. A. Hutchison, J. Spruce Riordon, Samy A. Mahmoud. 241-246
• The Discriminant Function Approach to Classification of Incomplete Pattern VectorsJosef Kittler. 247-251
• Validation Problems in Pattern Recognition Study of a Particular CaseMario Borillo, Luis Fariñas del Cerro, Jacques Virbel. 253-257
• Problems of Plating-Line SchedulingV. M. Glushkov, A. I. Nikitin, I. V. Sergienko. 259
• Restructuring the Data Processing Organization for Data Resource ManagementRichard L. Nolan. 261-265
• Focusing on the Internal Mode in CAD and CAM SystemsFrank M. Lillehagen, Jørn Øian, Jan F. Mack. 273-278
• Semantics and the Foundations of Program ProvingJ. W. de Bakker. 279-284
• An Analytic Approach to the Verification of Iterative ProgramsAndrzej Blikle. 285-290
• Software for Speech OutputIan H. Witten. 297-301
• Program Generation and Transformation - Tools for Mathematical Software DevelopmentJames M. Boyle, Kenneth W. Dritz, Oleg B. Arushanian, Yuri V. Kuchevsky. 303-308
• Adaptive Routing in Store-and-Forward Networks and the Importance of Load SplittingWyn L. Price. 309-313
• Analysis of Flow Control in Switched Data NetworksJ. W. Wong, M. S. Unsoy. 315-320
• On Alternate Routing in Circuit-Switched Data NetworksHarry Rudin. 321-326
• Computer System Integrity SafeguardsNorman R. Nielsen, Brian Ruder. 337-342
• BASIS - An Interactive System for the Introductory Course in InformaticsReind P. van de Riet. 347-351
• A New Method for Deductive Answer Finding in a Question-Answering SystemHermann Helbig. 389-393
• Securing Data Bases under Linear QueriesMayer D. Schwartz, Dorothy E. Denning, Peter J. Denning. 395-398
• Top-Down Optimization in Multi-Level Data Base SystemsKlaus-Dieter Krägeloh, Peter C. Lockemann. 399-404
• Fault-Tolerant Computing-Progress, Problems and ProspectsAlgirdas Avizienis. 405-420
• On the Design of Local Network InterfacesPaul V. Mockapetris, Michael Lyle, David J. Farber. 427-430
• Clustered File Generation and its Application to Computer Science TaxonomiesGerard Salton, Donna Bergmark. 441-445
• Mappings in Database SystemsGiuseppe Pelagatti, Paolo Paolini, Giampio Bracchi. 447-452
• A Procedural Language for the Relational Data Base Management System Syntex Ephrem S. Dorkenoo, Michel Lemaître, Michel Lemoine. 453-457
• Performance Measurements of the MU5 Primary Instruction PipelineN. A. Yannacopoulos, Roland N. Ibbett, R. W. Holgate. 471-476
• Assessing the Power of an Order CodeSimon H. Lavington, Alan E. Knowles. 477-480
• A Multiclass Network Model of a Multiprogramming Timesharing Computer SystemAnthony E. Krzesinski, S. Gerber, Peter Teunissen. 481-486
• An Approach to Compile-Time Type CheckingPeter Henderson. 523-527
• Performance of Distributed Multi-Access Computer-Communication SystemsLeonard Kleinrock. 547-552
• Task Scheduling with Critical Section ConstraintsDennis G. Kafura. 553-557
• Customer Classes and Closed Network Models-A Solution TechniqueGianfranco Balbo, Steven C. Bruell, Herbert D. Schwetman. 559-564
• Priority Scheduling Disciplines in Queuing Network Models of Computer SystemsKenneth C. Sevcik. 565-570
• Language Design for Modular Software ConstructionK. Jackson. 577-581
• The Impact of Database Technology on Business SystemsEdgar H. Sibley. 589-596
• The Impact of Education in Computing on ScienceBernard Levrat. 597-600
• Logical Systems Design using PLAs and Petri Nets Programmable Handwired SystemsKwan Chi Leung, C. Michel, P. Le Beux. 607-611
• Linear Checking Equations and Error-Correcting Capability for Computation ChannelsMark G. Karpovsky, E. A. Trachtenberg. 619-623
• The Computer Scientist as Toolsmith-Studies in Interactive Computer GraphicsFrederick P. Brooks Jr.. 625-634
• FORAL LP - Making Pointed Queries with a Light PenMichael E. Senko. 635-640
• Performance of Parallel Hash Hardware with Key DeletionTetsuo Ida, Eiichi Goto. 643-647
• Putting Supervisory Routines into HardwareJonathan L. Bondy, David N. Freeman. 649-653
• Multidimensional Array Accessing in the MU5 ComputerGareth Thomas, Andrei G. Necula. 655-659
• A New Approach to Evaluating Code Generation in a Student EnvironmentHanan Samet. 661-665
• Computational Learning of Semantic Lexical Relations for the Generation and Automatical Analysis of ContentAlexandre Andreewsky, Fathi Debili, Christian Fluhr. 667-672
• Computers and the Farsi Language-A Survey of Problem AreasBehrooz Parhami, Farhad Mavaddat. 673-676
• Means and Levels of Knowledge Representation in the CAD System GerminalJack Foisseau, René Jacquart, François-Régis Valette. 689-694
• Finsim - A Decision Support System for Financial Planning and EngineeringMichel R. Klein. 705-710
• Prokon/Plan-A Modelling Tool for Project Planning and ControlTrygve Reenskaug. 717-721
• Intermittent Assertion Proofs in LucidEdward A. Ashcroft, William W. Wadge. 723-726
• Program Proving-Expression LanguagesPaul Pritchard. 727-731
• A Constructive Programming LogicRobert L. Constable. 733-738
• A Microprogram Generating System-MPGTakanobu Baba. 739-744
• Parallelism in Loop-Free MicroprogramsSubrata Dasgupta. 745-750
• On the Efficiency of Some List Marketing AlgorithmsJean-Loup Baer, M. Fries. 751-756
• NOPAL - Automated Design and Programming of TestingNoah S. Prywes, Yung Chang, Cihan Tinaztepe. 777-782
• Program Verification and Verification Oriented ProgrammingDavid C. Luckham. 783-793
• Proving Properties of Assembly Language ProgramsMalcolm C. Newey. 795-799
• Programme System for Social Choice under Fuzzy ManagingVladimir Dimitrov, Lilly D. Driankova. 807-811
• Machine-Independent Operating SystemsDerrick Morris, G. R. Frank, Colin J. Theaker. 819-825
• Managers Versus MonitorsAlfons J. Jammel, Helmut G. Stiegler. 827-830
• Natural Complexity Measures and a Subrecursive Speed-up TheoremDonald A. Alton. 835-838
• Probabilistic Machines Can Use Less Running TimeRusins Freivalds. 839-842
• A Multiprocessor - CYBA-MErik L. Dagless. 843-848
• A Computer Capable of Exchanging Processors for TimeArvind, Kim P. Gostelow. 849-853
• Hardware Organization of a Low Level Parallel ProcessorShinji Tomita, Kiyoshi Shibayama, Shigeru Oyanagi, Hiroshi Hagiwara. 855-860
• The Use of Precise Specification in the Development of SoftwareDavid Lorge Parnas. 861-867
• The Narrowing Gap Between Language Systems and Operating SystemsAnita K. Jones. 869-873
• Management Information System on the Level of Hungarian GovernmentIvan Kadar, Péter Kovács. 875-877
• How to Design Variants of Flats Using Programming Language PROLOG Based on Mathematical LogicZsuzsanna Markusz. 885-889
• Numerical Methods for Variational Inequalities Applications in Physics and in Control TheoryJacques-Louis Lions. 917-924
• Computational Aspects for a Control ProblemClaudia Lidia Simionescu. 925-928
• Formalization of Concurrent ProcessesToshio Nishimura. 929-937
• A First Order Theory of Data and ProgramsKeith L. Clark, Sten-Åke Tärnlund. 939-944
• Implementation of Privacy Protection RequirementsRein Turn. 957-962
• Sigma 76Juris Reinfelds, Carlo E. Vandoni. 963-968
• Single-Language Small-Processor SystemsRichard G. Hamlet. 969-974
• PL4 - A Low Level Language with ClassJean G. Vaucher, Normand Rochon. 975-979
• Toward Autonomous Descriptions of Synchronization ModulesPierre Robert, Jean-Pierre Verjus. 981-986
• Laws for Communicating Parallel ProcessesCarl Hewitt, Henry G. Baker. 987-992
• Coroutines and Networks of Parallel ProcessesGilles Kahn, David B. MacQueen. 993-998