Sciweavers

18429 search results - page 389 / 3686
» Typing dynamic typing
Sort
View
SCP
1998
68views more  SCP 1998»
15 years 6 months ago
A Sound Polymorphic Type System for a Dialect of C
Geoffrey Smith, Dennis M. Volpano
SIGACT
1998
69views more  SIGACT 1998»
15 years 6 months ago
Polymorphism, objects and abstract types
Peter W. O'Hearn
SPE
1998
72views more  SPE 1998»
15 years 6 months ago
Type-Safe Casting
Wilson C. Hsieh, Marc E. Fiuczynski, Przemyslaw Pa...
SIAMJO
2002
149views more  SIAMJO 2002»
15 years 6 months ago
Semidefinite Programs: New Search Directions, Smoothing-Type Methods, and Numerical Results
Motivated by some results for linear programs and complementarity problems, this paper gives some new characterizations of the central path conditions for semidefinite programs. Ex...
Christian Kanzow, Christian Nagel
TIT
1998
72views more  TIT 1998»
15 years 6 months ago
Runlength Limited Codes for Single Error-Detection and Single Error-Correction with Mixed Type Errors
Abstract—Runlength-limited (RLL) codes are used in magnetic recording. The error patterns that occur with peak detection magnetic recording systems when using a runlength-limited...
Patrick Perry, Mingche Li, Mao Chao Lin, Zhen Zhan...