7103 search results - page 243 / 1421 » Components and Generative Programming |
FROCOS
2005
Springer
14 years 4 months ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
ICSE
2010
IEEE-ACM
14 years 3 months ago
2010
IEEE-ACM
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
SIGSOFT
2009
ACM
14 years 11 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
SIGSOFT
1993
ACM
14 years 2 months ago
1993
ACM
1 Many software libraries (e.g., the Booch C++ Components, libg++, NIHCL, COOL) provide components (classes) that implement data structures. Each component is written by hand and r...
FOAL
2009
ACM
14 years 5 months ago
2009
ACM
Aspect-oriented programming (AOP) promises to localize concerns that inherently crosscut the primary structural decomposition of a software system. Localization of concerns is cri...