From implementation to theory in product synthesis

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2007, Pages 135-136

  Batory, Don ^a  

^a University of Texas at Austin   (United States)

Author keywords

AHEAD; Category theory; Features; GenVoca; Mixins; Model driven design; Program synthesis; Virtual classes

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; PRODUCT DESIGN;

CATEGORY THEORY; MODEL DRIVEN DESIGN; PROGRAM SYNTHESIS; VIRTUAL CLASSES;

SOFTWARE ENGINEERING;

EID: 34548201222     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1190216.1190238     Document Type: Conference Paper

References (19)

1. D. Batory and S. O'Malley. "The Design and Implementation of Hierarchical Software Systems with Reusable Components". ACMTOSEM, October 1992.
2. D. Batory, C. Johnson, B. MacDonald, and D. von Heeder, "Achieving Extensibility Through Product-Lines and DomainSpecific Languages: A Case Study", ACM TOSEM, Vol 11#2, April 2002, 191-214.
3. D. Batory, J.N. Sarvela, and A. Rauschmayer. "Scaling Step-Wise Refinement", IEEE TSE, June 2004.
4. D. Batory, "From Implementation to Theory in Product Synthesis", Dept. Computer Sciences, University of Texas at Austin, TR-06-53, October 2006.
5. T. Biggerstaff and A. Perlis, Software Reusability Volume II: Applications and Experiences, Addison-Wesley, 1990.
6. G. Bracha and W. Cook. "Mixin-Based Inheritance". OOPSLA and ECOOP 1990.
7. E.F. Codd. "A Relational Model of Data for Large Shared Data Banks", CACM 13 (6), 1970.
8. H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, Springer-Verlag, 1990.
9. E. Ernst, "Higher Order Hierarchies", ECOOP 2003.
10. J. Goguen. "Principles of Parameterized Programming" in [S].
11. J. Goguen. "A Categorical Manifesto". Mathematical Structures in Computer Science, 1991.
12. J. Gray, "What Next? A Dozen Information-Technology Research Goals", Microsoft Research MSR-TR-99-50, 1999.
13. K. Kang, et al., "Feature-Oriented Domain Analysis (FODA) Feasibility Study", Tech Report CMU/SEI-90-TR-21.
14. K.K. Lau. "Top-down Synthesis of Sorting Algorithms", The Computer Journal, 1992.
15. O.L. Madsen and B. Maller-Pedersen, "Virtual Classes: A Powerful Mechanism in Object-Oriented Programming", OOPSLA 1989.
16. M. Odersky, et al. "An Overview of the Scala Programming Language". September 2004, scala. epfl. ch
17. D. Pavlovic and D.R. Smith. "Software Development by Refinement", UNU/IIST 10th Anniversary Colloquium, Formal Methods at the Crossroads: From Panaea to Foundational Support, Springer-Verlag LNCS 2757, 2003.
18. T. Reenskaug, et al. "OORASS: Seamless support for the creation and maintenance of object-oriented systems". Journal of Object-Oriented Programming, October 1992.
19. P. Selinger, M.M. Astrahan, D.D. Chamberlin, R.A. Lorie, and T.G Price. "Access Path Selection in a Relational Database System", ACMSIGMOD 1979.