11212 search results - page 2069 / 2243 » Semi-persistent Data Structures |
120
Voted
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
A form-based query interface is usually the preferred means to provide an unsophisticated user access to a database. Not only is such an interface easy to use, requiring no techni...
132
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Building a configuration management (CM) system is a difficult endeavor that regularly requires tens of thousands of lines of code to be written. To reduce this effort, several ex...
126
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
129
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...
148
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...