Search results: Found 2

Listing 1 - 2 of 2
Sort by
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

Author:
ISBN: 9783731505464 Year: Pages: XIV, 231 p. DOI: 10.5445/KSP/1000056002 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:57
License:

Loading...
Export citation

Choose an application

Abstract

In order to solve a long-standing problem with list fusion, a new compiler transformation, “Call Arity” is developed and implemented in the Haskell compiler GHC. It is formally proven to not degrade program performance; the proof is machine-checked using the interactive theorem prover Isabelle. To that end, a formalization of Launchbury’s Natural Semantics for Lazy Evaluation is modelled in Isabelle, including a correctness and adequacy proof.

Ein Rahmenwerk für die Architektur von Frühwarnsystemen

Author:
Book Series: Karlsruher Schriften zur Anthropomatik / Lehrstuhl für Interaktive Echtzeitsysteme, Karlsruher Institut für Technologie ; Fraunhofer-Inst. für Optronik, Systemtechnik und Bildauswertung IOSB Karlsruhe ISSN: 18636489 ISBN: 9783731506386 Year: Volume: 29 Pages: VIII, 303 p. DOI: 10.5445/KSP/1000066509 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

Early warning systems are supposed to deliver information about an emerging threat in order to allow persons and organizations to react accordingly. The design of an early warning system presents complex challenges to the system architects. For this, the present work provides a framework for the architecture of future early warning systems. Particular attention is paid to solve various architectural problems by means of semantic technologies and the automation of workflows.

Listing 1 - 2 of 2
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (2)


License

CC by-sa (2)


Language

english (1)

german (1)


Year
From To Submit

2017 (1)

2016 (1)