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

reportActive / Technical Report | Accession Number: ADA327832 | Open PDF

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.

Author(s):
Degano, Pierpaolo ; Gorrieri, Roberto ; Marchetti-spaccamela, Alberto
Author Organization(s):
PISA UNIV (ITALY)
Descriptive Note:
Conference proceedings,
Pagination:
0882

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Monitor Series:
EOARD
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_7.2.1_Mitigate Lethal Effects; JCA_7.2_Mitigate; JCA_7_Protection; JCA_5.3_Planning; JCA_5.2.2_Develop Knowledge and Situational Awareness; JCA_5.2_Understand; JCA_4.6_Engineering; JCA_4.6.1_General Engineering; JCA_1.2.6_Concepts; JCA_5.3.1_Analyze Problem; JCA_1.2.3_Educating; JCA_5.4_Decide; JCA_2.1_Planning and Direction; JCA_1.2.5_Lessons Learned; JCA_2.1.3_Task and Monitor Resources; JCA_5.4.5_Intuit; JCA_1.3.2_Personnel Management; JCA_1.3.1_Personnel and Family Support; JCA_5.5.2_Task; JCA_5.5_Direct
Modernization Areas:
Quantum Science and Computing; Fully Networked C3; Microelectronics; 5G
Communities of Interest:
C4I
Descriptor(s):
*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)
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
LOGIC PROGRAMMING
Report Date:
1997 Jul 01
Creation Date:
1997 Aug 27