Thomas Jensen | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙

Success!

An error occurred