Search results:
Found 2
| Listing 1 - 2 of 2 |
Sort by
|
ISBN: 9783866445949 Year: 2011 Pages: XIX, 203 p. DOI: 10.5445/KSP/1000020678 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:00
License:
Abstract
|
Keywords
|
Free access
|
Buy the book
|
Export citation
|
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable.
Book Series: Hohenheimer volkswirtschaftliche Schriften ISBN: 9783631616161 Year: 2011 Pages: 250 Language: English
Publisher: Peter Lang International Academic Publishing Group
Subject: Economics --- Political Science --- Sociology
Added to DOAB on : 2019-01-15 13:33:00
License:
Abstract
|
Keywords
|
Free access
|
Buy the book
|
Export citation
|
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Regarding the Arab region, GDP per capita virtually stagnated for more than 20 years from 1980. During the same period, GDP per capita in the world’s highly industrialized states further increased and the gap between the Middle East and North Africa (MENA) and the highly developed countries widened. However, the differences between Arab countries and the Western states exist not only economically. The countries also differ regarding their political, legal, and social systems. This work explains the differences in development on the basis of institutional economics. In addition to a general theoretical part, an empirical analysis demonstrates the effects of institutions on income, and a historical case study explains the divergent development paths of the Arab region and selected advanced economies.
Case --- Cultural economics --- Dobler --- Economic --- Empirical institutional analysis --- Formal --- Growth --- Impact --- Informal --- Institutions --- MENA --- Political economics --- Region --- Study
| Listing 1 - 2 of 2 |
Sort by
|
2011 (2)
