1226 search results - page 151 / 246 » Proofs, Programs and Abstract Complexity |
125
Voted
SAS
2009
Springer
16 years 3 months ago
2009
Springer
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
136
click to vote
TLDI
2010
ACM
16 years 7 days ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
117
Voted
PEPM
2010
ACM
16 years 7 days ago
2010
ACM
Duplicated code is a well known problem in software maintenance and refactoring. Code clones tend to increase program size and several studies have shown that duplicated code make...
124
Voted
AOSD
2005
ACM
15 years 9 months ago
2005
ACM
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...
134
Voted
LCTRTS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Previously published methods for estimation of the worstcase execution time on contemporary processors with complex pipelines and multi-level memory hierarchies result in...