8228 search results - page 71 / 1646 » Structural Logical Relations |
118
Voted
ESSLLI
2009
Springer
15 years 1 months ago
2009
Springer
163
Voted
LOGCOM
2011
14 years 6 months ago
2011
258
Voted
EH
1999
IEEE
1999
IEEE
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints
15 years 8 months ago
Here we advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraint...
247
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
134
Voted
TAP
2010
Springer
15 years 8 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...