Skip to content
GO TO EUDAT WEBSITE
DATA CATALOGUE
REPOSITORIES
PROJECTS
ABOUT
Service Documentation
EUDAT Core Metadata Schema
EUDAT Support Request
Home
Datasets
Order by
Relevance
Name Ascending
Name Descending
Last Modified
Go
1 dataset found
Keywords:
Task Oriented Programming
Filter Results
Source code for the symbolic TopHat execution engine
Source code accompanying the paper: Naus, N., Steenvoorden, T.J. & Klinik, M.A.A. (2019). A symbolic execution semantics for TopHat. In J. Stutterheim (Ed.), IFL'19: The 31st...
You can also access this registry using the
API
(see
API Docs
).