B
Bo Stig Hansen
Researcher at Technical University of Denmark
Publications - 10
Citations - 136
Bo Stig Hansen is an academic researcher from Technical University of Denmark. The author has contributed to research in topics: Specification language & Semantics (computer science). The author has an hindex of 5, co-authored 10 publications receiving 136 citations.
Papers
More filters
Book ChapterDOI
An Approach to the Static Semantics of VDM-SL
TL;DR: The work presented here concerns abstract specification of type checking for a specification language VDM-SL of the Vienna Development Method and considers acceptance of “obviously” well-typed expressions.
Journal ArticleDOI
Semantics of under-determined expressions
Peter Gorm Larsen,Bo Stig Hansen +1 more
TL;DR: This work considers a simple functional language including under-determined expressions and presents a denotational semantics for the language along with a set of proof rules for reasoning about properties of under-Determined expressions.
Book ChapterDOI
Eine sequelartige Sprachschnittstelle für das NF2-Modell
TL;DR: Im klassischen relationalen Daten-Modell wird ublicherweise die erste Normalform (INF) zwingend vorgeschrieben /Cod,Dat/.
Book ChapterDOI
On Type Checking in VDM and Related Consistency Issues
TL;DR: The variants of specification languages used with the Vienna Development Method (VDM) offer a rather expressive notion of types, not to mention subtypes characterized by arbitrary predicates.