Retrofitting the autobayes program synthesis system with concrete syntax

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3016, Issue , 2004, Pages 239-253

  Fischer, Bernd ^a   Visser, Eelco ^b  

^a Research Institute for Advanced Computer Science   (United States)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; CODES (SYMBOLS); CONCRETES; SYNTACTICS;

ABSTRACT REPRESENTATION; CONCRETE SYNTAX; CORE COMPONENTS; META PROGRAMMING; PROGRAM SYNTHESIS; SMOOTH MIGRATION; STATISTICAL DATA ANALYSIS; VARIABLE GENERATIONS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 21144451208     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25935-0_14     Document Type: Conference Paper

References (18)

1. W. Buntine, B. Fischer, and A. G. Gray. Automatic derivation of the multinomial PCA algorithm. Technical report, NASA/Ames, 2003. Available at http://ase.arc.nasa.gov/people/fischer/.
2. W. L. Buntine. Operations for learning with graphical models. JAIR, 2:159-225, 1994.
3. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. F. Quesada. Maude: specification and programming in rewriting logic. Theoretical Computer Science, 285(2):187-243, 2002.
4. J. R. Cordy, I. H. Carmichael, and R. Halliday. The TXL Programming Language, Version 8, April 1995.
5. A. van Deursen, J. Heering, and P. Klint, editors. Language Prototyping. An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. World Scientific, Singapore, September 1996.
6. B. Fischer, A. Hajian, K. Knuth, and J. Schumann. Automatic derivation of statistical data analysis algorithms: Planetary nebulae and beyond. Technical report, NASA/Ames, 2003. Available at http://ase.arc.nasa.gov/people/fischer/.
7. B. Fischer and J. Schumann. Applying autobayes to the analysis of planetary nebulae images. In J. Grundy and J. Penix, editors, Proc. 18th ASE, pages 337-342, Montreal, Canada, October 6-10 2003. IEEE Comp. Soc. Press.
8. B. Fischer and J. Schumann. AutoBayes: A system for generating data analysis programs from statistical models. JFP, 13(3):483-508, May 2003.
9. A. G. Gray, B. Fischer, J. Schumann, and W. Buntine. Automatic derivation of statistical algorithms: The EM family and beyond. In S. Becker, S. Thrun, and K. Obermayer, editors, NIPS 15, pages 689-696. MIT Press, 2003.
10. G. McLachlan and T. Krishnan. The EM Algorithm and Extensions. Wiley Series in Probability and Statistics. John Wiley & Sons, New York, 1997.
11. W. H. Press, B. P. Flannery, S. A. Teukolsky, and W. T. Vetterling. Numerical Recipes in C. Cambridge Univ. Press, Cambridge, UK, 2nd. edition, 1992.
12. M. G. J. van den Brand, J. Scheerder, J. Vinju, and E. Visser. Disambiguation filters for scannerless generalized LR parsers. In N. Horspool, editor, Compiler Construction (CC’02), volume 2304 of LNCS, pages 143-158, Grenoble, France, April 2002. Springer-Verlag.
13. E. Visser. Program transformation with Stratego/XT. Rules, strategies, tools, and systems in Stratego/XT 0.9. In this volume.
14. E. Visser. Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam, September 1997.
15. E. Visser. Meta-programming with concrete object syntax. In D. Batory, C. Consel, and W. Taha, editors, Generative Programming and Component Engineering (GPCE’02), volume 2487 of LNCS, pages 299-315, Pittsburgh, PA, USA, October 2002. Springer-Verlag.
16. E. Visser, Z.-e.-A. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. In Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP’98), pages 13-26. ACM Press, September 1998.
17. M. Whalen, J. Schumann, and B. Fischer. Synthesizing certified code. In L.-H. Eriksson and P. A. Lindsay, editors, Proc. FME 2002: Formal Methods-Getting IT Right, volume 2391 of LNCS, pages 431-450, Copenhagen, Denmark, July 2002. Springer.
18. J. Wielemaker. SWI-Prolog 5.2.9 Reference Manual. Amsterdam, 2003.