4719 search results - page 477 / 944 » Spreadsheet functional programming |
203
click to vote
ACL2
2006
ACM
16 years 10 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
163
click to vote
IFL
2003
Springer
15 years 11 months ago
2003
Springer
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...
167
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
We consider the problem of enumerating all minimal integer solutions of a monotone system of linear inequalities. We first show that for any monotone system of r linear inequaliti...
135
click to vote
PPDP
2001
Springer
15 years 10 months ago
2001
Springer
Cyclic data structures can be tricky to create and manipulate in declarative programming languages. In a declarative setting, a natural way to view cyclic structures is as denotin...
132
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...