Sciweavers

3568 search results - page 12 / 714
» Type Analysis for JavaScript
Sort
View
BMCBI
2007
128views more  BMCBI 2007»
13 years 7 months ago
Userscripts for the Life Sciences
Background: The web has seen an explosion of chemistry and biology related resources in the last 15 years: thousands of scientific journals, databases, wikis, blogs and resources ...
Egon L. Willighagen, Noel M. O'Boyle, Harini Gopal...
SAS
1997
Springer
13 years 12 months ago
Type-Directed Flow Analysis for Typed Intermediate Languages
Suresh Jagannathan, Stephen Weeks, Andrew K. Wrigh...
PLDI
1994
ACM
13 years 11 months ago
Type Analysis of Prolog Using Type Graphs
Pascal Van Hentenryck, Agostino Cortesi, Baudouin ...
INFORMS
1998
87views more  INFORMS 1998»
13 years 7 months ago
On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend
Hemant K. Bhargava, Ramayya Krishnan, Peter Piela