Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Parallel processing (Electronic computers) --- Parallélisme (Informatique) --- 681.3*C1 --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Processor architectures (Computer systems organization) --- Parallel processing (Electronic computers). --- 681.3*C1 Processor architectures (Computer systems organization) --- Parallélisme (Informatique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the organization of this second issue known as PARLE '89. The initiative for these conferences was taken by project 415 of ESPRIT (the European Strategic Programme for Research and Development in Information Technology of the Commission of the European Communities). Their scope covers central themes in the area of parallel architectures and languages, including such topics as concurrent, object-oriented, logic and functional programming; MIMD, dataflow, inference and reduction machines; design and verification of parallel systems; VLSI, WSI and RISC architectures; performance evaluation, memory management, systolic arrays, applications and special purpose architectures. The five invited lectures present the state of the art and advanced developments in major research areas related to the topics of the conference. Of the more than 150 submitted papers, 45 were selected for presentation. Furthermore the program of PARLE '89 comprises presentations on the subprojects which together constitute ESPRIT project 415. Parallel architectures based on a variety of programming styles (object-oriented, logic, functional, dataflow) are represented in these overviews.

681.3*C1 --- 681.3*D3 --- 681.3*F3 --- 681.3*F4 --- Processor architectures (Computer systems organization) --- Programming languages --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D3 Programming languages --- 681.3*C1 Processor architectures (Computer systems organization) --- Parallel processing (Electronic computers) --- Computer architecture --- Congresses --- Computer network architectures. --- Computer science. --- Computer Communication Networks. --- Software engineering. --- Computer system performance. --- Computer System Implementation. --- Processor Architectures. --- Special Purpose and Application-Based Systems. --- System Performance and Evaluation. --- Programming Techniques. --- Operating systems (Computers). --- Programming Languages, Compilers, Interpreters. --- Operating Systems. --- Computer software engineering --- Engineering --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems --- Parallel processing (Electronic computers) - Congresses --- Computer architecture - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics.

Computer science --- Machine theory --- Formal languages --- Computer programming --- Automates mathématiques, Théorie des --- Langages formels --- Programmation (Informatique) --- Congresses --- Congrès --- 681.3*C1 --- 681.3*E1 --- 681.3*F --- 681.3*I1 --- 681.3*I23 --- Processor architectures (Computer systems organization) --- Data structures: arrays; graphs; lists; tables; trees --- Theory of computation --- Algebraic manipulation (Computing methodologies) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- 681.3*F Theory of computation --- 681.3*E1 Data structures: arrays; graphs; lists; tables; trees --- 681.3*C1 Processor architectures (Computer systems organization) --- Automates mathématiques, Théorie des --- Congrès --- Information theory. --- Logic design. --- Computer software. --- Computer science. --- Combinatorics. --- Theory of Computation. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computation by Abstract Devices. --- Combinatorics --- Algebra --- Mathematical analysis --- Informatics --- Science --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Informatique --- BASIC (Computer program language) --- Automates mathématiques, Théorie des - Congres --- Langages formels - Congres --- Programmation (Informatique) - Congres