Sciweavers

448 search results - page 2 / 90
» Dynamic Algorithms for the Dyck Languages
Sort
View
DLS
2009
150views Languages» more  DLS 2009»
14 years 7 months ago
Fast type reconstruction for dynamically typed programming languages
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
Frédéric Pluquet, Antoine Marot, Roe...
DATESO
2009
101views Database» more  DATESO 2009»
14 years 7 months ago
Using Top Trees For Easy Programming of Tree Algorithms
Top trees are a dynamic self-adjusting data structure that can be used by any tree algorithm. Actually, an arbitrary number of different tree algorithms can use a single structure....
Michal Vajbar
FSEN
2009
Springer
15 years 4 months ago
A Safe Implementation of Dynamic Overloading in Java-Like Languages
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
Lorenzo Bettini, Sara Capecchi, Betti Venneri
ANSS
2007
IEEE
15 years 1 months ago
MDL, A Domain-Specific Language for Molecular Dynamics
Molecular Dynamics (MD) involves solving Newton's equations of motion for a molecular system and propagating the system by time-dependent updates of atomic positions and velo...
Trevor M. Cickovski, Chris Sweet, Jesús A. ...