Wolfgang Lux  Home/Search
Context
Related
| dsic.upv.es/~wflp2000/paper31.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dsic.upv.es/~wflp2000/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Logic languages have been extended in two different routes. (Update)
Similar documents (at the sentence level):
40.8%: Adding Linear Constrains over Real Numbers to Curry - Lux (2000) (Correct)
Active bibliography (related documents): More All
0.3: SALSA: A Language for Search Algorithms - Laburthe, Caseau (1998) (Correct)
0.3: An Implementation of Narrowing Strategies - Antoy, Hanus, Massey, Steiner (2001) (Correct)
0.2: Programming with Narrowing - Sergio Antoy Computer (Correct)
Similar documents based on text: More All
0.4: Adding Type Classes to Functional-logic Languages - Moreno-Navarro.. (1996) (Correct)
0.3: I+: A Multiparadigm Language for Object-Oriented Declarative.. - Ng, Luk (1995) (Correct)
0.3: Semantics of a Functional-Logic Language - To Ulo (Correct)
BibTeX entry: (Update)
@misc{ lux-adding,
author = "Wolfgang Lux",
title = "Adding Linear Constrains over Real Numbers to Curry",
url = "citeseer.ist.psu.edu/487146.html" }
Citations (may not include all citations):271 The Oz programming model - Smolka - 1995
257 Report on the programming language Haskell (context) - Hudak, Jones et al. - 1992
244 Imperative functional programming - Jones, Wadler - 1993
87 Narrowing as the operational semantics of functional languag.. (context) - Reddy - 1985
36 Opening the Prolog III universe (context) - Colmerauer - 1987
26 Parallel evaluation strategies for functional logic language.. - Antoy, Echahed et al. - 1997
20 Le Fun: Logic (context) - t-Kaci, Lincoln et al. - 1987
6 language and system (context) - Ja, Michaylov et al. - 1990
4 Implementing encapsulated search for a lazy functional logic.. (context) - Lux - 1999
3 Controlling search in functional logic programs (context) - Hanus, Steiner - 1998
2 Declarative programming with real constraints - Hortal, alez et al. - 1997
2 rwth-aachen (context) - An, logic et al. - 2000
Documents on the same site (http://www.dsic.upv.es/~wflp2000/): More
List-Processing Optimizations in Curry - Albert, Ferri, Steiner, Vidal (2000) (Correct)
Compiler Construction in a Functional Setting - Pena (1997) (Correct)
The Reflective Design of Maude's Module Algebra - Durán (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC