Search results
From MaRDI portal
- Evaluation of Lazy Functional Programs 2009-01-22 Paper Run-Time Profiling of Functional Logic Programs 2008-04-24 Paper A Program Slicing Based Method...10 bytes (17 words) - 20:26, 11 December 2023
- Paper A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs 2009-03-24 Paper The MEB and CEB Static Analysis for CSP Specifications...10 bytes (16 words) - 20:26, 11 December 2023
- in the Distributed Evaluation of Functional Programs 1984-01-01 Paper A linear space translation of functional programs to Turner combinators 1982-01-01...10 bytes (18 words) - 09:10, 13 December 2023
- termination of higher-order functional programs 2018-03-01 Paper Temporal verification of higher-order functional programs 2016-10-24 Paper Verification...10 bytes (16 words) - 09:41, 6 October 2023
- Transforming Functional Logic Programs into Monadic Functional Programs 2011-05-27 Paper Preserving Sharing in the Partial Evaluation of Lazy Functional Programs...10 bytes (16 words) - 23:22, 24 September 2023
- discovery for higher-order functional programs 2020-11-02 Paper ICE-based refinement type discovery for higher-order functional programs 2019-09-16 Paper Quantized...10 bytes (17 words) - 11:32, 6 October 2023
- Analysis of Program Execution Costs 2009-04-28 Paper Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs 2009-03-10...10 bytes (17 words) - 13:21, 12 December 2023
- Type Space profiling for parallel functional programs 2015-03-16 Paper Space profiling for parallel functional programs 2011-07-25 Paper...10 bytes (16 words) - 18:17, 6 October 2023
- Equivalence of Two Formal Semantics for Functional Logic Programs 2013-12-20 Paper Semantic Determinism and Functional Logic Program Properties 2013-12-06 Paper https://portal...10 bytes (20 words) - 03:05, 13 December 2023
- computation for purely functional programs 2015-03-05 Paper Implicit self-adjusting computation for purely functional programs 2014-08-14 Paper...10 bytes (18 words) - 06:31, 7 October 2023
- discovery for higher-order functional programs 2020-11-02 Paper ICE-based refinement type discovery for higher-order functional programs 2019-09-16 Paper...10 bytes (16 words) - 09:59, 25 September 2023
- allocation for lazy functional programs 2014-07-21 Paper Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs 2009-03-10 Paper...10 bytes (18 words) - 12:21, 14 March 2024
- Paper Compiling lazy functional programs for the Java Virtual Machine 2000-04-26 Paper The dynamic compilation of lazy functional programs 1999-03-28 Paper...10 bytes (16 words) - 13:37, 28 January 2024
- Verification Methods for Logic Programs 2013-06-06 Paper Logic programs as specifications in the inductive verification of logic programs 2013-05-24 Paper Abstract...10 bytes (16 words) - 06:07, 13 December 2023
- termination of higher-order functional programs 2018-03-01 Paper Automatic Termination Verification for Higher-Order Functional Programs 2014-04-16 Paper Bubble...10 bytes (16 words) - 18:54, 24 September 2023
- discovery for higher-order functional programs 2020-11-02 Paper ICE-based refinement type discovery for higher-order functional programs 2019-09-16 Paper...10 bytes (16 words) - 09:59, 25 September 2023
- Higher-Order Functional Programs 2014-04-16 Paper Polymorphic Fractional Capabilities 2009-08-18 Paper Inferring Channel Buffer Bounds Via Linear Programming 2008-04-11...10 bytes (16 words) - 09:41, 6 October 2023
- allocation for lazy functional programs 2014-07-21 Paper Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs 2009-03-10 Paper...10 bytes (17 words) - 09:03, 25 September 2023
- Publication Date of Publication Type Transforming Functional Logic Programs into Monadic Functional Programs 2011-05-27 Paper...10 bytes (16 words) - 19:45, 6 October 2023
- 2017-05-19 Paper Modular Verification of Higher-Order Functional Programs 2017-05-19 Paper Functional programs as compressed data 2017-05-15 Paper Compact bit...10 bytes (16 words) - 09:08, 25 September 2023