Search Sciweavers | Sciweavers

257 search results - page 4 / 52

» Programming with narrowing: A tutorial

ICCS
2005
Springer

149views Applied Computing» more ICCS 2005»

Introducing Design Patterns, Graphical User Interfaces and Threads Within the Context of a High Performance Computing Applicatio

14 years 1 months ago

Download cs.anu.edu.au

The cross fertilization of methods and techniques between different subject areas in the undergraduate curriculum is a challenge, especially at the more advanced levels. This paper...

James Roper, Alistair P. Rendell

claim paper

Read More »

click to vote

PPDP
2004
Springer

133views Programming Languages» more PPDP 2004»

A lazy narrowing calculus for declarative constraint programming

14 years 1 months ago

Download gpd.sip.ucm.es

The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...

Francisco Javier López-Fraguas, Mario Rodr&...

claim paper

Read More »

click to vote

PLILP
1995
Springer

170views Programming Languages» more PLILP 1995»

A Complete Narrowing Calculus for Higher-Order Functional Logic Programming

13 years 11 months ago

Download www2.score.cs.tsukuba.ac.jp

Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...

Koichi Nakahara, Aart Middeldorp, Tetsuo Ida

claim paper

Read More »

click to vote

PPDP
2004
Springer

97views Programming Languages» more PPDP 2004»

New completeness results for lazy conditional narrowing

14 years 1 months ago