Collected Size Semantics for Functional Programs over Polymorphic Nested Lists -- Full version: 28 pages

Denotational semantics as a foundation for cost recurrence extraction for functional languages

Danner, Norman
Licata, Daniel R.

May 2022

A standard informal method for analyzing the asymptotic complexity of a program is to extract a recu...

Estimating The Size Of Regular Languages

Samuel Johnson Polya Enumeration
Amir Aavani

January 2010

This compilation is the complete set of final projects from the MATH 821- Combinatoric

Program Optimisation‚ Naturally

Bird, R
Gibbons, J
Jones, G

January 2000

It is well-known that each polymorphic function satisfies a certain equational law, called a natural...

Collected Size Semantics for Functional Programs over Polymorphic Nested Lists

Shkaravska, Olha
Eekelen, M.C.J.D. van
Tamalet, Alejandro

January 2009

Contains fulltext : 75338.pdf (preprint version ) (Open Access)10th symposium on t...

Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists

Shkaravska, O.
Eekelen, M.C.J.D. van
Tamalet, A.N.

January 2014

Contains fulltext : 135045.pdf (publisher's version ) (Closed access

Collected Size Semantics for Functional Programs over lists

Shkaravska, O.
Eekelen, M.C.J.D. van
Tamalet, A.N.

January 2008

Contains fulltext : 72040.pdf (author's version ) (Open Access)35 p

Collected size semantics for strict functional programs over general polymorphic lists

Shkaravska, O.
Van Eekelen, M.
Tamalet, A.

January 2014

Size analysis can be an important part of heap consumption analysis. This paper is a part of ongoing...

Size Analysis of Algebraic Data Types

Tamalet, A.N.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2008

Contains fulltext : 72619.pdf (preprint version ) (Open Access)Draft Proceedings o...

Size Calculus for a higher-order functional language

Gobi, A.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2012

Contains fulltext : 135248.pdf (publisher's version ) (Closed access)14 p

Size Calculus for a Higher-Order Functional Language

Attila Gobi
Olha Shkaravska
Marko Van Eekelen

December 2015

Abstract. The authors present a lambda-calculus that formalizes the relations between the sizes of a...

Polynomial Size Analysis with Families of Piecewise Polynomials for Functional Programs over Lists? With soundness proof and examples in detail

O. Shkaravska
M. Van Eekelen
A. Tamalet

July 2015

Abstract. Size analysis can play an important role in optimising mem-ory management and in preventin...

A higher-order size system for a higher-order functional language,Size Calculus for a Higher-Order Functional Language

Gobi, A.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2012

Contains fulltext : 103399.pdf (preprint version ) (Open Access

Constructing medium sized efficient functional programs in Clean

Eekelen, M.C.J.D. van
Plasmeijer, R.

January 1995

Contains fulltext : 107652.pdf (author's version ) (Open Access

Functional programming and the language TALE

Barendregt, H.P.
Leeuwen, Marco van

January 1986

Contains fulltext : 13352.pdf (publisher's version ) (Open Access

Efficient functional programming: compilation and programming techniques

Nöcker, E.G.J.M.H.

January 1994

Contains fulltext : mmubn000001_172857082.pdf (publisher's version ) (Open Access)...

Denotational semantics as a foundation for cost recurrence extraction for functional languages

Danner, Norman
Licata, Daniel R.

May 2022

A standard informal method for analyzing the asymptotic complexity of a program is to extract a recu...

Estimating The Size Of Regular Languages

Samuel Johnson Polya Enumeration
Amir Aavani

January 2010

This compilation is the complete set of final projects from the MATH 821- Combinatoric

Program Optimisation‚ Naturally

Bird, R
Gibbons, J
Jones, G

January 2000

It is well-known that each polymorphic function satisfies a certain equational law, called a natural...

Collected Size Semantics for Functional Programs over Polymorphic Nested Lists

Shkaravska, Olha
Eekelen, M.C.J.D. van
Tamalet, Alejandro

January 2009

Contains fulltext : 75338.pdf (preprint version ) (Open Access)10th symposium on t...

Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists

Shkaravska, O.
Eekelen, M.C.J.D. van
Tamalet, A.N.

January 2014

Contains fulltext : 135045.pdf (publisher's version ) (Closed access

Collected Size Semantics for Functional Programs over lists

Shkaravska, O.
Eekelen, M.C.J.D. van
Tamalet, A.N.

January 2008

Contains fulltext : 72040.pdf (author's version ) (Open Access)35 p

Collected size semantics for strict functional programs over general polymorphic lists

Shkaravska, O.
Van Eekelen, M.
Tamalet, A.

January 2014

Size analysis can be an important part of heap consumption analysis. This paper is a part of ongoing...

Size Analysis of Algebraic Data Types

Tamalet, A.N.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2008

Contains fulltext : 72619.pdf (preprint version ) (Open Access)Draft Proceedings o...

Size Calculus for a higher-order functional language

Gobi, A.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2012

Contains fulltext : 135248.pdf (publisher's version ) (Closed access)14 p

Size Calculus for a Higher-Order Functional Language

Attila Gobi
Olha Shkaravska
Marko Van Eekelen

December 2015

Abstract. The authors present a lambda-calculus that formalizes the relations between the sizes of a...

Polynomial Size Analysis with Families of Piecewise Polynomials for Functional Programs over Lists? With soundness proof and examples in detail

O. Shkaravska
M. Van Eekelen
A. Tamalet

July 2015

Abstract. Size analysis can play an important role in optimising mem-ory management and in preventin...

A higher-order size system for a higher-order functional language,Size Calculus for a Higher-Order Functional Language

Gobi, A.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2012

Contains fulltext : 103399.pdf (preprint version ) (Open Access

Constructing medium sized efficient functional programs in Clean

Eekelen, M.C.J.D. van
Plasmeijer, R.

January 1995

Contains fulltext : 107652.pdf (author's version ) (Open Access

Functional programming and the language TALE

Barendregt, H.P.
Leeuwen, Marco van

January 1986

Contains fulltext : 13352.pdf (publisher's version ) (Open Access

Efficient functional programming: compilation and programming techniques

Nöcker, E.G.J.M.H.

January 1994

Contains fulltext : mmubn000001_172857082.pdf (publisher's version ) (Open Access)...

Denotational semantics as a foundation for cost recurrence extraction for functional languages

Danner, Norman
Licata, Daniel R.

May 2022

A standard informal method for analyzing the asymptotic complexity of a program is to extract a recu...

Estimating The Size Of Regular Languages

Samuel Johnson Polya Enumeration
Amir Aavani

January 2010

This compilation is the complete set of final projects from the MATH 821- Combinatoric

Program Optimisation‚ Naturally

Bird, R
Gibbons, J
Jones, G

January 2000

It is well-known that each polymorphic function satisfies a certain equational law, called a natural...

Collected Size Semantics for Functional Programs over Polymorphic Nested Lists -- Full version: 28 pages

Abstract

Extracted data

Topics

Collected Size Semantics for Functional Programs over Polymorphic Nested Lists -- Full version: 28 pages

Abstract

Extracted data

Topics

Related items

Related items