4719 search results - page 507 / 944 » Spreadsheet functional programming |
192
click to vote
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
15 years 4 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...
274
Voted
POPL
2004
ACM
16 years 6 months ago
2004
ACM
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
156
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
172
Voted
TLCA
2009
Springer
16 years 21 days ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
151
click to vote
ECBS
2006
IEEE
16 years 6 days ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...