Skip to content

LiFtEr: the final version for APLAS2019 for Isabelle2019

Pre-release
Pre-release

Choose a tag to compare

View all tags
@yutakang yutakang released this 27 Aug 21:04
· 811 commits to master since this release
v0.1.4-alpha
83f26d5

This version contains a working prototype of LiFtEr.
The source code is compatible with Isabelle2019.

Our paper submitted at The 17th Asian Symposium on Programming Languages and Systems (APLAS2019) presents the concept of LiFtEr through examples.

One can find the examples used in the paper in the following files:

  • LiFtEr/Example/Concrete_Semantics/Induction_Demo.thy,
  • LiFtEr/Example/Concrete_Semantics/ASM.thy, and
  • LiFtEr/Example/IMP2/basic/Semantics.thy
Assets 2
Loading