1559 search results - page 141 / 312 » Fundamentals of Generic Programming |
160
Voted
C3S2E
2008
ACM
15 years 4 months ago
2008
ACM
Software systems bridge the gap between information processing needs and available computer hardware. As system requirements grow in complexity and hardware evolves, the gap does ...
115
Voted
IOR
2008
15 years 3 months ago
2008
In 1958, Wagner and Whitin published a seminal paper on the deterministic uncapacitated lot-sizing problem, a fundamental model that is embedded in many practical production plann...
141
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
127
Voted
LADS
2007
Springer
15 years 9 months ago
2007
Springer
In agent theory and agent programming, goals constitute the motivational attitude of rational agents and form the key concept in explaining and generating their pro-active behavior...
113
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...