218 search results - page 33 / 44 » A Multi-level Approach to Program Synthesis |
AOSD
2006
ACM
14 years 1 months ago
2006
ACM
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
IJCAI
1997
13 years 9 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
LCTRTS
2004
Springer
14 years 1 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
CTCS
1987
Springer
13 years 11 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
ASPDAC
1999
ACM
14 years 17 hour ago
1999
ACM
Certain manufacturing steps in very deep submicron VLSI involve chemical-mechanical polishing CMP which has varying e ects on device and interconnect features, depending on loca...