3342 search results - page 223 / 669 » Automating Abstract Interpretation |
104
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
Abstract - This paper describes the development of a concurrent methodology for standard cell library generation. Use of a novel physical design automation method enables a high de...
136
Voted
ECSQARU
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. This paper discusses the relationship between incidence calculus and the ATMS. It shows that managing labels for statements in an ATMS is similar to producing the inciden...
121
Voted
ELP
1993
15 years 7 months ago
1993
Abstract. This paper presents work on programming methodologies for the programming tool GCLA. Three methods are discussed which show how to construct the control part of a GCLA pr...
134
Voted
LOPSTR
1994
Springer
15 years 7 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
113
click to vote
CALCO
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. CIRC is an automated circular coinductive prover implemented as an extension of Maude. The circular coinductive technique that forms the core of CIRC is discussed, togeth...