2947 search results - page 111 / 590 » Analyzing Program Analyses |
140
click to vote
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
161
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
161
click to vote
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...
165
click to vote
CONSTRAINTS
2008
15 years 4 months ago
2008
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
144
click to vote
SCFBM
2008
15 years 4 months ago
2008
Objective: Here we report the improved results of a new siRNA design program and analysis tool called siRNA_profile that reveals an additional criterion for bioinformatic search o...