Toggle navigation
pkoerner cases
Home
Archives
Teaching
My Publications
RSS
January 1, 2000
Authors
Venue
Bibtex
Available at:
Springer (DOI)
About
Related
Tags:
publications
« Evaluating Interpreter Design in Prolog
Profiles
Pages
Recent Posts
A case for data-oriented specifications: simpler implementation of B tools and DSLs
Bi-Directional DSL Transformation Using miniKanren
Runtime Evaluation of Prolog Data Structures
Tags
publications
tools
case study
Code Generation
Evaluation
types
model checking
modelling
constraint solving
C
Survey
B
Clojure
Prolog
teaching
lisb
miniKanren
Model Checking
ProB
LTSmin
Java
survey
