S. Doaitse Swierstra - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged functional programming

Solution of self-consistent equations for the N:::3:::LO nuclear energy density functional in spherical symmetry. The program hosphe (v1.02)B. G. Carlsson, J. Dobaczewski, J. Toivanen, P. Veselý. cphysics, 181(9):1641-1657, 2010. [doi]

Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised LecturesPieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra, editors, Volume 5832 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Abstract Interpretation of Functional Programs using an Attribute Grammar SystemJeroen Fokker, S. Doaitse Swierstra. ENTCS, 238(5):117-133, 2009. [doi]

Certifying properties of an efficient functional program for computing Gröbner basesJ. Santiago Jorge, Víctor M. Gulías, José Luis Freire. JSC, 44(5):571-582, 2009. [doi]

A program to generate a basis set adaptive radial quadrature grid for density functional theoryKhatuna Kakhiani, Kakha Tsereteli, Paata Tsereteli. cphysics, 180(2):256-268, 2009. [doi]

Introducing PROFESS: A new program for orbital-free density functional theory calculationsGregory S. Ho, Vincent L. LignÃ¨res, Emily A. Carter. cphysics, 179(11):839-854, 2008. [doi]

A self-contained and portable density functional theory library for use in ::::Ab Initio:::: quantum chemistry programsPawel Salek, Andreas Hesselmann. jcc, 28(16):2569-2575, 2007. [doi]

Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741Greg Michaelson. JFP, 17(3):428-429, 2007. [doi]

Extension of the functionality of the symbolic program FORM by external softwareM. Tentyukov, J. A. M. Vermaseren. cphysics, 176(6):385-405, 2007. [doi]

Functional Pearl: A program to solve SudokuRichard S. Bird. JFP, 16(6):671-679, 2006. [doi]

A Functional Program for Agents, Actions, and Deontic SpecificationsAdam Zachary Wyner. dalt 2006: 239-256 [doi]

Intrinsic reasoning about functional programs II: unipolar induction and primitive-recursionDaniel Leivant. TCS, 318(1-2):181-196, 2004. [doi]

Formal Proofs of Functional BSP ProgramsFrédéric Gava. ppl, 13(3):365-376, 2003. [doi]

A Functional Decomposition of Virus and Worm ProgramsJ. Krishna Murthy. icics 2003: 405-414 [doi]

Intrinsic reasoning about functional programs I: first order theoriesDaniel Leivant. APAL, 114(1-3):117-153, 2002.

Functional Differentiation of Computer ProgramsJerzy Karczmarczuk. lisp, 14(1):35-57, 2001.

The Derivation of Functional Equivalents of Imperative ProgramsGraham H. B. Roberts. acsc 2001: 171-176 [doi]

Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised LecturesS. Doaitse Swierstra, Pedro Rangel Henriques, José N. Oliveira, editors, Volume 1608 of Lecture Notes in Computer Science, Springer, 1999.

Comparison of Deforestation Techniques for Functional Programs and for Tree TransducersArmin Kühnemann. FLOPS 1999: 114-130

Fixed Points in Metrified Quasi Ordered Sets: Modelling Escaping in Functional ProgramsMarkus Mohnen. gi 1999: 360-369

Application of the Polytope Model to Functional ProgramsNils Ellmenreich, Christian Lengauer, Martin Griebl. lcpc 2000: 219-235 [doi]

Functional Differentiation of Computer ProgramsJerzy Karczmarczuk. ICFP 1998: 195-203 [doi]

A Competitive Algorithm for Managing Sharing in the Distributed Execution of Functional ProgramsGad Aharoni, Amnon Barak, Amir Ronen. JFP, 7(4):421-440, 1997.

A Proof Tool for Reasoning About Functional ProgramsGraham Collins. tphol 1996: 109-124

Graphical visualization of the evaluation of functional programsRicardo JimÃ©nez-Peris, CristÃ³bal Pareja-Flores, Marta PatiÃ±o-MartÃnez, J. Ãngel VelÃ¡zquez-Iturbide. iticse 1996: 36-38 [doi]

Static Mapping of Functional Programs: An Example in Signal ProcessingJack B. Dennis. sp, 5(2):121-135, 1996. [doi]

Constructing Functional Programs for Grammar Analysis ProblemsJohan Jeuring, S. Doaitse Swierstra. fpca 1995: 259-269

Sparse Functional Stores for Imperative ProgramsBjarne Steensgaard. irep 1995: 62-70

Functional Diagnosis of Sequential ProgramsBeat Liver. AADEBUG 1995: 145-157

A Symbolic Calculator for Non-Strict Functional ProgramsDoug Goldson. cj, 37(3):177-187, 1994.

Reasoning About Functional Programs in NuprlDouglas J. Howe. mcmaster 1993: 145-164

Stratified Functional Programs and Computational ComplexityDaniel Leivant. POPL 1993: 325-333

A Practical Functional Program for the CRAY X-MPJames M. Boyle, Terence J. Harmer. JFP, 2(1):81-126, 1992.

Extending Deforestation for First Order functional ProgramsGeoff W. Hamilton, S. B. Jones. fp 1992: 134-145

Generalising Deforestation for All First-Order Functional ProgramsW.-N. Chin. SAS 1991: 173-181

Combinator Evaluation of Functional Programs with Logical VariablesGöran Båge, Gary Lindstrom. lisp, 3(3):289-320, 1990.

An Algorithm Deciding Functional Equivalence in a New Class of Program SchemesViktor K. Sabelfeld. TCS, 71(2):265-279, 1990.

Hybrid Combinators for Distributed Evaluation of Functional ProgramsSuh H. Cheon, Jung W. Cho. ijhsc, 2(1):49-67, 1990. [doi]

A functional program for the fast Fourier transformFer-Jan de Vries. SIGPLAN, 23(1):67-74, 1988. [doi]

The planar topology of functional programsMartine D. F. Schlag. fpca 1987: 174-193

Deriving Functional Programs from Equational SpecificationsColin Runciman. adt 1986:

Static evaluation of functional programsGary Lindstrom. sigplan 1986: 196-206 [doi]

Annotations to Control Parallelism, Reduction Order in the Distributed Evaluation of Functional ProgramsF. Warren Burton. TOPLAS, 6(2):159-174, 1984. [doi]

Functional Behvior of Nondeterministic and Concurrent ProgramsMichael G. Main, David B. Benson. iandc, 62(2/3):144-189, August/September 1984.

Reasoning about Functional Programs and Complexity Classes Associated with Type DisciplinesDaniel Leivant. focs 1983: 460-469

Functional Behaviour of Nondeterministic ProgramsMichael G. Main, David B. Benson. fct 1983: 290-301

Functional Programs for Generating PermutationsRodney W. Topor. cj, 25(2):257-263, 1982.

Eager evaluation of functional programs and a supporting interconnection structureDale H. Grit, Rex L. Page. icdcs 1982: 811-816

Formal Representations for Recursively Defined Functional ProgramsJohn H. Williams. icfpc 1981: 460-470

Formalization of Properties of Functional ProgramsZohar Manna, Amir Pnueli. JACM, 17(3):555-569, 1970. [doi]

runs on WebDSL