The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Filters
Parallelism in sequential functional languages
1995
Proceedings of the seventh international conference on Functional programming languages and computer architecture - FPCA '95
Preserved Fulltext
This paper formally studies the question of how much paral- ...
But for type inference to terminate, only special forms of recursion can be used, such as those of the Bird-Meertens formalism. ...
Skillicorn [43] also introduced cost measures specified in terms of work and steps for a data-parallel language based on the Bird-Meertens formalism. ...
doi:10.1145/224164.224210
dblp:conf/fpca/BlellochG95
fatcat:7d56ebwfungfzocsefztxr3h74
"Bagatelle in C arranged for VDM SoLo"
2001
Journal of universal computer science (Online)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The latter include code slicing, a "shortcut" which trims down the complexity of handling the formal semantics of all program variables at the same time. ...
This paper sketches a reverse engineering discipline which combines formal and semi-formal methods. ...
The use of VDMTools R under a Free Academic Site License provided by IFAD is gratefully acknowledged. ...
doi:10.3217/jucs-007-08-0754
dblp:journals/jucs/Oliveira01
fatcat:l3g2qlqwtvfptfmkg6epdpsg4m
Transformational programming and the paragraph problem
1986
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The difference between the algorithms reflects different assumptions about the algebraic properties of waste functions: one algorithm employs a greedy strategy, while the other uses dynamic programming ...
Both algorithms are expressed as purely functional programs, and the advantages of a functional notation are illustrated in the derivations. ...
Acknowledgment The author would like to thank Lambert Meertens who provided the main inspiration for the work, and John Hughes, Bernard Sufrin and Phil Wadler for many enjoyable discussions about functional ...
doi:10.1016/0167-6423(86)90023-7
fatcat:2dvgn4grsjcszkk6pnu5y3fbie
Program development in an algebraic setting
[chapter]
1993
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Technically, this is achieved by combining concepts from two related areas: Algebraic specifications are used to represent programs, and Gentzen-style rules of natural deduction are used to represent derivation ...
The paper presents the algebraic framework and a collection of characteristic derivation rules. A number of small examples shall illustrate the underlying methodology. ...
Acknowledgement The concepts presented in this paper were influenced by many discussions with Manfred Broy. Wolfram Schulte and the referees provided valuable comments and suggestions. ...
doi:10.1007/3-540-57499-9_22
fatcat:s75bt7we6vbzpihcfneeiopvb4
Deriving efficient parallel programs for complex recurrences
1997
Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
The new approach is systematic enough to be semiautomated, and shall be shown to be widely applicable using a range of examples. ...
We propose a method to synthesize parallel divideand-conquer programs from non-trivial sequential recurrences. ...
Related Work As described earlier, a popular approach for synthesizing parallel functional programs is to use the Bird-Meertens formalism [Ski90] . ...
doi:10.1145/266670.266697
dblp:conf/cap/TeoCT97
fatcat:nle2n3obijeq3joazfxbw2lv3y
Towards resource-certified software
2007
Proceedings of the 2007 ACM symposium on Applied computing - SAC '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Here, we present our approach and discuss its application to the development and resource analysis of a space bound mean shift algorithm for motion tracking, using the new embedded system-oriented language ...
This enables the combination of independently developed program components into coherent software architecture, with certied resource use guarantee. ...
The second version is at the higher-order Template-Hume level, where, rather than allowing user-dened recursion, only pre-dened higher-order functions may be used in the style of FP [4] or the Bird-Meertens ...
doi:10.1145/1244002.1244285
dblp:conf/sac/BonenfantCHMWW07
fatcat:hoxz2zficzb5vpfrwn6payet44
Automatically deriving cost models for structured parallel processes using hylomorphisms
2018
Future generations computer systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper uses the unifying notion of hylomorphisms, a general recursion pattern, to make it possible to reason about both the functional correctness properties and the extra-functional timing properties ...
Abstract Structured parallelism using nested algorithmic skeletons can greatly ease the task of writing parallel software, since common, but hard-to-debug, problems such as race conditions are eliminated ...
Acknowledgements This work has been partially supported by the EU Horizon 2020 grant "RePhrase: Refactoring Parallel Heterogeneous Resource-Aware Applications -a Software Engineering Approach" (ICT-644235 ...
doi:10.1016/j.future.2017.04.035
fatcat:jw6xtgpu2jdedehd3w3i4rdjyu
Least and greatest fixed points in intuitionistic natural deduction
2002
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Throughout the paper, the semantics that we keep in mind is intensional, so we only consider ÿ-reduction, not ÿÁ-conversion. Some remarks are in order regarding the technical machinery that we use. ...
In order to compactify the notation and to get around the technicalities related to -conversion and substitution, we use a simple meta-syntax, a higher-order abstract syntax derived from logical frameworks ...
The proof ÿgures and diagrams appearing in the paper were typeset using the proof.sty L a T E X2" macro by Makoto Tatsuta and the XYpic generic T E X macro package by Kristo er C. Rose, respectively. ...
doi:10.1016/s0304-3975(00)00355-8
fatcat:vqcrgf37v5advmpaoo4b5k4qae
Resource analyses for parallel and distributed coordination
2011
Concurrency and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Large-scale uses include the ASTREE system, which has been used to analyse the worst-case execution time (WCET) of the flight-control software for the Airbus A380 [15] , and the use of the SPEED symbolic ...
Moreover, the resource information may be used for a number of purposes; for example, execution time predictions can be used to optimise the performance of parallel programs or to aid load management or ...
We also acknowledge the anonymous referees whose comments have significantly improved the paper. This ...
doi:10.1002/cpe.1898
fatcat:abmlmqopxraofkdqbvk5r575ya
Financial software on GPUs
2012
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing - FHPC '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
discovering all the requisite data parallelism when rendering the functional code in Fortran-style imperative array processing form. ...
fashion; and supporting the correctness of the subsequent compiler transformations to a hardware-oriented target language by a rich class of universally valid equational properties. ...
Previous research we draw upon here is the Bird-Meertens Formalism (BMF) [6] . ...
doi:10.1145/2364474.2364484
dblp:conf/icfp/OanceaABFH12
fatcat:emwjal43irftxlhsstzlbyqga4
Iteration and coiteration schemes for higher-order and nested datatypes
2005
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In conventional-style systems, monotonicity witnesses are used for a notion of monotonicity defined uniformly for all kinds. ...
This article studies the implementation of inductive and coinductive constructors of higher kinds (higher-order nested datatypes) in typed term rewriting, with emphasis on the choice of the iteration and ...
Acknowledgements Peter Hancock deserves thanks for suggesting to us the definition mon F := F F . We also highly appreciate the feedback we got from Peter Aczel at TYPES'03 in Turin, April/May 2003. ...
doi:10.1016/j.tcs.2004.10.017
fatcat:yegiwuug6nfidpfqxc5l66cpqe
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates
2017
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Third, we present a flattening transformation aimed at enhancing the degree of parallelism that (i) builds on loop interchange and distribution but uses higher-order reasoning rather than array-dependence ...
Finally, an evaluation on 16 benchmarks demonstrates the impact of the language and compiler features and shows application-level performance competitive with hand-written GPU code. ...
Acknowledgments The work on Oclgrind [45] ...
doi:10.1145/3062341.3062354
dblp:conf/pldi/HenriksenSEHO17
fatcat:p4e5vynbhzhb5aoxsa6tecq33q
Models and languages for parallel computation
1998
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We survey parallel programming models and languages using six criteria to assess their suitability for realistic portable parallel programming. ...
Both kinds of models raise the possibility of parallelism as part of the mainstream of computing. ...
ACKNOWLEDGMENTS We are grateful to Dave Dove and Luigi Palopoli for their comments on a draft of this article and to the anonymous referees for their helpful comments. ...
doi:10.1145/280277.280278
fatcat:ynjiydoq2baonp7hubvz3ajuky
The design of functional programs : a calculational approach
[article]
1989
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The, so-callect, Bird/meertens sfyle of tunetion programming [Biri] is an example of a consistent etaboration of the algebraic approach. ...
Bird et al. [Bir2] a functional program lor the KmP algorithm is presenled toa. ...
doi:10.6100/ir321975
fatcat:jsniahfrjfef3nwx4tqtcz2t7e
Food risk management quality: Consumer evaluations of past and emerging food safety incidents
2009
Health, Risk and Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
TU-VI-4 Visschers, Vivianne; Meertens, Ree M. ...
A risk based approach was applied by calculating impacts on flood damages at different levels of recurrence and this at the base year (2000) and in case of a sea level rise of 60 cm in 2100. ...
doi:10.1080/13698570902784265
fatcat:bbv7bw6ljnealcjqybdhstyxyu
« Previous
Showing results 1 — 15 out of 27 results