753 search results - page 130 / 151 » Constructing program animations using a pattern-based approa... |
142
Voted
ISSAC
2004
Springer
15 years 8 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
131
Voted
ISMB
1994
15 years 4 months ago
1994
A new version of the GRAIL system (Uberbacher and Mural, 1991; Mural et al., 1992; Uberbacher et al., 1993), called GRAILII, has recently been developed (Xu et al., 1994). GRAILII...
129
Voted
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...
123
Voted
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...
112
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...