18429 search results - page 78 / 3686 » Typing dynamic typing |
140
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
Some type class instances can be automatically derived from the structure of types. As a result, the Haskell language includes the “deriving” mechanism to automatic generates ...
115
click to vote
FASE
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information. The tool instruments a program to monitor the t...
141
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
126
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a new type analysis for logic programs. The analysis is performed with a priori type definitions; and type expressions are formed from a fixed alphabet of type...
125
click to vote
IRI
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we describe an approach to build XML schemas in a collaborative way. The approach is based on computing intersection between sequences of type terms built over const...