Sciweavers

18429 search results - page 378 / 3686
» Typing dynamic typing
Sort
View
AAECC
2004
Springer
100views Algorithms» more  AAECC 2004»
15 years 6 months ago
Convolutional Codes of Goppa Type
A new kind of Convolutional Codes generalizing Goppa Codes is proposed. This provides a systematic method for constructing convolutional codes with prefixed properties. In particul...
J. A. Domínguez Pérez, J. M. Mu&ntil...
JOT
2007
64views more  JOT 2007»
15 years 6 months ago
Existential Owners for Ownership Types
Tobias Wrigstad, Dave Clarke
JOT
2007
92views more  JOT 2007»
15 years 6 months ago
Just: Safe Unknown Types in Java-like Languages
Giovanni Lagorio, Elena Zucca
JOT
2007
65views more  JOT 2007»
15 years 6 months ago
A Formal Type System for Java
Mourad Debbabi, M. Fourati