796 search results - page 30 / 160 » An Overview of Separation Logic |
POPL
2010
ACM
14 years 7 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
ESOP
2007
Springer
14 years 4 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
CONCUR
1989
Springer
14 years 1 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
DATAMINE
2002
13 years 9 months ago
2002
An overview of cluster analysis techniques from a data mining point of view is given. This is done by a strict separation of the questions of various similarity and distance measur...
FUZZIEEE
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper provides a broad overview of logical and black box approaches to fuzzy and rough hybridization. The logical approaches include theoretical, supervised learning, feat...