1835 search results - page 102 / 367 » Functional Programming of Behavior-Based Systems |
143
click to vote
PPPJ
2006
ACM
15 years 10 months ago
2006
ACM
Concept assignment identifies units of source code that are functionally related, even if this is not apparent from a syntactic point of view. Until now, the results of concept a...
135
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
130
click to vote
VL
1995
IEEE
15 years 8 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
127
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
128
click to vote
FLAIRS
2006
15 years 6 months ago
2006
We propose to improve the efficiency of genetic programming, a method to automatically evolve computer programs. We use graph-based data mining to identify common aspects of highl...