The Temporal Logic Sugar
No abstract available.
Related papers
- Resugaring: lifting evaluation sequences through syntactic sugar PLDI 2014
- Inferring type rules for syntactic sugar PLDI 2018
- Semantics Lifting for Syntactic Sugar OOPSLA 2024
- SugarJ: library-based syntactic language extensibility OOPSLA 2011
- Localizing Type Errors for Syntactic Sugar by Lifting OOPSLA 2026
- Inferring scope through syntactic sugar ICFP 2017
- Slimming languages by reducing sugar: a case for semantics-altering transformations Onward! 2015
- Ground Temporal Logic: A Logic for Hardware Verification CAV 1994