Exception tracking in an open world
type: Item
instance of: scholarly article
title: Exception tracking in an open world
zbMATH Open document ID: 1397.68028
author: Robert Harper
published in: Theoretical Computer Science
publication date: 2018-07-26T00:00:00Z
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6910728
zbMATH Keywords: exception tracking
zbMATH Keywords: type refinements
zbMATH Keywords: open-world assumption
zbMATH Keywords: dynamic classification
zbMATH Keywords: program verification
describes a project that uses: Nuprl
describes a project that uses: ML
MaRDI profile type: Publication
full work available at URL: j.tcs.2018.02.032
OpenAlex ID: W2789781016
cites work: Foundations of algebraic specification and formal software development.
cites work: Q4716271
cites work: Q5812175
cites work: Q3688389
cites work: Exception Handling in CLU
cites work: Syntactic logical relations for polymorphic and recursive types
cites work: Q4813228
DOI: 10.1016/J.TCS.2018.02.032
description: scientific article; zbMATH DE number 6910728