1636 search results - page 158 / 328 » Type-Theoretic Functional Semantics |
137
click to vote
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
As the set of available Web Services expands, it becomes increasingly important to have automated tools to help identify services that match a requester's requirements. Findi...
142
Voted
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
141
Voted
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
136
Voted
FPCA
1995
15 years 7 months ago
1995
Lenient languages, such as Id90, have been touted as among the best functional languages for massively parallel machines AHN88]. Lenient evaluation combines non-strict semantics w...
155
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...