351 search results - page 35 / 71 » Logic Programs with Compiled Preferences |
CGO
2005
IEEE
15 years 5 months ago
2005
IEEE
Modern embedded microprocessors use low power on-chip memories called scratch-pad memories to store frequently executed instructions and data. Unlike traditional caches, scratch-p...
120
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
FASE
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving speciļ¬cations in the Java Modeling Language (JML). JML is an interface speciļ¬cation language for Java. It allows ...
105
click to vote
ENTCS
2007
14 years 11 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...