Kevin Hammond - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged functional programming

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 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]

Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional ProgramsHugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos. TYPES 2007: 221-236 [doi]

Towards Formally Verifiable WCET Analysis for a Functional Programming LanguageKevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace. wcet 2006: [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]

Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume ApproachKevin Hammond. cefp 2006: 100-134 [doi]

Programmable Network Functionality for Improved QoS of Interactive Video TrafficBrendan McAllister, Alan Marshall, Roger Woods. ifip6-2 2007: 283-296 [doi]

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

Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional ProgramsPedro B. Vasconcelos, Kevin Hammond. IFL 2004: 86-101 [doi]

Is it time for real-time functional programming?Kevin Hammond. sfp 2005: 1-18

Comparing Parallel Functional Languages: Programming and PerformanceHans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder. lisp, 16(3):203-251, 2003. [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]

The Surprising Power of Restricted Programs and Gödel s FunctionalsLars Kristiansen, Paul J. Voda. csl 2003: 345-358 [doi]

Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001Kevin Hammond, Sharon Curtis, editors, Volume 3 of Trends in Functional Programming, Intellect, 2002.

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]

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]

Improved Register Usage for Functional Programs through Multiple Function VersionsManoranjan Satpathy, Amitabha Sanyal, G. Venkatesh. jflp, 1998(7), 1998.

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

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

A Functional Framework for Deterministically Interleaved Interactive ProgramsPeter Achten. plilp 1995: 451-452

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

Report on the Programming Language Haskell, A Non-strict, Purely Functional LanguagePaul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson. SIGPLAN, 27(5):1, 1992.

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

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.

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