Jes'us Manuel Almendros-Jim'enez Escuela Superior de Inform'atica, Univ....  Home/Search
Context
Related
| ualm.es/~jalmen/amast98.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: ualm.es/~jalmen/research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We propose an implementation of a functional logic language with parametric order sorted types by translating typed lazy narrowing into Prolog, and establishing a reasonable strategy of combination of data and type constraints solving. By means of this translation, we describe how types can be used at run-time to prune the search space of solutions of a goal. Moreover, we present type inference and checking compile-time tools for the language showing its usefulness for improving... (Update)
Similar documents (at the sentence level):
20.2%: Prolog Specification of Lazy Narrowing with Type Constraints - Jes'us Manuel (Correct)
Active bibliography (related documents): More All
1.1: Lazy Narrowing with Parametric Order Sorted Types - Almendros-Jiménez.. (Correct)
1.1: Lazy Type Checking in Functional Logic Programming - Almendros-Jiménez (Correct)
0.7: Type inference and checking for POS-typed functional logic .. - Almendros-Jiménez (1996) (Correct)
Similar documents based on text: More All
0.1: The LAST Project: Development of a Formal Method for.. - Jiménez, al. (Correct)
0.1: Declarative Programming with Real Constraints - Hortalá-González.. (1997) (Correct)
0.1: Genetic Inheritance - Lago, Artalejo (1996) (Correct)
BibTeX entry: (Update)
@article{ nez99improving,
author = "Jes{\'u}s Manuel Almendros-Jim{\'e}nez",
title = "Improving Computations in a Typed Functional Logic Language",
journal = "Lecture Notes in Computer Science",
volume = "1548",
pages = "438--454",
year = "1999",
url = "citeseer.ist.psu.edu/317518.html" }
Citations (may not include all citations):78 A Demand Driven Computation Strategy for Lazy Narrowing - Loogen, L'opez-Fraguas et al. - 1993
61 Logic Programming over Polymorphically Order-Sorted Types - Smolka - 1989
54 A Unified Computation Model for Functional and Logic Program.. (context) - Hanus - 1997
46 Types in Logic Programming (context) - Pfenning - 1992
41 Type Inference with Subtypes (context) - Fuh, Mishra - 1990
36 Principal Type Schemes for FunctionalPrograms with Overloadi.. - Smith - 1994
17 Type Inferencing for Polymorphic Order-Sorted Logic Programs - Beierle - 1995
17 Implementation of Narrowing: The Prolog-Based Approach - Cheong, Fribourg - 1993
14 SEKI-Report SR (context) - Smolka, version et al. - 1988
14 Ten Years of Logic Programming (context) - Hanus, of et al. - 1994
14 Combining Lazy Narrowing with Disequality Constraints (context) - Arenas-S'anchez, Gil-Luezas et al. - 1994
12 Run-Time Type Computations in the Warren Abstract Machine (context) - Beierle, Meyer - 1994
12 Parametric Order-Sorted Types in Logic Programming (context) - Hanus - 1991
7 A Semantics for Typed Logic Programming (context) - Hill, Topor - 1992
7 A Rewriting Logic for Declarative Programming - Gonz'alez-Moreno, Hortal'a-Gonz'alez et al. - 1996
5 A Higher Order Rewriting Logic for Functional Logic Programm.. (context) - Gonz'alez-Moreno, Hortal'a-Gonz'alez et al. - 1997
4 Algebraic Semantics for Functional Logic Programs with Polym.. (context) - Almendros-Jim'enez, Gavilanes-Franco et al. - 1996
3 Implementation and Applications of a Typed Logic Programming.. (context) - Beierle - 1995
3 Lazy Narrowing with Parametric OrderSorted Types (context) - Almendros-Jim'enez, Gil-Luezas - 1997
2 Steiner Curry: An Integrated Functional Logic Language (context) - Hanus, Antoy et al. - 1998
Documents on the same site (http://www.ualm.es/~jalmen/research.html): More
Lazy Type Checking in Functional Logic Programming - Almendros-Jiménez (Correct)
Type inference and checking for POS-typed functional logic .. - Almendros-Jiménez (1996) (Correct)
The LAST Project: Development of a Formal Method for.. - Jiménez, al. (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