License: Creative Commons Attribution 3.0 Germany license (CC BY 3.0 DE)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.4.3.3
URN: urn:nbn:de:0030-drops-92422
Go back to Dagstuhl Artifacts Series

Oostvogels, Nathalie ; De Koster, Joeri ; De Meuter, Wolfgang

Static Typing of Complex Presence Constraints in Interfaces (Artifact)

DARTS-4-3-3.pdf (0.3 MB)


This artifact is based on TypeScriptIPC, a statically typed programming language with interfaces in which complex presence constraints can be defined.
This enables developers to express inter-property constraints on interface properties.
The need for these inter-property constraints stems from web APIs, which often impose a complex "dependency logic" between properties.
For example, some properties may be mutually exclusive, or the presence of a property may depend on the presence of others, etc.
TypeScriptIPC is a variant of TypeScript, in which interfaces are extended to express constraints over multiple properties, using propositional logic.
This artifact contains documentation on how to build and run TypeScriptIPC, such that the code snippets from the paper can be run.

BibTeX - Entry

  author =	{Nathalie Oostvogels and Joeri De Koster and Wolfgang De Meuter},
  title =	{{Static Typing of Complex Presence Constraints in Interfaces (Artifact)}},
  pages =	{3:1--3:2},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2018},
  volume =	{4},
  number =	{3},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  doi =		{10.4230/DARTS.4.3.3},
  annote =	{Keywords: type system, interfaces, dependency logic}

Keywords: type system, interfaces, dependency logic
Collection: DARTS, Volume 4, Issue 3
Related Scholarly Article:
Issue Date: 2018
Date of publication: 05.07.2018

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI