4719 search results - page 29 / 944 » Spreadsheet functional programming |
140
Voted
VSTTE
2012
Springer
13 years 10 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
100
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
Integration of large databases by expert teams is only a small part of the data integration activities that take place. Users without data integration expertise very often gather,...
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
206
click to vote
Book
"Design patterns inspired by functional programming concepts can advance object-oriented design. This thesis promotes the idea that concepts from the world of functional progr...
APLAS
2005
ACM
15 years 8 months ago
2005
ACM