547 search results - page 43 / 110 » On Automated Program Construction and Verification |
100
click to vote
DOCENG
2009
ACM
15 years 8 months ago
2009
ACM
: © Automated Extensible XML Tree Diagrams John Lumley HP Laboratories HPL-2009-137 XSLT, SVG, XML trees, Functional programming XML is a tree-oriented meta-language and visual de...
140
click to vote
AAAI
1992
15 years 3 months ago
1992
Effective problem-solving about complex engineered devices requires device models that are both adequate for the problem and computationally efficient . Producing such models requ...
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
205
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
112
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...