20 search results - page 1 / 4 » Automatic Formal Synthesis of Hardware from Higher Order Log... |
83
Voted
ENTCS
2006
15 years 1 months ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
120
Voted
KI
1990
Springer
15 years 5 months ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
99
Voted
ENTCS
2007
15 years 1 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
117
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
110
Voted
AUSAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...