10899 search results - page 554 / 2180 » The GP Programming System |
194
click to vote
JLP
2008
15 years 7 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
165
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
125
click to vote
APLAS
2006
ACM
16 years 1 months ago
2006
ACM
We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The seman...
169
click to vote
ATVA
2005
Springer
16 years 19 days ago
2005
Springer
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...
198
click to vote
IWPC
1999
IEEE
15 years 11 months ago
1999
IEEE
Automatic program comprehension is particularly useful when applied to sparse matrix codes, since it allows to abstract e.g. from specific sparse matrix storage formats used in th...