Accession Number : ADA327832

Title :   Automata. Languages and Programming - 24th International Colloquium, ICALP '97, Bologna, Italy, July 1997. Proceedings.

Descriptive Note : Conference proceedings,

Corporate Author : PISA UNIV (ITALY)

Personal Author(s) : Degano, Pierpaolo ; Gorrieri, Roberto ; Marchetti-Spaccamela, Alberto

PDF Url : ADA327832

Report Date : JUL 1997

Pagination or Media Count : 882

Abstract : The Final Proceedings for International Colloquium on Algorithms, Languages and Programming (ICALP), 7 July 1997 - 11 July 1997. The Topics covered include: Computability, automata, formal languages, new computing paradigms, term rewriting, analysis and design of algorithms, computational complexity, symbolic and algebraic computation, cryptography, and security; data types and data structures, theory of database and knowledge bases, semantics of programming languages, program specification and verification, foundations of logic programming, parallel, and distributed computation, theory of concurrency, theory of robotics.

Descriptors :   *SYMPOSIA, *PROGRAMMING LANGUAGES, *AUTOMATA, COMPUTER PROGRAMS, DATA BASES, ALGORITHMS, ROBOTICS, COMPUTATIONS, CRYPTOGRAPHY, DATA PROCESSING SECURITY, VERIFICATION, MODELS, DISTRIBUTION, SPECIFICATIONS, THEORY, COMPUTER LOGIC, COMPUTER PROGRAMMING, SEMANTICS, ALGEBRA, ITALY, KNOWLEDGE BASED SYSTEMS, SYMBOLS, FOUNDATIONS(STRUCTURES).

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE