ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS

主题词：Logic, programming, and type systems; Formal Methods in Verification; Parallel Computing and Optimization Techniques; Distributed systems and fault tolerance; Software Testing and Debugging Techniques; Software Engineering Research; Logic, Reasoning, and Knowledge; Security and Verification in Computing; Advanced Software Engineering Methodologies; Algorithms and Data Compression; Embedded Systems Design Techniques; Distributed and Parallel Computing Systems; Advanced Database Systems and Queries; semigroups and automata theory; Model-Driven Software Engineering Techniques; Advanced Malware Detection Techniques; Advanced Data Storage Technologies; Natural Language Processing Techniques; Software Reliability and Analysis Research; Real-Time Systems Scheduling; Semantic Web and Ontologies; Computability, Logic, AI Algorithms; Interconnection Networks and Systems; Constraint Satisfaction and Optimization; Optimization and Search Problems