3 papers
cs.PL2019
Language Support for Adaptation: Intent-Driven Programming in FAST
Yao-Hsiang Yang, Adam Duracz, Ferenc A. Bartha +7
Historically, programming language semantics has focused on assigning a precise mathematical meaning to programs. That meaning is a function from the program's input domain to its…
cs.PL2018
NOOP: A Domain-Theoretic Model of Nominally-Typed OOP
Moez AbdelGawad, Robert Cartwright
The majority of industrial-strength object-oriented (OO) software is written using nominally-typed OO programming languages. Extant domain-theoretic models of OOP developed to anal…
cs.PL2016
Domain Theory: An Introduction
Robert Cartwright, Rebecca Parsons, Moez AbdelGawad
This monograph is an ongoing revision of "Lectures On A Mathematical Theory of Computation" by Dana Scott. Scott's monograph uses a formulation of domains called neighborhood syste…