Sciweavers

Share
83 search results - page 1 / 17
» Type harvesting: a practical approach to obtaining typing in...
Sort
View
SAC
2011
ACM
7 years 10 months ago
Type harvesting: a practical approach to obtaining typing information in dynamic programming languages
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
Michael Haupt, Michael Perscheid, Robert Hirschfel...
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
9 years 23 days ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond
APLAS
2010
ACM
8 years 6 months ago
Type Inference for Sublinear Space Functional Programming
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
Ugo Dal Lago, Ulrich Schöpp
ECOOP
1991
Springer
8 years 10 months ago
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches
: Polymorphic inline caches (PICs) provide a new way to reduce the overhead of polymorphic message sends by extending inline caches to include more than one cached lookup result pe...
Urs Hölzle, Craig Chambers, David Ungar
ACMSE
2006
ACM
9 years 1 months ago
Type inference and informative error reporting for secure information flow
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
Zhenyue Deng, Geoffrey Smith
books