TY - BOOK ID - 4868396 TI - Compiler Construction : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings PY - 2015 SN - 9783662466636 3662466627 9783662466629 3662466635 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer Science. KW - Programming Languages, Compilers, Interpreters. KW - Software Engineering. KW - Programming Techniques. KW - Logics and Meanings of Programs. KW - Computer science. KW - Software engineering. KW - Logic design. KW - Informatique KW - GĂ©nie logiciel KW - Structure logique KW - Engineering & Applied Sciences KW - Computer Science KW - Computer programming. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computer software engineering KW - Engineering KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Informatics KW - Science KW - Programming KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Compilers (Computer programs) KW - Compilers (Computer programs). KW - Compilers and Interpreters. KW - Computer Science Logic and Foundations of Programming. KW - Compiling programs (Computer programs) KW - Computer programs KW - Programming software KW - Systems software UR - https://www.unicat.be/uniCat?func=search&query=sysid:4868396 AB - This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015. The 11 papers presented in this volume were carefully reviewed and selected from 34 submissions. They deal with compiler engineering and compiling techniques; compiler analysis and optimisation and formal techniques in compilers. The book also contains one invited talk in full-paper length. ER -