Static Typing of Complex Presence Constraints in Interfaces (Artifact)

Authors Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter



PDF
Thumbnail PDF

Artifact Description

DARTS.4.3.3.pdf
  • Filesize: 299 kB
  • 2 pages

Document Identifiers

Author Details

Nathalie Oostvogels
Joeri De Koster
Wolfgang De Meuter

Cite As Get BibTex

Nathalie Oostvogels, Joeri De Koster, and Wolfgang De Meuter. Static Typing of Complex Presence Constraints in Interfaces (Artifact). In Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Dagstuhl Artifacts Series (DARTS), Volume 4, Issue 3, pp. 3:1-3:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018) https://doi.org/10.4230/DARTS.4.3.3

Artifact

  MD5 Sum: b47a983b7b1fa9fd070c36863bf83435 (Get MD5 Sum)

Abstract

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.

Subject Classification

Keywords
  • type system
  • interfaces
  • dependency logic

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail