Sciweavers

5863 search results - page 380 / 1173
» Calculating Functional Programs
Sort
View
ISSAC
1993
Springer
119views Mathematics» more  ISSAC 1993»
15 years 11 months ago
Finding all Hypergeometric Solutions of Linear Differential Equations
Hypergeometric sequences are such that the quotient of two successive terms is a fixed rational function of the index. We give a generalization of M. Petkov6ek’s algorithm to fi...
Marko Petkovsek, Bruno Salvy
PLPV
2010
ACM
16 years 3 months ago
Arity-generic datatype-generic programming
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...
Stephanie Weirich, Chris Casinghino
ICDE
2009
IEEE
119views Database» more  ICDE 2009»
16 years 1 months ago
Deductive Framework for Programming Sensor Networks
—Developing powerful paradigms for programming sensor networks is critical to realize the full potential of sensor networks as collaborative data processing engines. In this arti...
Himanshu Gupta, Xianjin Zhu, Xiang Xu
KBSE
2008
IEEE
16 years 1 months ago
Predictive Typestate Checking of Multithreaded Java Programs
—Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as...
Pallavi Joshi, Koushik Sen
IWPC
2003
IEEE
16 years 1 days ago
Facilitating Program Comprehension by Mining Association Rules from Source Code
Program comprehension is an important part of software maintenance, especially when program structure is complex and documentation is unavailable or outdated. Data mining can prod...
Christos Tjortjis, Loukas Sinos, Paul J. Layzell