1636 search results - page 48 / 328 » Type-Theoretic Functional Semantics |
136
Voted
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
It is now widely recognized that the so-called nonfunctional or extra-functional properties of a software system are at least as important as its somewhat more classical functiona...
102
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Matsuda et al. [2007, ICFP] and Voigtl
124
Voted
CLEIEJ
2007
15 years 3 months ago
2007
This work presents proof rules for termination and non-termination for a subset of a C-like language that consists of the statements : assignation, composition, if, skip and while...
238
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
156
Voted
FP
1992
15 years 7 months ago
1992
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....