Sandro Etalle, Pieter H. Hartel, William G. Vree  Home/Search
Context
Related
| dsse.ecs.soton.ac....ssetr9812.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: dsse.ecs.soton.ac.uk/techrepor... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The problem of partitioning grid-based applications for parallel computing can be solved easily and intuitively in a logic programming language such as Prolog, using only the single assignment property of the logic variable, and not the backtracking. (Update)
Similar documents (at the sentence level):
37.2%: Declarative Solutions to Partitioned-Grid Problems - Hartel, Vree (1994) (Correct)
Active bibliography (related documents): More All
0.9: Storm surge forecasting using Kalman filtering - Heemink, Bolding, Verlaan (1995) (Correct)
0.5: A Toolkit for Parallel Functional Programming - Hartel, Hofman, Langendoen.. (1995) (Correct)
0.5: Translating Logic Programs Into Conditional Rewriting Systems - van Raamsdonk (1998) (Correct)
Similar documents based on text: More All
0.8: Experiments With Destructive Updates in a Lazy Functional.. - Hartel, Vree (1994) (Correct)
0.6: Arrays in a Lazy Functional Language - a case study: the Fast.. - Hartel, Vree (1992) (Correct)
0.5: Experimenting With Linear Search - In Encrypted Data (Correct)
BibTeX entry: (Update)
@article{ etalle98declarative,
author = "Sandro Etalle and Pieter H. Hartel and Willem G. Vree",
title = "Declarative solutions to partitioned-grid problems",
year = "1998",
url = "citeseer.ist.psu.edu/etalle98declarative.html" }
Citations (may not include all citations):258 Miranda: A non-strict functional language with polymorphic t.. (context) - Turner - 1985
254 The integration of functions into logic programming: From th.. (context) - Hanus - 1994
146 The Glasgow Haskell compiler: a technical overview - Jones, Hall et al. - 1993
66 Attribute grammars as a functional programming paradigm - Johnsson
63 functional language with state (context) - Barth, Nikhil et al.
55 A framework of directionality for proving termination of log.. (context) - Bronsard, Lakshman et al. - 1992
54 SICStus Prolog Users's Manual (context) - Carlsson, Wid'en et al. - 1993
53 Using circular programs to eliminate multiple traversals of .. (context) - Bird - 1984
48 the unification free Prolog programs - Apt, Etalle - 1993
34 The execution algorithm of mercury: an efficient purely decl.. - Somogyi, Henderson et al. - 1996
29 The relation between logic and functional languages: A surve.. (context) - Bellia, Levi - 1986
29 Termination proofs of Well-Moded logic programs via conditio.. (context) - Ganzinger, Waldmann - 1992
28 Transformation of logic programs into functional programs (context) - Reddy - 1984
24 Compilation of functional languages using flow graph analysi.. - Hartel, Glaser et al. - 1994
24 Functional programs as executable specifications (context) - Turner - 1984
21 Domain based parallelism and problem decomposition methods i.. (context) - Keyes, Saad et al. - 1995
19 IStructures: Data structures for parallel computing (context) - Arvind, Nikhil - 1989
18 Computation Structures Group Memo (context) - Nikhil, reference - 1991
18 Computation Structures Group Memo (context) - Nikhil, Hicks et al. - 1995
15 Logic programs as term rewriting systems - Marchiori - 1994
7 The grain size of parallel computations in a functional prog.. (context) - Vree - 1987
7 The functional side of logic programming - Marchiori - 1995
6 Storm surge prediction using Kalman filtering (context) - Heemink - 1986
6 A toolkit for parallel functional programming - Hartel, Hofman et al.
5 Experiments with destructive updates in a lazy functional la.. - Hartel, Vree
5 Domain decomposition methods for partial differential equati.. (context) - Meurant - 1988
5 Accumulators: New logic variable abstractions for functional.. (context) - Pingali, Ekanadham
4 European ComputerIndustry Research Centre (context) - Meier, in et al. - 1995
4 the construction of computational methods for shallow water .. (context) - Stelling
4 Stochastic modelling of dispersion in shallow water (context) - Heemink - 1990
3 Declarative programming for mathematical exploration (context) - Knott - 1991
3 Real-time functional queue operations using the logic variab.. (context) - Clocksin - 1983
3 Translating logic programs into conditional rewriting system.. - van Raamsdonk - 1997
2 Finite difference methods for solving partial differential e.. (context) - van der Houwen - 1968
Documents on the same site (http://www.dsse.ecs.soton.ac.uk/techreports/1998/): More
Using Refinement to Analyse the Safety of an Authentication.. - Butler (1998) (Correct)
Programming by Numbers: A programming method for novices - Glaser, Hartel, Garratt (1998) (Correct)
An operational model of QuickPay - Hartel, Hill, Sims (1998) (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