95 search results - page 12 / 19 » Parametric heap usage analysis for functional programs |
APLAS
2004
ACM
14 years 2 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas eļ¬ciently. The design choices however eļ...
FPCA
1989
14 years 19 days ago
1989
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
ACMMSP
2005
ACM
14 years 2 months ago
2005
ACM
ct In the past, program monitoring often operates at the code level, performing checks at function and loop boundaries. Recent research shows that proļ¬ling analysis can identify ...
ICIP
2001
IEEE
14 years 10 months ago
2001
IEEE
In this paper we use concepts from the lattice-based theory of morphological operators and fuzzy sets to develop generalized lattice image operators that can be expressed as nonli...
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
d Abstract) Bruno Blanchetā Ā§ Patrick CousotĀ§ Radhia CousotāĀ¶ JĀ“erĖome FeretĀ§ Laurent MauborgneĀ§ Antoine MinĀ“eĀ§ David MonniauxāĀ§ Xavier RivalĀ§ that abstract inter...