2026-07-22T11:59:03Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9242 2024-03-06T11:05:03Z ddc:004 open_access

Static Typing of Complex Presence Constraints in Interfaces (Artifact) Oostvogels, Nathalie De Koster, Joeri De Meuter, Wolfgang type system interfaces dependency logic 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Nathalie Oostvogels and Joeri De Koster and Wolfgang De Meuter 2018 Is Part Of DARTS, Volume 4, Issue 3, Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.4.3.3 urn:nbn:de:0030-drops-92422 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.3 eng https://creativecommons.org/licenses/by/3.0/de/legalcode