2335 search results - page 178 / 467 » Type Checking Type Classes |
133
Voted
ICOODB
2009
14 years 10 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
86
Voted
ECOOP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In this paper we present Jam, an extension of the Java language supporting mixins, that is, parametric heir classes. A mixin declaration in Jam is similar to a Java heir ...
89
Voted
EUROSYS
2007
ACM
15 years 9 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
143
click to vote
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
95
Voted
AOSD
2005
ACM
15 years 6 months ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...