1613 search results - page 30 / 323 » Functional and Constraint Logic Programming |
190
Voted
COMPSAC
2011
IEEE
14 years 3 months ago
2011
IEEE
153
Voted
POPL
1997
ACM
15 years 7 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
128
Voted
PADL
2000
Springer
15 years 7 months ago
2000
Springer
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
158
Voted
EUSFLAT
2009
15 years 1 months ago
2009
This paper uses a constraint set approach to linear programming problems with equality constraints whose coefficients and/or right-hand side values could be uncertain. We consider ...
125
Voted
ENTCS
2006
15 years 3 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...