Specification of a Tool for Viewing Program Text
Abstract elided by the publisher.
Related papers
- Messir: a text-first DSL-based approach for UML requirements engineering (tool demo) SLE 2018
- A context-free markup language for semi-structured text PLDI 2010
- Interleaving of Modification and Use in Data-driven Tool Development Onward! 2014
- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties TACAS 2018
- M3V: Multi-modal Multi-view Context Embedding for Repair Operator Prediction CGO 2022
- Enabling Navigability of Programming Language Specifications: A Case of ECMAScript (JavaScript) Standard Library Specification SLE 2026
- Full text of all questions submitted HOPL 1978
- Full text of all questions submitted HOPL 1978