Published March 8, 2024
| Version v1
Software
Open
Reproduction Package for `A Constraint Solving Approach to Parikh Images of Regular Languages'
-
1.
Uppsala University
-
2.
University of Regensburg
Description
This is a reproduction and software package for A Constraint Solving Approach to Parikh Images of Regular Languages,
published in OOPSLA 2024. For more information, see Artifact Overview.md.
It contains all software developed for the paper, as well as Jupyter notebooks for analysing experiments and relevant scripts for building them.
Files
catra-0.1.5.zip
Files
(3.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:3ae1142327c16635d423dad5c5fbe0d3
|
12.6 MB | Preview Download |
|
md5:49ac95c0c633515fc0aac711dc691d47
|
3.1 GB | Preview Download |
Additional details
Related works
- Documents
- Conference paper: 10.1145/3649855 (DOI)
Software
- Repository URL
- https://github.com/amandasystems/catra/
- Programming language
- Scala
- Development Status
- Active