1636 search results - page 157 / 328 » Type-Theoretic Functional Semantics |
132
Voted
ESOP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...
137
Voted
OMER
2001
15 years 5 months ago
2001
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...
149
click to vote
TRIDENTCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
The Internet enables the way how global businesses and communities communicate today. In the last years, however, new demands have collided with old designs, resulting in a complex...
186
click to vote
WWW
2011
ACM
14 years 10 months ago
2011
ACM
Web pages are usually highly structured documents. In some documents, content with different functionality is laid out in blocks, some merely supporting the main discourse. In ot...
241
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...