7555 search results - page 13 / 1511 » The Type System of DBPL |
74
Voted
CORR
2009
Springer
15 years 1 months ago
2009
Springer
CORR
2009
Springer
15 years 1 months ago
2009
Springer
87
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
226
Voted
MSOM
2011
14 years 10 months ago
2011
169
Voted
TOPLAS
2010
15 years 1 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...