Sciweavers

2370 search results - page 224 / 474
» On the Revival of Dynamic Languages
Sort
View
ICFP
2002
ACM
16 years 7 months ago
A demand-driven adaptive type analysis
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
Danny Dubé, Marc Feeley
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
16 years 4 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich
WSDM
2009
ACM
148views Data Mining» more  WSDM 2009»
16 years 2 months ago
Information arbitrage across multi-lingual Wikipedia
The rapid globalization of Wikipedia is generating a parallel, multi-lingual corpus of unprecedented scale. Pages for the same topic in many different languages emerge both as a r...
Eytan Adar, Michael Skinner, Daniel S. Weld
OOPSLA
2009
Springer
16 years 1 months ago
Thorn: robust, concurrent, extensible scripting on the JVM
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...
Bard Bloom, John Field, Nathaniel Nystrom, Johan &...
PRIMA
2009
Springer
16 years 1 months ago
An Empirical Study of Agent Programs
Agent-oriented programming has been motivated in part by the conception that high-level programming constructs based on common tions such as beliefs and goals provide appropriate a...
M. Birna van Riemsdijk, Koen V. Hindriks