6149 search results - page 321 / 1230 » Revealing the programming process |
208
click to vote
HASKELL
2005
ACM
16 years 8 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
222
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
Choosing the right representation for a problem is important. In this article we introduce a linear genetic programming approach for motif discovery in protein families, and we al...
146
Voted
IWPC
2003
IEEE
15 years 12 months ago
2003
IEEE
Parsing programming languages is an essential component of the front end of most program comprehension tools. Languages such as C++ can be difficult to parse and so it can prove ...
166
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. The combination of a language with ne-grain implicit parallelism and a data
ow evaluation scheme is suitable for high-level programming on massively parallel architectur...
125
Voted
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
The mpC language was developed to write efJicientand portable programsfor wide range of distributed memory machines. It supports both task and data parallelism, allows both static...