Sciweavers

3307 search results - page 550 / 662
» The meaning of concurrent programs
Sort
View
SAIG
2000
Springer
15 years 8 months ago
On Jones-Optimal Specialization for Strongly Typed Languages
The phrase optimal program specialization" was de ned by Jones et al. in 1993 to capture the idea of a specializer being strong enough to remove entire layers of interpretatio...
Henning Makholm
PASTE
2010
ACM
15 years 6 months ago
Null dereference analysis in practice
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
Nathaniel Ayewah, William Pugh
LREC
2010
187views Education» more  LREC 2010»
15 years 6 months ago
Language Technology Resource Center
This paper describes the Language Technology Resource Center (LTRC), a U.S. Government website for providing information and tools for users of languages (e.g., translators, analy...
Jennifer DeCamp
DAGSTUHL
2006
15 years 6 months ago
Model Transformation Technologies in the Context of Modelling Software Systems
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
Oscar Pastor
CMPB
2007
113views more  CMPB 2007»
15 years 4 months ago
Paternity analysis in Excel
Paternity analysis using microsatellite information is a well studied subject. These markers are ideal for parentage studies and fingerprinting, due to their high discrimination ...
Margarida Rocheta, F. Miguel Dionísio, Lu&i...