Choose an application

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

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. .

Programming languages (Electronic computers). --- Computer organization. --- Microprogramming . --- Computers. --- Natural language processing (Computer science). --- Programming Languages, Compilers, Interpreters. --- Computer Systems Organization and Communication Networks. --- Control Structures and Microprogramming. --- Information Systems and Communication Service. --- Natural Language Processing (NLP). --- Theory of Computation. --- NLP (Computer science) --- Artificial intelligence --- Electronic data processing --- Human-computer interaction --- Semantic computing --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer programming --- Organization, Computer --- Electronic digital computers --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming Languages, Compilers, Interpreters --- Computer Systems Organization and Communication Networks --- Control Structures and Microprogramming --- Information Systems and Communication Service --- Natural Language Processing (NLP) --- Theory of Computation --- artificial intelligence --- computer networks --- computer programming --- computer security --- distributed computer systems --- embedded systems --- formal languages --- formal logic --- linguistics --- mathematics --- model checking --- object-oriented programming --- parallel processing systems --- program compilers --- semantics --- software architecture --- software design --- software engineering --- software quality --- verification and validation --- Programming & scripting languages: general --- Compilers & interpreters --- Computer networking & communications --- Algorithms & data structures --- Natural language & machine translation --- Computer science --- Mathematical theory of computation --- Compilers (Computer programs). --- Computer engineering. --- Computer networks. --- Microprogramming. --- Computer science. --- Compilers and Interpreters. --- Computer Engineering and Networks. --- Computer Communication Networks. --- Informatics --- Science --- 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 --- Computers --- 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)

Dutch literature

Choose an application

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

Christian spirituality --- Spiritual-mindedness --- Spiritualiteit --- Spirituality --- Spiritualité --- C1 --- bedevaarten --- spiritualiteit --- #GGSB: Geestelijke lezing (geel) --- #GGSB: Spiritualiteit --- #GGSB: Volksreligie (volksreligiositeit / devotie) --- Kerken en religie --- #gsdb10 --- Geestelijke lezing (geel) --- Volksreligie (volksreligiositeit / devotie)

Choose an application

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

Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci?cation and veri?cation. Speci?cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri?cation, one can then prove that an implementation really has the desired, speci?ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: – Formal speci?cation techniques have to be smoothly integrated into the software and program development process. – The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller ¨ has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware. The speci?cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming.

Object-oriented programming (Computer science) --- Modular programming --- Computer software --- Programmation orientée objet (Informatique) --- Logiciels --- Development --- Développement --- Computer Science --- Engineering & Applied Sciences --- Modular programming. --- Development. --- Programmation orientée objet (Informatique) --- Développement --- Development of computer software --- Software development --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer programming --- Object-oriented methods (Computer science) --- Document Object Model (Web site development technology) --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer science logic --- Logic, Symbolic and mathematical --- Programming --- Computer software - Development --- Programming languages (Electronic computers)

Choose an application

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

Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the correctness of a program with respect to its specification. Software verification has seen tremendous progress during the last decade; it continues to be an active research topic and is now also becoming increasingly popular among practitioners. This tutorial contains selected papers from the LASER summer Schools 2007 and 2008, both of which focused on correctness - Applied Software Verification in 2007 and Concurrency and Correctness in 2008. Topics covered include verification of fine-grain concurrency and transactions, the SCOOP model for concurrent object-oriented programming, the Spec# programming and verification system, verification in the prototype verification system PVS, and multi-core chip design.

Software enginnering --- Engineering & Applied Sciences --- Computer Science --- Information Technology --- Software Engineering --- Software engineering. --- Computer software engineering --- Computer science. --- Computer communication systems. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Computer Communication Networks. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Logics and Meanings of Programs. --- Programming Techniques. --- Engineering --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- 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 --- Programming --- Distributed processing --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory