Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Rondon, Patrick"'
Programs written in dynamic languages make heavy use of features --- run-time type tests, value-indexed dictionaries, polymorphism, and higher-order functions --- that are beyond the reach of type systems that employ either purely syntactic or purely
Externí odkaz:
http://arxiv.org/abs/1103.5055
Autor:
Rondon, Patrick
Publikováno v:
Rondon, Patrick; & Rondon, Patrick. (2012). Liquid Types. UC San Diego: Retrieved from: http://www.escholarship.org/uc/item/1646v8mx
Because of our increasing dependence on software in every aspect of our lives, it is crucial that our software systems are reliable, safe, and correct --- they must not crash, must be safe from attack, and must consistently compute the results we exp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______325::fe0fe1cfa2a86a5a53216689e87f7b93
http://n2t.net/ark:/20775/bb72709827
http://n2t.net/ark:/20775/bb72709827
Autor:
Rondon, Patrick, Jhala, Ranjit
Predicate abstraction and ML type inference are two well-known program analyses with very complementary strengths. The former is a technique for inferring precise, local, path-sensitive properties of base data values like integers but which is thwart
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______325::fa12c91e9d2ff8cbcb85c3316b6ffdfd
https://escholarship.org/uc/item/0vx7j8zc
https://escholarship.org/uc/item/0vx7j8zc
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Programming Languages & Systems (9783642370359); 2013, p209-228, 20p
Publikováno v:
Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium: Principles of Programming Languages; Jan2012, p231-244, 14p
Publikováno v:
Computer Aided Verification (9783642314230); 2012, p744-750, 7p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings of the 37th Annual ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 1/17/2010, p131-144, 14p