Abstract is missing.
- Pragmatic Aspects of Complexity Theory (Panel)Juris Hartmanis. 3-4
- Pragmatic Aspects of Complexity Theory (Panel)Jan van Leeuwen. 5-6
- PABX and LANS (Panel)Otto Spaniol. 13-14
- Guidelines for Data Administration - ResponseArne Sølvberg. 23-26
- Making Exceptions Simplify the Rule (and Justify their Handling)David R. Cheriton. 27-34
- Operational Specification of Process Control Systems: Execution of PROT Nets using OPS5Giorgio Bruno, Antonia Elia. 35-40
- Proving Theorems by Construction of Valid FormulaeMarta Franová. 41-46
- Micropower: The Use of Computers in Pre-College EducationRobert M. Aiken. 47-52
- Data Flow: Achievements and Prospects (Invited Paper)John R. Gurd, Chris C. Kirkham. 61-68
- Can Developing Countries Compete in Information Technology (Panel)Annette Lagman. 73-74
- Advanced Microelectronics as a Foundation for Future Computers (Panel)K. Asada. 79-80
- Advanced Microelectronics as a Foundation for Future Computers (Panel)Peter B. Denyer. 81-82
- Data Abstraction in the Specification of Information SystemsAlfs T. Berztiss. 83-90
- AI and Programming Languages (Invited Paper)Luc Steels. 105-110
- AI and Programming Languages - ResponseAkinori Yonezawa. 111-114
- Designing a Persistent Information Space ArchitectureMalcolm P. Atkinson, Ronald Morrison, Graham D. Pratten. 115-120
- Towards Automation in Software Quality Control: The Case of Products Described by Formal GrammarsAdriana Bicego, M. Jacobone, Marco Maiocchi, U. Poggi. 121-128
- Software Physics and ParadigmsJaroslav Král. 129-134
- Role of Abstraction in Program Development (Invited Paper)T. S. E. Maibaum. 135-142
- Role of Abstraction in Program Development - ResponseFernando Orejas. 143-146
- Women, Work and Computerisation (Panel)Asha Purna Kachru. 163-164
- Automation in Software Development (Panel)Stefano Crespi-Reghizzi. 171-172
- Automation in Software Development (Panel)Marie-Claude Gaudel. 173-174
- Automation in Software Development (Panel)William A. Wulf. 175-176
- ISDN and X25 (Invited paper)Eckart Raubold. 177-184
- ISDN and X25 - ResponseShinji Tomita. 185-188
- Program Development as a Social Activity (Invited Paper)Kristen Nygaard. 189-198
- CAD to Support CIM Applications - ResponseSudhir P. Mudur. 199-204
- Requirements Collection and Analysis in Information Systems Design (Invited Paper)Stefano Ceri. 205-214
- Requirements Collection and Analysis in Information Systems Design - ResponseEnid Mumford. 215-218
- The Future of Logic Programming (Invited Paper)John Alan Robinson. 219-224
- The Future of Logic Programming - ResponseEnn Tyugu. 225-228
- Designing Database Applications in Logic ProgrammingMarco A. Casanova, C. M. O. Moura. 235-240
- An Expert System Approach to Information System DesignColette Rolland, C. Proix. 241-250
- SECSI: An Expert System Approach to Database DesignMokrane Bouzeghoub, Elisabeth Métais. 251-257
- Meta Interpreters For Real (Invited Paper)Shmuel Safra, Ehud Y. Shapiro. 271-278
- Meta Interpreters For Real - ResponseAkikazu Takeuchi. 279-282
- Living in the Next Generation Operating System (Invited Paper)Robert Balzer. 283-292
- Deadline Pressure: How to Cope with Short Deadlines, Low Budgets and Insufficient Staffing LevelsThomas Gilb. 293-300
- Programmin Language Standards: Not Language Definitions, but Specifications of Software Engineering ToolsBrian L. Meek. 301-306
- Developing Project Management Skills through Computer SimulationM. Yamamoto, T. Kuriyama. 307-312
- Environments for the Development of Specifications (Panel)Erik Sandewall. 313-314
- Environments for the Development of Specifications (Panel)Bernard Lang. 315-316
- Environments for the Development of Specifications (Panel)John Mylopoulos. 317-319
- Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper)Chris A. Vissers. 321-328
- Standardisation of Formal Description Techniques for Communication Protocols - ResponseRoberto Saracco. 329-334
- Computer Understanding and Creativity (Invited Paper)Roger C. Schank. 335-342
- Computer Understanding and Creativity - ResponseWolfgang Wahlster. 343-348
- Theoretical Comparisons of Interpreted/Compiled Executions of Lisp on Sequential and Parallel Machine ModelsT. Ito, T. Tamura, S. Wada. 349-354
- An Efficient Type System for PrologYe Gang, Xie Zhiliang. 355-360
- Voxel-Based Architecture for Three-Dimensional GraphicsArie E. Kaufman. 361-366
- VLSI Artchitectures for Back SubstitutionKam-Hoi Cheng, Sartaj Sahni. 373-378
- Programmer as Reader (Invited Paper)Adele Goldberg. 379-386
- The Time Dimension in the Entity-Relationship Model (Invited Paper)Peter P. Chen. 387-390
- Logic and Computation (Panel)Rohit Parikh. 391-392
- Logic and Computation (Panel)Erwin Engeler. 393-394
- Logic and Computation (Panel)István Németi. 395-396
- Logic and Computation (Panel)Satoru Takasu. 397-398
- Experience with the Relational Database Model (Panel)Alfonso F. Cardenas. 399-400
- Experience with the Relational Database Model (Panel)Alain Pirotte. 403-404
- Experience with the Relational Database Model (Panel)Stewart A. Schuster. 405-406
- Approximate Reasoning in a Rule-Based Expert System using Possibility Theory: A Case StudyHenri Farreny, Henri Prade, E. Wyss. 407-414
- Partial Evaluation of Prolog Programs and its Application to Meta ProgrammingAkikazu Takeuchi, Koichi Furukawa. 415-420
- A New Many-Valued Logic and its Application to Approximate ReasoningSilvano Di Zenzo. 421-428
- Nationwide Teaching through a Network of Microcomputers (Invited Paper)Hermann A. Maurer. 429-432
- Application of Solid CAD for Mold DesignY. Tanaka, E. Hashimoto, T. Ueda, K. Itoh. 433-440
- Cost-Estimation in the Design Process within a CIM-Systems EnvironmentAugust-Wilhelm Scheer. 441-446
- Artificial Intelligence and Simulation of Manufacturing SystemsJohn Harhen, Michael G. Ketcham, Jimmie Browne. 447-454
- Transformations of Parallel Programs in CrystalM. C. Chen. 455-462
- FDL: A Language for Designing Large Reat Time SystemsIvar Jacobson. 463-468
- Programming Real-Time with Events and Data FlowThierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai. 469-474
- Chunking and Phrasing and the Design of Human-Computer Dialogues (Invited Paper)William Buxton. 475-480
- Education and Training for Information Systems (Panel)Erich J. Neuhold, Christian Stary. 489-490
- Electronic Mail and the Paper Society (Panel)Jacob Palme. 493-494
- Electronic Mail and the Paper Society (Panel)S. Ramani. 495-496
- Technical Document Storing and Retrieval - ResponseT. Maruyama. 503-506
- Process Constructors and Interpretations (Invited Paper)Robin Milner. 507-514
- Process Constructors and Interpretations - ResponseWillem P. de Roever. 515-518
- Non-Latin and Non-Alphabetic Scripts (Panel)R. M. K. Sinha. 525-526
- VDM From Research to Practice (Invited Paper)Ole N. Oest. 527-534
- VDM From Research to Practice - ResponsePeter Wegner. 535-538
- Making Expert Systems Explicit - ResponseReind P. van de Riet. 545-548
- Reasoning Techniques (Panel)Luigia Carlucci Aiello. 549-550
- Reasoning Techniques (Panel)Stuart E. Savory. 551-552
- Supercomputing in Japan (Invited Paper)Ken ichi Miura. 557-564
- Supercomputing in Japan - ResponseH. T. Kung. 565-570
- A Syntax-Directed Approach to the Semantics of Concurrent LanguagesEgidio Astesiano, Gianna Reggio. 571-576
- Applying Event Based Analysis to Specification and DesignJack C. Wileden. 577-582
- Advanced Software Technology - Development and Introduction to Practice (Invited Paper)605-612
- Advanced Software Technology - Development and Introduction to Practice - ResponseB. Tim Denvir. 613-616
- Information System Design: Techniques and Software Support (Invited Paper)Peter C. Lockemann, Heinrich C. Mayr. 617-634
- Future Information Systems (Panel)Amílcar Sernadas. 641-642
- Future Information Systems (Panel)Laurence Cholvy. 645-646
- Future Information Systems (Panel)Larry Kerschberg. 647-648
- VLSI Algorithms for Combinatorial ProblemsHristo Djidjev. 649-654
- Congruent Representation of Standard Denotational SemanticsVéronique Royer. 655-660
- Foundations for Knowledge-Based Systems (Invited Paper)Raymond Reiter. 663-668
- Foundations for Knowledge-Based Systems - ResponseJoachim W. Schmidt. 669-674
- Programming in the Large with Algebraic Module Specifications (Invited Paper)Hartmut Ehrig, Herbert Weber. 675-684
- Programming in the Large with Algebraic Module Specifications - ResponseAndrzej Tarlecki. 685-688
- Understanding and Controlling Software Costs (Invited Paper)Barry W. Boehm. 703-714
- Performance Evaluation in Perspective (Panel)Hisashi Kobayashi. 719-720
- Performance Evaluation in Perspective (Panel)Domenico Ferrari. 721-722
- Performance Evaluation in Perspective (Panel)Kenneth C. Sevcik. 723-724
- Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel)René Jacquart. 725-726
- Abstractions for Fault Tolerance in Distributed Systems (Invited Paper)Fred B. Schneider. 727-734
- Abstractions for Fault Tolerance in Distributed Systems - ResponseAnders P. Ravn. 735-738
- Information Systems in the Small (Invited Paper)C. C. Gotlieb. 739-744
- Information Systems in the Small - ResponseGiampio Bracchi. 745-748
- Production Management Systems (Invited Paper)Asbjørn Rolstadås. 749-756
- ANDREW: Carnegie Mellon s Computing System (Invited Paper)James H. Morris, John Leong, David A. Nichols, Michael J. West, Mahadev Satyanarayanan. 757-768
- Specification Languages versus Programming Languages (Panel)Koichi Furukawa. 775-776
- Specification Languages versus Programming Languages (Panel)Martin Wirsing. 777-778
- Architectural Evaluation and Improvement of a Universal Host Computer MUNAPKatsuhiro Yamazaki, Takanobu Baba, Kenzo Okuda, Hiroyuki Kanai. 779-784
- Mechanical vectorization of Multiply Nestzed DO Loops by Vector Indirect AddressingTakao Tsuda, Yoshitoshi Kunieda. 785-790
- On Periodic Scheduling of Time-Critical TasksJitender S. Deogun, M. C. Kong. 791-796
- LRO2: Artificial Intelligence and Object Oriented LanguagesChristophe Roche, Jean-Pierre H. Laurent. 797-802
- Some Approaches to Parallel Implementaions of PrologPéter Kacsuk. 803-809
- SNARK: A Language to Represent Declarative Knowledge and an Inference Engine which Uses HeuristicsJean-Louis Laurière, M. Vialatte. 811-816
- Trends Towards Computer-Integrated Manufacturing (CIM) (Invited Paper)Detlef Kochan. 817-822
- Net Theory and Application - ResponseRocco De Nicola. 833-836
- Machine Learning (Panel)Douglas B. Lenat. 837-838
- Machine Learning (Panel)Yves Kodratoff. 839-840
- Methodologies for Computer Engineering (Panel)Przemyslaw Bakowski. 843-844
- Specification and Development of Reactive Systems (Invited Paper)Amir Pnueli. 845-858
- Construction of Asynchronous Concurrent Systems from their Behavioral SpecificationsZebo Peng. 859-864
- Open Systems Management - The Implications for Distributed Processing ArchitectureAlwyn Langsford. 865-868
- Lotos in PracticeGiuseppe Scollo, Chris A. Vissers, Antonella Di Stefano. 869-876
- STREL: An Extended Relational Model for Structured ObjectsRobert Demolombe. 877-882
- Temporary Storage of Derived Relations for Efficient Use of DBMS in Computer Integrated Manufacturing SystemsPaul Bourret. 883-888
- On Extending the Realm of Application of Relational SystemsRaymond A. Lorie, Jean-Jacques Daudenarde. 889-894
- Surveying Software Tools for a Method Driven EnvironmentK. Ryan, J. A. Redmond, Donald O Neill, Boyd Mathews, A. Hunot, Michel Lemoine, Manfred Dausmann, K. Wachsmuth. 895-902
- A Multilingual Modular Programming System for Describing Knowledge Information Processing SystemsTakeshi Chusho, Hirohide Haga. 903-908
- KEYLINE: Software Productivity Tools for Program Design, Implementation, DocumentationMaurizio Barioglio, G. Capella, I. Lupo, Luigi Petrone. 909-914
- The I in CIM (Invited Paper)Michel A. Melkanoff. 915-920
- Which LAN in the Factory (Panel)Gérard Le Lann. 921-922
- Which LAN in the Factory (Panel)John F. Meyer. 923-924
- Which LAN in the Factory (Panel)Mario Tokoro. 925-926
- Computer Aided Design and Artificial Intelligence (Panel)Takao Uehara. 927-928
- Computer Aided Design and Artificial Intelligence (Panel)Guy Mazaré. 931-932
- Super Database Computers: Hardward and Software Solutions for Efficient Processing of Very Large Databases (Invited Paper)David K. Hsiao. 933-944
- Super Database Computers - ResponseGeorges Gardarin. 945-948
- Multi-Micro Processor System: Another Viewpoint (Response)Dharma P. Agrawal, J. Richard Burke. 955-956
- Multimedia Information Processing Based on a General Media ModelMasataka Ohta, Mamoru Maekawa, Takashi Arano, Kiyokuni Kawachiya, Y. Noguchi. 957-962
- Smart-Cards for Network ServicesErnst Piller. 963-968
- On Model of Macroconveyor ComputationsVladimir S. Mikhalevich, Julia V. Kapitonova, Alexander A. Letichevsky. 975-980
- On Hardware Algorithms for Geometrical Computation ProblemsAndreas Alexander Albrecht. 989-994
- One, None, A Hundred Thousand Specification Languages (Invited Paper)Joseph A. Goguen. 995-1004
- Cost-Benefit Analysis of Computer-Mediated Message SystemsJacob Palme. 1021-1023
- Performance of Unslotted ALOHA with CaptureJozef Wozniak. 1029-1034
- CIM - The Future Technology (Invited Paper)Gideon Halevi. 1035-1042
- A Unified Architecture for the Integration of Data Base Management and Information Retrieval SystemsVijay V. Raghavan, Lawrence V. Saxton, S. K. Michael Wong, S. S. Ting. 1049-1054
- An Overview of a Natural Language-Assisted Database User Interface: ENLIYahiko Kambayashi. 1055-1060
- No Silver Bullet - Essence and Accidents of Software Engineering (Invited Paper)Frederick P. Brooks Jr.. 1069-1076
- No Silver Bullet - Essence and Accidents of Software Engineering - ResponseWladyslaw M. Turski. 1077-1080
- CAD to Support CIM Applications (Invited Paper)Chengi Kuo. 1087-1094
- Controversial Issues in CIM (CAD, CAM, CAE) (Panel)Jakob Vlietstra. 1095-1096
- Controversial Issues in CIM (CAD, CAM, CAE) (Panel)Asbjørn Rolstadås. 1097-1098
- Controversial Issues in CIM (CAD, CAM, CAE) (Panel)Theodore J. Williams. 1099-1100
- Controversial Issues in CIM (CAD, CAM, CAE) (Panel)Hiroyuki Yoshikawa. 1101-1102
- Living in the Next Generation Operating System - ResponseVic Stenning. 1107-1112
- Semantic ProgrammingSergei S. Goncharov, Yuri Leonidovich Ershov, Dmitri Ivanovich Sviridenko. 1113-1120
- Electronic Mail and the Paper Society (Panel)Vinton G. Cerf. 1123-1124
- Reasoning Techniques (Panel)Dmitri A. Pospelov. 1125-1126
- Theoretical Approaches in Computer Aided Design (CAD) (Invited Paper)Hiroyuki Yoshikawa. 1127-1132
- Theoretical Approaches in Computer Aided Design (CAD) - ResponseJosé L. Encarnação. 1133-1134
- Performance Evaluation in Perspective (Panel)Paul J. Kühn. 1143-1146
- Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel)Gerhard Goos. 1145-1146
- Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel)Robert P. Worden. 1147-1148
- Specification Languages versus Programming Languages (Panel)Olivier Roubine. 1157-1158
- Trends Towards Computer-Integrated Manufacturing (CIM) - ResponseJ. P. Crestin. 1159-1162
- The Workstation Approach for Software Engineering (Invited Paper)William N. Joy. 1163-1168
- The Workstation Approach for Software Engineering - ResponseNajah Naffah. 1169-1172
- Methodologies for Computer Engineering (Panel)David Aspinall II. 1171-1172
- Methodologies for Computer Engineering (Panel)D. Morris. 1177-1182
- Specification and Development of Reactive Systems - ResponseJoseph Sifakis. 1183-1188
- Which LAN in the Factory (Panel)Dirk Heger. 1189-1190