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)

Programming --- Computer architecture. Operating systems --- Computer. Automation --- NLP (neurolinguïstisch programmeren) --- computers --- programmeertalen

Choose an application

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

Human medicine