A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users.Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays an important role in all phases of development, including verification of specifications and programs, the synthesis of optimized code, and the refactoring and maintenance of software applications. This boo...

At the turn of the 20th century, Barcelona's industrialist bourgeoisie showcased their wealth commissioning family residences from renowned architects embracing the modernist style. Within these families, a chocolatier emerged, expressing opulence through the iconic Casa Amatller, now a symbol of the city. How did a manufacturer of staple foodstuffs ascend to prominence alongside the foremost industrial figures of the nation?This research unravels a success story in family business...

A distinguished economist examines competition, regulation, and stability in today's global banksDoes too much competition in banking hurt society? What policies can best protect and stabilize banking without stifling it? Institutional responses to such questions have evolved over time, from interventionist regulatory control after the Great Depression to the liberalization policies that started in the United States in the 1970s. The global financial crisis of 2007...

Innovation is the main engine of competitiveness. However, in a world in which everything goes faster, the inherent nature of the innovation process has changed. This book assesses both the theoretically and empirically intertwined relationship between innovation, clusters and multinational enterprises in today's economy.

This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verificati...

This open access book brings together experts from both EU competition law as well fundamental rights backgrounds, discussing the most recent developments in EU legislation on digitalisation. Most prominently, it explores the recently introduced Digital Markets Act (DMA), including a discussion on other related legislative acts and the respective case law. It is aimed mostly at academics and researchers in the area of digitalisation, EU competition law, and the EU Charter, but will also pr...