8766 search results - page 181 / 1754 » Functional logic programming |
120
Voted
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
124
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
186
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
113
Voted
ESOP
2010
Springer
16 years 2 days ago
2010
Springer
170
Voted
ECOOP
2012
Springer
13 years 5 months ago
2012
Springer
R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably ne...