higher-order language

higher-order language

[′hī·ər ‚ȯr·dər ‚laŋ·gwij]
(computer science)
References in periodicals archive ?
Once again, the filmed outcome was not as important as the discussions between the children themselves and those that they worked with; and once again, the teachers were primed to push these discussions, prompting higher-order language work, sustained individual contributions, detailed explanations and so on.
This implies continued development of language competence per se in L1 and L2, and the development of higher-order language proficiency and additive bilingualism.
A flow analysis for a higher-order language collects data-flow and control-flow information about programs in the language.
The analysis described in this article unifies and extends previous work on flow analyses for higher-order languages supporting assignment and control operators.
Additional Key Words and Phrases: Abstract interpretation, higher-order languages
From the beginning, Moggi [1989] took pains to stress that monads could be applied to a first-order language, independent of the machinery required for a higher-order language. What was clear to Moggi from the start has become clear to me at last.
Nonetheless, higher-order languages have an advantage over first-order languages.
In connection with this, the paper discusses some technical issues concerning infinitary type theories and the program of developing the semantics for higher-order languages in other higher-order languages.
Ada and C are both third-generation, procedural, block-structured higher-order languages (HOLs).
This article presents a flow analysis framework for call-by-value, higher-order languages. The implementation of the framework is parameterized over different approximations of exact values to abstract values and can thus be used to construct a spectrum of analyses with different cost and accuracy characteristics.
For higher-order languages, a flow analysis must construct some approximation to the set of procedures applied at a given call site and some approximation to the set of values returned from a call.

Full browser ?