3713 search results - page 223 / 743 » Constructing a Calculus of Programs |
132
Voted
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
A programming construct mixin was invented to implement uniform extensions and modifications to classes. Although mixin-based programming has been extensively studied both on the m...
108
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A method for evolving programs that construct multicellular structures (organisms) is described. The paper concentrates on the difficult problem of evolving a cell progra...
139
click to vote
DISOPT
2007
15 years 3 months ago
2007
This paper presents techniques for handling symmetries in integer linear programs where variables can take integer values, extending previous work dealing exclusively with binary v...
245
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
133
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...