Sophie Adeline Solheim Bosio

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Programming Language

Programs Written

Database Language

Object Oriented Concepts

Top Venues

Publications

Triera Gashi, Sophie Adeline Solheim Bosio, Joachim Tilsted Kristensen, Michael Kirkedal Thomsen
pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation. CoRR (2023)