672 search results - page 118 / 135 » On the Expressive Power of the Loop Language |
107
click to vote
JFP
2006
15 years 1 months ago
2006
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...
213
Voted
ML
2011
ACM
14 years 8 months ago
2011
ACM
Abstract. Type Extension Trees (TET) have been recently introduced as an expressive representation language allowing to encode complex combinatorial features of relational entities...
120
Voted
SAINT
2005
IEEE
15 years 7 months ago
2005
IEEE
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...
119
Voted
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...
134
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
Many aspects for runtime monitoring are history-based: they contain pieces of advice that execute conditionally, based on the observed execution history. History-based aspects are...