1288 search results - page 89 / 258 » Visual Generalization in Programming by Example |
199
Voted
POPL
2002
ACM
16 years 2 months ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...
136
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
ICCAD
1997
IEEE
15 years 6 months ago
1997
IEEE
To solve the problem of fast thermal and electrostatic simulation of microsystem elements two different field solver tools have been developed at TUB. The µSTHERMANAL program is ...
131
click to vote
ENTCS
2007
15 years 2 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
104
click to vote
PPDP
2010
Springer
15 years 29 days ago
2010
Springer
This article presents HSS1 , a compiler for CSS. It is first argued that generating CSS improves portability and maintainability of CSS files. This claim is supported by realist...