Monto: A Disintegrated Development Environment
Abstract elided by the publisher.
Related papers
- The IDE portability problem and its solution in Monto SLE 2016
- Symbolic Disintegration with a Variety of Base Measures TOPLAS 2020
- Exact Bayesian inference by symbolic disintegration POPL 2017
- Symbolic conditioning of arrays in probabilistic programs ICFP 2017
- Resolving feature convolution in middleware systems OOPSLA 2004
- The Proof Assistant as an Integrated Development Environment APLAS 2013
- Adding Relational Query Facilities to Software Development Environments ESOP 1988
- Integrated Graphics Environment to Develop Applications Based on Attribute Grammars CC 1992