230 search results - page 38 / 46 » Automation for Dependently Typed Functional Programming |
GPCE
2009
Springer
14 years 7 days ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
ICCAD
1999
IEEE
13 years 12 months ago
1999
IEEE
We present a method for optimizing and automating component and transistor sizing for CMOS LC oscillators. We observe that the performance measures can be formulated as posynomial...
APSEC
1998
IEEE
13 years 12 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
DOCENG
2004
ACM
14 years 1 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...