Choose an application

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

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency. .

Software engineering. --- Programming languages (Electronic computers). --- Computers. --- Artificial intelligence. --- Computer simulation. --- Computer organization. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Theory of Computation. --- Artificial Intelligence. --- Simulation and Modeling. --- Computer Systems Organization and Communication Networks. --- Organization, Computer --- Electronic digital computers --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Fifth generation computers --- Neural computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer software engineering --- Engineering --- Computer science --- Software engineering --- Programming languages (Electronic computers) --- Computers --- Artificial intelligence --- Computer simulation --- Computer organization --- Compilers (Computer programs). --- Computer science. --- Computer engineering. --- Computer networks. --- Compilers and Interpreters. --- Computer Modelling. --- Computer Engineering and Networks. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Distributed processing --- Design and construction

Choose an application

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

This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018. The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial  were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

Computer science. --- Computer communication systems. --- Software engineering. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering. --- Computer Communication Networks. --- Mathematical Logic and Formal Languages. --- Computation by Abstract Devices. --- Programming Languages, Compilers, Interpreters. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Computer science logic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Computer software engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Informatics --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Electronic data processing --- Languages, Artificial --- Engineering --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Science --- Distributed processing --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer software --- Software engineering --- Verification --- Verification. --- Computer networks. --- Machine theory. --- Compilers (Computer programs). --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Theory of Computation. --- Compilers and Interpreters. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

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

Welcome to the 2021 edition of the ACM SIGPLAN Machine Programming Symposium (MAPS), formerly named MAPL, co-located with PLDI on June 21, 2021. The focus of MAPS is to advance machine programming by leveraging interdisciplinary research across the fields of machine learning (ML) and programming languages (PL). This year's program consists of a mix of technical research papers and invited talks by top researchers in the field of machine programming.

Computer science

Choose an application

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