Published August 12, 2024 | Version v1.0.0
Software Open

inLabFIB/imp-logics-demo: v1.0.0

Authors/Creators

  • 1. ROR icon Universitat Politècnica de Catalunya

Description

This is the release of the Demo used for the paper "IMP-Logics: a metamodel for analysis and transformations of Datalog programs", to be presented at MODELS'24, demo track

Files

inLabFIB/imp-logics-demo-v1.0.0.zip

Files (688.4 kB)

Name Size Download all
md5:45634d14080832385194bab36476d8a9
688.4 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/inLabFIB/imp-logics-demo/tree/v1.0.0 (URL)

Dates

Available
2024-08-12

Software

Programming language
Java