4190 search results - page 79 / 838 » Type Class Directives |
99
Voted
SAS
2007
Springer
15 years 8 months ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
101
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
117
Voted
KI
2009
Springer
15 years 9 months ago
2009
Springer
Cardinal direction relations are binary spatial relations determined under an extrinsically-defined direction system (e.g., north of). We already have point-based and region-based ...
165
Voted
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
117
click to vote
COSIT
1999
Springer
15 years 6 months ago
1999
Springer
Route directions are instructions, primarily verbal, that explain how to get from one place to another. The current study examines several methods for assessing the quality of verb...