Buscar
Mostrando ítems 21-30 de 2356
Gradual program verification
(Springer Verlag, 2018)
Both static and dynamic program verification approaches have significant disadvantages when considered in isolation. Inspired by research on gradual typing, we propose gradual verification to seamlessly and flexibly combine ...
Gradual typing for smalltalk
(ELSEVIER, 2014)
Plausible sealing for gradual parametricity
(Assoc Computing Machinery, 2022)
Graduality and parametricity have proven to be extremely challenging notions to bring together. Intuitively, enforcing parametricity gradually requires possibly sealing values in order to detect violations of uniform ...
Improving the efficiency and reliability of gradual typing
(Universidad de Chile, 2015)
Gradual Typing permite a un programador aplicar tipos estáticos a ciertas partes de un programa, dejando el resto dinámicamente tipeado. Sin embargo, esto viene con un costo en el rendimiento. Una razón es que el runtime ...
Abstracting gradual typing: Metatheory and applications
(Universidad de Chile, 2019)
Han habido muchos enfoques para integrar tipado estático y dinámico. Uno de los enfoques más notables es el del tipado gradual. El enfoque clásico para diseñar lenguajes graduales es usualmente ad-hoc, pero existen ...