Software Documentation and the Verification Process
No abstract available.
Related papers
- We should stop claiming generality in our domain-specific language papers (extended abstract) Onward! 2018
- A chrestomathy of DSL implementations SLE 2017
- On the Rise of Modern Software Documentation (Pearl/Brave New Idea) ECOOP 2023
- Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing SAS 2013
- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) TACAS 2022
- Interpreting ABF - a language for document construction PLDI 1987
- Software evolution and the moving picture metaphor OOPSLA 2009
- Using document-oriented GUIs in dynamic software product lines GPCE 2013