Research output

  1. Static typing of complex presence constraints in interfaces

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  2. Dynamic Verification of Inter-parameter Constraints in Web Applications

    Research output: Unpublished contribution to conferencePoster

  3. Dynamic Verification of Inter-parameter Constraints in Web Applications

    Research output: Unpublished contribution to conferenceUnpublished paper

View all (6) »

Activities

  1. Static Typing of Complex Presence Constraints in Interfaces

    Activity: Talk or presentationTalk or presentation at a conference

  2. European Conference on Object-Oriented Programming (ECOOP 2018)

    Activity: Participating in or organising an eventParticipation in conference

  3. When the Specification Fails: Documenting Inter-Parameter Constraints

    Activity: Talk or presentationTalk at a public lecture/debate

View all (12) »

ID: 127310