Add to ORKGHigher Order Demand Propagation as proposed in [Pa98] provides a non-standard denotational semantics for a realistic functional language. This semantics can be used to deduce generalised strictness information for higher order polymorphic functions. This report provides the formal proof for the cor-rectness of this strictness information with respect to the non-strict standard semantics.
International audienceWe design an interpretation-based theory of higher-order functions that is wel...
This paper is concerned with semantic theories of higher order communicating systems (HOCS). In thes...
Higher-order abstract syntax is a simple technique for implementing languages with functional progra...
Higher Order Demand Propagation as proposed in [Pa98] provides a non-standard denotational semantics...
Abstract. In this report a new backward strictness analysis for functional languages is presented. I...
We extend an existing first-order typing system for strictness analysis to the fully higher-order ca...
Contains fulltext : 149047.pdf (author's version ) (Open Access
AbstractAbstract interpretation is a compile-time technique which is used to gain information about ...
AbstractThe behavioural semantics of specifications with higher-order logical formulae as axioms is ...
The behavioural semantics of specifications with higher-order logical formulae as axioms is analyzed...
AbstractThis paper gives a proposal for how order-sorted algebraic specification languages can be ex...
We study a version of the higher-order #-calculus where transmittable items include items of ground ...
AbstractIn this paper we present two non-standard-type inference systems for conjunctive strictness ...
this paper, that results from this kind of analysis are, in a sense, polymorphic. This confirms an e...
The addition of logic variables to functional languages gives the programmer novel and powerful too...
International audienceWe design an interpretation-based theory of higher-order functions that is wel...
This paper is concerned with semantic theories of higher order communicating systems (HOCS). In thes...
Higher-order abstract syntax is a simple technique for implementing languages with functional progra...
Higher Order Demand Propagation as proposed in [Pa98] provides a non-standard denotational semantics...
Abstract. In this report a new backward strictness analysis for functional languages is presented. I...
We extend an existing first-order typing system for strictness analysis to the fully higher-order ca...
Contains fulltext : 149047.pdf (author's version ) (Open Access
AbstractAbstract interpretation is a compile-time technique which is used to gain information about ...
AbstractThe behavioural semantics of specifications with higher-order logical formulae as axioms is ...
The behavioural semantics of specifications with higher-order logical formulae as axioms is analyzed...
AbstractThis paper gives a proposal for how order-sorted algebraic specification languages can be ex...
We study a version of the higher-order #-calculus where transmittable items include items of ground ...
AbstractIn this paper we present two non-standard-type inference systems for conjunctive strictness ...
this paper, that results from this kind of analysis are, in a sense, polymorphic. This confirms an e...
The addition of logic variables to functional languages gives the programmer novel and powerful too...
International audienceWe design an interpretation-based theory of higher-order functions that is wel...
This paper is concerned with semantic theories of higher order communicating systems (HOCS). In thes...
Higher-order abstract syntax is a simple technique for implementing languages with functional progra...