Filters








27 Hits in 3.5 sec

Parallelism in sequential functional languages

Guy Blelloch, John Greiner
1995 Proceedings of the seventh international conference on Functional programming languages and computer architecture - FPCA '95  
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"

José N. Oliveira
2001 Journal of universal computer science (Online)  
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

R.S. Bird
1986 Science of Computer Programming  
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]

Peter Pepper
1993 Lecture Notes in Computer Science  
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

Yong Meng Teo, Wei-Ngan Chin, Soon Huat Tan
1997 Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97  
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

Armelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andy Wallace, Iain Wallace
2007 Proceedings of the 2007 ACM symposium on Applied computing - SAC '07  
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

David Castro, Kevin Hammond, Susmit Sarkar, Yasir Alguwaifli
2018 Future generations computer systems  
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

Tarmo Uustalu, Varmo Vene
2002 Theoretical Computer Science  
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

P. W. Trinder, M. I. Cole, K. Hammond, H-W. Loidl, G. J. Michaelson
2011 Concurrency and Computation  
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

Cosmin E. Oancea, Christian Andreetta, Jost Berthold, Alain Frisch, Fritz Henglein
2012 Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing - FHPC '12  
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

Andreas Abel, Ralph Matthes, Tarmo Uustalu
2005 Theoretical Computer Science  
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

Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, Cosmin E. Oancea
2017 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017  
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

David B. Skillicorn, Domenico Talia
1998 ACM Computing Surveys  
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]

RR Rob Hoogerwoord, M Martin Rem, FEJ Frans Kruseman Aretz
1989
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

Ellen van Kleef, Øydis Ueland, Gregory Theodoridis, Gene Rowe, Uwe Pfenning, Julie Houghton, Heleen van Dijk, George Chryssochoidis, Lynn Frewer
2009 Health, Risk and Society  
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