5090 search results - page 338 / 1018 » Constructing Strategies for Programming |
133
click to vote
ICSE
2009
IEEE-ACM
15 years 12 months ago
2009
IEEE-ACM
This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing, runtime checking, and static checking of object-oriente...
149
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
A linear programming algorithm is presented to constructively compute thermodynamically feasible fluxes and change in chemical potentials of reactions for a metabolic network. It...
128
click to vote
SAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resoluti...
116
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show ...
164
click to vote
HASKELL
2007
ACM
15 years 9 months ago
2007
ACM
We propose an extension to list comprehensions that makes it easy to express the kind of queries one would write in SQL using ORDER BY, GROUP BY, and LIMIT. Our extension adds exp...