2540 search results - page 2 / 508 » Abstract Logics as Dialgebras |
POPL
2008
ACM
14 years 5 months ago
2008
ACM
POPL
2005
ACM
14 years 5 months ago
2005
ACM
CADE
2003
Springer
14 years 5 months ago
2003
Springer
CADE
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
ACSD
2004
IEEE
13 years 8 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...