14 citations · 30 across the 15 of their papers we have counts for
Showing 2007Show all
2 papers · 1 filter
cs.PL2007
Compiling ER Specifications into Declarative Programs
Bernd Braßel, Michael Hanus, Marion Muller
This paper proposes an environment to support high-level database programming in a declarative programming language. In order to ensure safe database updates, all access and update…
cs.PL2007
A Generic Analysis Environment for Curry Programs
Michael Hanus
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application…