Search Sciweavers | Sciweavers

3568 search results - page 12 / 714

» Type Analysis for JavaScript

120

click to vote

BMCBI
2007

128views more BMCBI 2007»

Userscripts for the Life Sciences

15 years 2 months ago

Download www.biomedcentral.com

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...

claim paper

Read More »

click to vote

SAS
1997
Springer

90views Formal Methods» more SAS 1997»

Type-Directed Flow Analysis for Typed Intermediate Languages

15 years 6 months ago

Download www.cs.ucla.edu

Suresh Jagannathan, Stephen Weeks, Andrew K. Wrigh...

claim paper

Read More »

109

click to vote

PLDI
1994
ACM

128views Programming Languages» more PLDI 1994»

Type Analysis of Prolog Using Type Graphs

15 years 6 months ago

Download www.dsi.unive.it

Pascal Van Hentenryck, Agostino Cortesi, Baudouin ...

claim paper

Read More »

111

click to vote

PLDI
1990
ACM

103views Programming Languages» more PLDI 1990»

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs

15 years 6 months ago

Download selflanguage.org

Craig Chambers, David Ungar

claim paper

Read More »

click to vote

INFORMS
1998

87views more INFORMS 1998»

On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers