Sciweavers

8 search results - page 1 / 2
» Iterative Planning in the Context of Automated Code Synthesi...
Sort
View
COMPSAC
2007
IEEE
14 years 19 days ago
Iterative Planning in the Context of Automated Code Synthesis
Jicheng Fu, Farokh B. Bastani, I-Ling Yen
ENTCS
2006
169views more  ENTCS 2006»
13 years 11 months ago
Constructing Induction Rules for Deductive Synthesis Proofs
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...
Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fl...
DAC
2005
ACM
14 years 11 months ago
Towards scalable flow and context sensitive pointer analysis
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
Jianwen Zhu
DAC
2002
ACM
14 years 11 months ago
Software synthesis from synchronous specifications using logic simulation techniques
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
Yunjian Jiang, Robert K. Brayton
KR
2004
Springer
14 years 4 months ago
Planning Graphs and Knowledge Compilation
One of the major advances in classical planning has been the development of Graphplan. Graphplan builds a layered structure called the planning graph, and then searches this struc...
Hector Geffner