
...is concerned with the timeanalysis of functional programs.techniques which enable us to reason formally about a program's executioncosts have had...of equations which computethe timecomplexity of expressions in a lazy higherorder language.the problem with higherorder functions is that complexity is dependenton the cost of...


...we introduce a new notion of bisimulation for showing contextual equivalence of expressions...which all expressed values, including higher order values, are storable. our notion...

...we introduce a new notion of bisimulation for showing contextual equivalence of expressions...which all expressed values, including higherorder values, are storable. our notion...

...synchronous languages are well suited for the design of de pendable realtime systems: they enable a very highlevel specification and...of reactive systems, we introduce a semantics of higher order processes in a seamless extension of the synchronous language signal. to enable the correct...

...synchronous languages are well suited for the design of dependable realtime systems: they enable a very highlevel specification
and...of reactive systems, we introduce
a semantics of higherorder processes in a seamless extension of the synchronous language signal. to enable the correct...

...report on the design of a prototyping component for the theorem prover isabelle/hol...restric tion is enforced by a mode analysis. tail recursive partial functions can be dened and executed with the help of a while combinator....

Published in 1988.

...replace his “demand notes”.the language used in this paper is a firstorder language. this restriction is made because context analysis for higherorder languages is still under development. an...in [ah87].some work on complexity analysis [weg75,lem85] has concentrated on automated analysis: algorithms that derive a closed form for the time complexity of a program. the goal here is...

...we describe a framework for flow analysis in higherorder languages. it is both a synthesis and extension of earlier...explicit use of flow graphs for modeling control and data flow properties of untyped higherorder programs. the framework is parameterized, and can express a hierarchy of analyses with different...