6740 search results - page 207 / 1348 » Using Classification as a Programming Language |
132
click to vote
APIN
1998
15 years 1 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
110
click to vote
SETP
2007
15 years 3 months ago
2007
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
102
Voted
APLAS
2000
ACM
15 years 6 months ago
2000
ACM
Previous studies on safety of program transformations with respect to performance considered two criteria: preserving performance within a constant factor and preserving complexit...
159
click to vote
CEFP
2007
Springer
15 years 8 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
124
click to vote
ACSC
2005
IEEE
15 years 7 months ago
2005
IEEE
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...