1982 search results - page 67 / 397 » Parametricity and dependent types |
ENDM
2000
14 years 9 months ago
2000
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
SAS
2004
Springer
15 years 3 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...
ESOP
1994
Springer
15 years 2 months ago
1994
Springer
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...
SPIN
2005
Springer
15 years 3 months ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
CORR
2008
Springer
14 years 8 months ago
2008
Springer
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...