Ilya Klyuchnikov - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged functional programming

Supercompiler HOSC 1.5: homeomorphic embedding and generalization in a higher-order settingIlya Klyuchnikov. Preprint 62, 2010.

Supercompiler HOSC 1.0: under the hoodIlya Klyuchnikov. Preprint 63, 2009.

Proving the Equivalence of Higher-Order Terms by Means of SupercompilationIlya Klyuchnikov, Sergei A. Romanenko. ershov 2010: 193-205 [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]

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]

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

Reasoning About CBV Functional Programs in Isabelle/HOLJohn Longley, Randy Pollack. tphol 2004: 201-216 [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]

The Surprising Power of Restricted Programs and Gödel s FunctionalsLars Kristiansen, Paul J. Voda. csl 2003: 345-358 [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]

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

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.

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 Hierarchy of Finitely Typed Functional Programs (Short Version)A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn. lics 1987: 225-235

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