1359 search results - page 24 / 272 » Black-Box Program Specialization |
SEFM
2008
IEEE
14 years 3 months ago
2008
IEEE
Aspect oriented programming can arbitrarily distort the semantics of programs. In particular, weaving can invalidate crucial safety and liveness properties of the base program. In...
IJCAI
1993
13 years 10 months ago
1993
This paper describes how meta-level theories are used for analytic learning in M U L T I - T A C . M U L T I - T A C operationalizes generic heuristics for constraint-satisfaction...
APLAS
2004
ACM
14 years 2 months ago
2004
ACM
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
SIAMJO
2000
13 years 8 months ago
2000
Abstract. Despite the efficiency shown by interior-point methods in large-scale linear programming, they usually perform poorly when applied to multicommodity flow problems. The ne...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Programmers of all types from novice end-user developers to professional software engineers make use of application programming interfaces (API) within their various designs. And,...