8232 search results - page 444 / 1647 » Dynamic Logic Programming |
209
click to vote
TAP
2007
Springer
16 years 29 days ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...
199
Voted
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...
175
Voted
DAC
2003
ACM
16 years 7 months ago
2003
ACM
While Boolean logic minimization is typically used in logic synthesis, logic minimization can be useful in numerous other applications. However, many of those applications, such a...
162
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper fuzzy controllers are designed for FACTS devices in interconnected power systems. Two typical FACTS devices, STATCOM and UPFC, are used as examples to show that FACT...
206
Voted
ESOP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...