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.

Emotions in History – Lost and Found

Author:
ISBN: 9786155053344 9786155225031 Year: Language: English
Publisher: Central European University Press
Subject: History
Added to DOAB on : 2015-05-19 15:18:48
License: OpenEdition licence for Books

Loading...
Export citation

Choose an application

Abstract

Coming to terms with emotions and how they influence human behaviour, seems to be of the utmost importance to societies that are obsessed with everything “neuro.” On the other hand, emotions have become an object of constant individual and social manipulation since “emotional intelligence” emerged as a buzzword of our times. Reflecting on this burgeoning interest in human emotions makes one think of how this interest developed and what fuelled it. From a historian’s point of view, it can be t...

Listing 1 - 2 of 2
Sort by
Narrow your search