5415 search results - page 248 / 1083 » The Implementation of Functional Programming Languages |
80
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
135
Voted
FUIN
2010
15 years 3 days ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
133
Voted
DATESO
2007
15 years 4 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
111
Voted
HASKELL
2007
ACM
15 years 6 months ago
2007
ACM
We describe the design, implementation and use of HPC, a toolkit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record prog...
139
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...