Type Theory as a Framework for Modelling and Programming

In the context provided by the proceedings of the UVMP track of ISoLA 2016, we propose Type Theory as a suitable framework for both modelling and programming. We show that it fits most of the requirements put forward on such frameworks by Broy et al. and discuss some of the objections that can be ra...

Full description

Saved in:
Bibliographic Details
Published inLeveraging Applications of Formal Methods, Verification and Validation. Modeling pp. 119 - 133
Main Authors Ionescu, Cezar, Jansson, Patrik, Botta, Nicola
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Dependent types
Domain-specific languages
Functional programming
Software technology
Specification
Online AccessGet full text

Cover

More Information
Summary:In the context provided by the proceedings of the UVMP track of ISoLA 2016, we propose Type Theory as a suitable framework for both modelling and programming. We show that it fits most of the requirements put forward on such frameworks by Broy et al. and discuss some of the objections that can be raised against it.
ISBN:3030034178
9783030034177
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-030-03418-4_8