Search
for Author
All Reviews
Hanus, Michael
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
4
of
4
reviews
Transforming Boolean equalities into constraints
Antoy S., Hanus M. Formal Aspects of Computing 29(3): 475-494, 2017. Type: Article
In declarative programming languages, a variable is a symbol representing a value determined by computational rules rather than a space in memory. The two main forms of declarative languages are functional and logic. In functional lang...
...
Sep 13 2017
A generic analysis environment for declarative programs
Hanus M. Curry and functional logic programming (Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, Sep 29, 2005) 43-48, 2005. Type: Proceedings
The Curry programming language is a declarative combination of functional, logic, and concurrent programming paradigms. The CurryBrowser is an analyzer and visualizer for compiled Curry programs. Analyses can be done per function (loca...
...
Apr 13 2006
Conditional narrowing without conditions
Antoy S., Brassel B., Hanus M. Principles and practice of declaritive programming (Proceedings of the 5th ACM SIGPLAN international conference, Uppsala, Sweden, Aug 27-29, 2003) 20-31, 2003. Type: Proceedings
Functional logic programming integrates the best features of the functional and logic programming paradigms into a single framework. This multi-paradigm approach usually considers term rewriting systems as programs, and some variant of...
...
Nov 4 2003
A unified computation model for functional and logic programming
Hanus M. Principles of programming languages (Proceedings of the 24th ACM SIGPLAN-SIGACT symposium, Paris, France, Jan 15-17, 1997) 80-93, 1997. Type: Proceedings
The most popular declarative programming paradigms, namely functional and logic programming, have many useful features that ease the software development process. Logic programming supports logical variables, partial data structures, ...
...
Nov 13 2002
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy