DiaSuite: A paradigm-oriented software development approach

PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Volumn , Issue , 2011, Pages 77-78

  Consel, Charles ^a  

^a UNIVERSITÉ DE BORDEAUX   (France)

Author keywords

Declarative languages; Program analysis; Program generation; Programming support

Indexed keywords

ABSTRACTION LAYER; DECLARATIVE LANGUAGES; DESIGN FRAMEWORKS; HIGH-LEVEL PROGRAMMING; PROGRAM ANALYSIS; PROGRAM GENERATION; PROGRAMMING SUPPORT; SOFTWARE DEVELOPMENT APPROACH;

ABSTRACTING; AUTOMATIC PROGRAMMING; HIGH LEVEL LANGUAGES;

SOFTWARE DESIGN;

EID: 79952154324     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1929501.1929515     Document Type: Conference Paper

References (10)

1. T. Amtoft, C. Consel, O. Danvy, and C. Malmkjoer. The Abstraction and Instantiation of String-Matching Programs. In The Essence of Computation, number 2566, pages 367-390. Lecture Notes in Computer Science, 2002.
2. S. Bhatia, C. Consel, A.-F. Le Meur, and C. Pu. Automatic Specialization of Protocol Stacks in OS kernels. In Proceedings of the 29th Annual IEEE Conference on Local Computer Networks, Tampa, Florida, Nov. 2004. Awarded best paper.
3. D. Cassou, E. Balland, C. Consel, and J. Lawall. Leveraging Architectures to Guide and Verify Development of Sense/Compute/Control Applications. In Proceedings of the 33rd International Conference on Software Engineering (ICSE'11). ACM, 2011.
4. D. Cassou, B. Bertran, N. Loriant, and C. Consel. A Generative Programming Approach to Developing Pervasive Computing Systems. In Proceedings of the Eighth International Conference on Generative Programming and Component Engineering, pages 137-146. ACM, 2009.
5. C. Consel and O. Danvy. Tutorial Notes on Partial Evaluation. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 493-501. ACM, 1993. (Pubitemid 23631620)
6. S. Gatti, E. Balland, and C. Consel. A Step-wise Approach for Integrating QoS throughout Software Development. Technical report, INRIA, 2010.
7. D. McNamee, J. Walpole, C. Pu, C. Cowan, C. Krasic, A. Goel, P. Wagle, C. Consel, G. Muller, and R. Marlet. Specialization Tools and Techniques for Systematic Optimization of System Software. ACM Transactions on Computer Systems, 19(2):217-251, May 2001. (Pubitemid 33602323)
8. J. Mercadal, Q. Enard, C. Consel, and N. Loriant. A Domain-Specific Approach to Architecturing Error Handling in Pervasive Computing. In Proceedings of the ACM international conference on Object Oriented Programming Systems Languages and Applications (OOPSLA' 10). ACM, 2010.
9. M. Moriconi, X. Qian, and R. Riemenschneider. Correct Architecture Refinement. IEEE Transactions on Software Engineerin, 21(4):356-372, 2002.
10. R. N. Taylor, N. Medvidovic, and E. M. Dashofy. Software Architecture: Foundations, Theory, and Practice. Wiley, 2009.