Programming in JoCaml (Tool Demonstration)
No abstract available.
Related papers
- The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration TACAS 2001
- Metamodeling Made Easy - MetaEdit+ (Tool Demonstration) GPCE 2005
- The CGiS Compiler-A Tool Demonstration CC 2006
- Tool Demonstration: Finding Duplicated Code Using Program Dependences ESOP 2001
- The FC2TOOLS Set (Tool Demonstration) TACAS 1996
- CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS TACAS 2001
- QuickSpec: a lightweight theory exploration tool for programmers (system demonstration) Haskell 2017
- Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration) GPCE 2015