Language design and implementation for the domain of coding conventions
No abstract available.
Related papers
- Generating safe boundary APIs between typed EDSLs and their environments GPCE 2015
- D2X: An eXtensible conteXtual Debugger for Modern DSLs CGO 2023
- Portable parallel performance from sequential, productive, embedded domain-specific languages PPoPP 2012
- CN: Verifying Systems C Code with Separation-Logic Refinement Types POPL 2023
- Compiler prototyping using formal semantics PLDI 1984
- The Java Syntactic Extender OOPSLA 2001
- Compiling for automatically generated instruction set extensions CGO 2012
- Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented Languages OOPSLA 1993