Search results: Found 2

Listing 1 - 2 of 2
Sort by
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security

Author:
ISBN: 9783866445949 Year: 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:

Loading...
Export citation

Choose an application

Abstract

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.

The Impact of Formal and Informal Institutions on Economic Growth

Author:
Book Series: Hohenheimer volkswirtschaftliche Schriften ISBN: 9783631616161 Year: 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:

Loading...
Export citation

Choose an application

Abstract

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.

Listing 1 - 2 of 2
Sort by
Narrow your search