378 search results - page 32 / 76 » Automating Mathematical Program Transformations |
102
click to vote
BMCBI
2008
14 years 11 months ago
2008
Background: Though microarray experiments are very popular in life science research, managing and analyzing microarray data are still challenging tasks for many biologists. Most m...
CSL
1989
Springer
15 years 3 months ago
1989
Springer
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to ...
83
Voted
FLOPS
2008
Springer
15 years 19 days ago
2008
Springer
Abstract. In this paper, we propose more flexible applicability conditions for the folding rule that increase the power of existing unfold/fold systems for normal logic programs. O...
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
2. Previous studies on end-user computing The development of Web applications should be supported by business professionals themselves since Web applications must be modified frequ...
LICS
2007
IEEE
15 years 5 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...