A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios
| Title: | A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios |
|---|---|
| Authors: | Esterhuyse, Christopher A.; Müller, Tim; van Binsbergen, L. Thomas |
| Source: | Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. :80-93 |
| Availability: | http://dl.acm.org/doi/10.1145/3742876.3742882 |
| Database: | ACM Full-Text Collection |