Buscar
Mostrando ítems 11-20 de 408968
Abstracting Gradual Typing
(Assoc Computing Machinery, 2016)
Language researchers and designers have extended a wide variety of type systems to support gradual typing, which enables languages to seamlessly combine dynamic and static checking. These efforts consistently demonstrate ...
Gradual Refinement Types
(2017)
Refinement types are an effective language-based verification technique. However, as any expressive typing discipline, its strength is its weakness, imposing sometimes undesired rigidity. Guided by abstract interpretation, ...
Oral sex practices, oral human papillomavirus and correlations between oral and cervical human papillomavirus prevalence among female sex workers in Lima, Peru
(SAGE Publications, 2011)
Few data exist on oral human papillomavirus (HPV) prevalence in female sex workers (FSWs). Information regarding oral sex practices of 185 Peruvian FSWs, 18-26 years of age, was obtained via survey and compared with HPV ...
Type-Driven Gradual Security with References
(2018)
In security-typed programming languages, types statically enforce noninterference between potentially conspiring values, such as the arguments and results of functions. But to adopt static security types, like other advanced ...
Type Tool Windows
(2014)
Type Tool
(2014)
Design of CMOS current-mode multiplier-divider circuit for type-2 FLC applications
(2015-01-01)
The design of a low voltage current-mode CMOS multiplier/divider circuit is presented in this paper. This circuit is used to implement the type-reducer block of Type-2 Fuzzy Logic Controller chip. The simulation results ...
On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk
(ACM, 2015)
Object-orientation relies on polymorphism to express behavioral variants. As opposed to traditional procedural design, explicit type-based conditionals should be avoided. This message is conveyed in introductory material ...