1559 search results - page 15 / 312 » Fundamentals of Generic Programming |
CSMR
2005
IEEE
15 years 3 months ago
2005
IEEE
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
CEFP
2005
Springer
15 years 3 months ago
2005
Springer
In these lecture notes we present a novel toolkit to program web applications with that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolki...
CP
2005
Springer
15 years 3 months ago
2005
Springer
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
100
click to vote
AMAST
2008
Springer
14 years 11 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...