8766 search results - page 181 / 1754 » Functional logic programming |
SAS
2004
Springer
15 years 3 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...
72
Voted
CORR
2008
Springer
14 years 10 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...
79
Voted
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
124
click to vote
ECOOP
2012
Springer
13 years 18 days 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...