1359 search results - page 119 / 272 » Black-Box Program Specialization |
ICFP
1997
ACM
14 years 1 months ago
1997
ACM
d Abstract) Allyn Dimock Harvard University Robert Muller Boston College Franklyn Turbak Wellesley College J. B. Wells∗ Glasgow University Topic Areas: compilation, lambda calcul...
ICSE
1997
IEEE-ACM
14 years 1 months ago
1997
IEEE-ACM
Testing methods are compared in a model where program failures are detected and the software changed to eliminate them. The question considered is whether it is better to use test...
IFIP
1993
Springer
14 years 29 days ago
1993
Springer
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
IFIP
1989
Springer
14 years 28 days ago
1989
Springer
ÐBSR (Broadcasting with Selective Reduction) is a PRAM more powerful than any CRCW PRAM. In order to extend the Broadcast Instruction of BSR and make it more useful for a large cl...
ECOOP
2010
Springer
14 years 27 days ago
2010
Springer
Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts o...