2777 search results - page 199 / 556 » Example centric programming |
116
click to vote
KBSE
2006
IEEE
15 years 6 months ago
2006
IEEE
Aspect-Oriented Programming (AOP) has been proposed in literature to overcome modularization shortcomings such as the tyranny of the dominant decomposition. However, the new langu...
131
click to vote
EMSOFT
2011
Springer
14 years 17 days ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
166
Voted
PEPM
2007
ACM
16 years 11 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
198
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
217
Voted
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
Refactoring tools allow the programmer to pretend they are working with a richer language where the behaviour of a program is automatically preserved during restructuring. In this ...