1288 search results - page 133 / 258 » Visual Generalization in Programming by Example |
106
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
Field-based coordination is a very promising approach for a wide range of application scenarios in modern dynamic networks. To implement such an approach, one can rely on distribu...
131
click to vote
CGO
2003
IEEE
15 years 8 months ago
2003
IEEE
Run-time code generation is a well-known technique for improving the efficiency of programs by exploiting dynamic information. Unfortunately, the difficulty of constructing run-...
106
click to vote
ECOOP
1998
Springer
15 years 7 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
118
click to vote
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
This paper considers the complexity of interprocedural function pointer may-alias analysis, i.e., determining the set of functions that a function pointer (in a language such as C...
130
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...