Thomas Jensen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Philippa Gardner
7 publications
Alan Schmitt
3 publications
Martin Bodin
1 publication
Vincent Rébiscoul
1 publication

research

∙ 09/13/2023

Deriving Abstract Interpreters from Skeletal Semantics

This paper describes a methodology for defining an executable abstract i...

0 Thomas Jensen, et al. ∙

research

∙ 09/25/2018

Skeletal Semantics and their Interpretations

Many meta-languages have been proposed for writing rule-based operationa...

0 Martin Bodin, et al. ∙