A generic analysis environment for declarative programs

Hanus, Michael

doi:10.1145/1085099.1085108

Cited by 6 publications

(12 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There, HTML terms are represented as data structures containing event handlers associated to submit buttons and logic variables referring to user inputs in web pages that are passed to event handlers. These high-level APIs have been used in various applications, e.g., to implement web-based learning systems [52], constructing webbased interfaces for arbitrary applications [49] (there, the effectiveness of the multi-paradigm declarative programming style is demonstrated by a SuDoku solver with a web-based interface where the complete program consists of 20 lines of code), graphical programming environments [48,54], and documentation tools [46]. Furthermore, there are proposals to use multi-paradigm languages for high-level distributed programming [42,85], programming of embedded systems [50,51], object-oriented programming [53,82], or declarative APIs to databases [32,47].…”

Section: Applicationsmentioning

confidence: 99%

Multi-paradigm Declarative Languages

Hanus¹

Logic Programming

Self Cite

View full text Add to dashboard Cite

Abstract. Declarative programming languages advocate a programming style expressing the properties of problems and their solutions rather than how to compute individual solutions. Depending on the underlying formalism to express such properties, one can distinguish different classes of declarative languages, like functional, logic, or constraint programming languages. This paper surveys approaches to combine these different classes into a single programming language.

show abstract

Section: Applicationsmentioning

confidence: 99%

Multi-paradigm Declarative Languages

Hanus¹

Logic Programming

Self Cite

View full text Add to dashboard Cite

show abstract

“…The result is either the analysis information computed for this module or an error message in case of some execution error. This access to CASS is used in the documentation generator CurryDoc [13] to describe some operational aspects of functions (e.g., pattern completeness, non-determinism, solution completeness), the Curry compiler KiCS2 [8] to get information about the determinism and higher-order status of functions, the non-determinism optimizer described in [15] to obtain information about demanded arguments and non-deterministic functions, and in the CurryBrowser [14], which allows the user to browse through the modules of a Curry application and apply and visualize various analyses for each module or function. The server mode of CASS is used in a recently developed Eclipse plug-in for Curry [26] which also supports the visualization of analysis results inside Eclipse.…”

Section: Api Modementioning

confidence: 99%

“…For instance, CurryDoc [13] is an automatic documentation tool for the functional logic language Curry that analyzes Curry programs to document various operational aspects, like the non-determinism behavior or completeness issues. CurryBrowser [14] is an interactive analysis environment that unifies various program analyses in order to reason about Curry applications. KiCS2 [8], a recent implementation of Curry that compiles into Haskell, includes an analyzer to classify higher-order and deterministic operations in order to support their efficient implementation which results in highly efficient target programs.…”

Section: Introductionmentioning

confidence: 99%

A modular and generic analysis server system for functional logic programs

Hanus

Skrlac

2014

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Self Cite

View full text Add to dashboard Cite

We present the design, implementation, and application of a system, called CASS, for the analysis of functional logic programs. The system is generic so that various kinds of analyses (e.g., groundness, non-determinism, demanded arguments) can be easily integrated. In order to analyze larger applications consisting of dozens or hundreds of modules, CASS supports a modular and incremental analysis of programs. Moreover, it can be used by different programming tools, like documentation generators, analysis environments, program optimizers, as well as Eclipse-based development environments. For this purpose, CASS can also be invoked as a server system to get a language-independent access to its functionality. CASS is completely implemented in the functional logic language Curry as a master/worker architecture to exploit parallel or distributed execution environments.

show abstract

“…Since the structure of UI elements is very similar to the elements of the Curry library GUI, which has been already used for various applications (e.g., [11,16,23]), one can also use our concept of UIs to enable the execution of such GUI-based desktop applications as web applications. For this purpose, we have also implemented a library GUI2HTML that provides the same interface as the library GUI but executes a GUI as a WUI by exploiting the library UI2HTML.…”

Section: Transforming Guis Into Wuismentioning

confidence: 99%

“…For this purpose, we have also implemented a library GUI2HTML that provides the same interface as the library GUI but executes a GUI as a WUI by exploiting the library UI2HTML. For instance, we have used this implementation to execute the Curry analysis environment CurryBrowser (its implementation consists of almost 4000 lines of Curry code), which is written in Curry and has a quite advanced graphical user interface (see [11]), in a standard web browser. The only necessary change was the replacement of the import of the library GUI by the import of the library GUI2HTML in the source code of the CurryBrowser implementation.…”

Section: Transforming Guis Into Wuismentioning

confidence: 99%

Declarative Programming of User Interfaces

Hanus

Kluß

2008

Practical Aspects of Declarative Languages

Self Cite

View full text Add to dashboard Cite

Abstract. This paper proposes a declarative description of user interfaces that abstracts from low-level implementation details. In particular, the user interfaces specified in our framework are executable as graphical user interfaces for desktop applications as well as web user interfaces via standard web browsers. Thus, our approach combines the advantages of existing user interface technologies in a flexible way without demands on the programmer's side. We sketch an implementation of this concept in the declarative multi-paradigm programming language Curry and show how the integrated functional and logic features of Curry are exploited to enable a high-level implementation of this concept. MotivationThe implementation of a good user interface for application programs is a necessary but often non-trivial and tedious task. In order to support programmers in the implementation of user interfaces, one can find specific libraries that reflect different approaches to the construction of user interfaces. From a user's perspective, there are two kinds of user interfaces (UIs) that are currently the most important ones on conventional desktop computers:Graphical User Interfaces (GUIs): These are user interfaces that followed the early textual user interfaces on single host computers. GUIs enabled non-expert users to easily interact with application programs. They provide a good reaction time (since they run on the local host) and are relatively easy to install as any other program, i.e., usually they are distributed with the executable of the application program. On the negative side, application programs with GUIs require some installation efforts if many users want to use them on their desktops, because one has to install them on all desktops that might have different configurations or operating systems. Moreover, they are difficult to maintain during their life time since updates must be performed on all existing installations. Web User Interfaces (WUIs):These are user interfaces that became popular with the world-wide web and its opportunities for user interaction via dynamic web pages. In this case, the application runs on a web server and the user interacts with the application via a standard web browser. Thus, applications with WUIs are relatively easy to install for many users since every single user needs only a web browser on ⋆ This work was partially supported by the German Research Council (DFG) under grant Ha 2457/5-2.his local host (which is usually already installed). Moreover, such applications are easy to maintain since one has to update the central installation on the web server only. On the negative side, WUIs have a moderate reaction time (since the web server is contacted for every state-changing interaction) and a complete application is more difficult to install on a single host (since one has to install and configure a web server).A few years ago, there was also another important difference between GUIs and WUIs: the model of interaction. In application with GUIs, the user could immediately cha...

show abstract

A generic analysis environment for declarative programs

Cited by 6 publications

References 22 publications

Multi-paradigm Declarative Languages

Multi-paradigm Declarative Languages

A modular and generic analysis server system for functional logic programs

Declarative Programming of User Interfaces

Contact Info

Product

Resources

About