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

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]

Evaluation strategies for functional logic programmingSergio Antoy. JSC, 40(1):875-903, 2005. [doi]

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005Sergio Antoy, Michael Hanus, editors, ACM, 2005.

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.

Evaluation Strategies for Functional Logic ProgrammingSergio Antoy. TCS, 57:1-16, 2001. [doi]

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