Titlebook: Domain-Specific Languages; IFIP TC 2 Working Co Walid Mohamed Taha Conference proceedings 2009 IFIP International Federation for Informatio

Custodian

Rosalba D’Onofrio,Elio Trusianinations of how and why those results were obtained. We posit that if users are to understand computations produced by a language, that language should provide explanations to the user..As an example of such an explanation-oriented language we present a domain-specific language for explaining probabi

手勢(shì)

Rosalba D’Onofrio,Elio Trusianiation of side effects. We use these techniques to build a DSL for ., for expressing countable probabilistic models and performing exact inference and importance sampling on them. Our language is embedded as an ordinary OCaml library and represents probability distributions as ordinary OCaml programs

Ascendancy

Maintainability and Developmenteneration system Spiral beyond the transform domain. Using OL, we show how to automatically generate library functionality for the fast Fourier transform and multiple non-transform kernels, including matrix-matrix multiplication, synthetic aperture radar (SAR), circular convolution, sorting networks

墊子