Functional and Logic Programming
Title | Functional and Logic Programming PDF eBook |
Author | Jacques Garrigue |
Publisher | Springer Science & Business Media |
Pages | 346 |
Release | 2008-03-28 |
Genre | Computers |
ISBN | 3540789685 |
This book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008. The 20 revised full papers, together with 3 invited contributions were carefully reviewed and selected from 59 submissions.
Programming Languages and Systems
Title | Programming Languages and Systems PDF eBook |
Author | Giuseppe Castagna |
Publisher | Springer |
Pages | 424 |
Release | 2009-03-28 |
Genre | Computers |
ISBN | 364200590X |
This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions. The topics addressed are typed functional programming, computational effects, types for object-oriented languages, verification, security, concurrency, service-oriented computing, parallel and concurrent programming.
Program Specialization
Title | Program Specialization PDF eBook |
Author | Renaud Marlet |
Publisher | John Wiley & Sons |
Pages | 631 |
Release | 2013-01-24 |
Genre | Technology & Engineering |
ISBN | 1118576861 |
This book presents the principles and techniques of program specialization — a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program specializer for C that can also specialize code at runtime, and provides figures for concrete applications in various domains. Technical details address issues related to program analysis precision, value reification, incomplete program specialization, strategies to exploit specialized program, incremental specialization, and data specialization. The book, that targets both researchers and software engineers, also opens scientific and industrial perspectives.
Fundamental Approaches to Software Engineering
Title | Fundamental Approaches to Software Engineering PDF eBook |
Author | Perdita Stevens |
Publisher | Springer |
Pages | 440 |
Release | 2016-03-22 |
Genre | Computers |
ISBN | 3662496658 |
This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: concurrent and distributed systems; model-driven development; analysis and bug triaging; probabilistic and stochastic systems; proof and theorem proving; and verification.
Formal Methods and Software Engineering
Title | Formal Methods and Software Engineering PDF eBook |
Author | Lindsay Groves |
Publisher | Springer |
Pages | 479 |
Release | 2013-10-21 |
Genre | Computers |
ISBN | 3642412025 |
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.
Proceedings of the ... ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
Title | Proceedings of the ... ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PDF eBook |
Author | |
Publisher | |
Pages | 224 |
Release | 2004 |
Genre | Compiling (Electronic computers) |
ISBN |
Static Analysis
Title | Static Analysis PDF eBook |
Author | Kwangkeun Yi |
Publisher | Springer |
Pages | 454 |
Release | 2006-08-18 |
Genre | Computers |
ISBN | 3540377581 |
This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book presents 23 revised full papers together with the abstracts of 3 invited talks. The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detection, compiler optimization, software maintenance, security and safety, abstract interpretation and algorithms, abstract domain and data structures and more.