Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Isaac Oscar Gariano"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 299, Iss Proc. VPT 2019, Pp 49-55 (2019)
Static verification relying on an automated theorem prover can be very slow and brittle: since static verification is undecidable, correct code may not pass a particular static verifier. In this work we use metaprogramming to generate code that is co
Externí odkaz:
https://doaj.org/article/aaa266a8bf6444ecbe8f105fb43b1780
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031067723
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::24e8ecc539392214879d799cd846346f
https://doi.org/10.1007/978-3-031-06773-0_23
https://doi.org/10.1007/978-3-031-06773-0_23
Publikováno v:
Science of Computer Programming. 224:102878
Autor:
Tobias Wrigstad, Kiko Fernandez-Reyes, Erin Greenwood-Thessman, James Noble, Michael Homer, Isaac Oscar Gariano
Publikováno v:
Onward!
Dynamic languages like Erlang, Clojure, JavaScript, and E adopted data-race freedom by design. To enforce data-race freedom, these languages either deep copy objects during actor (thread) communication or proxy back to their owning thread. We present
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f6f2fc5c85d6e2874af5ee9d9d454601
http://arxiv.org/abs/2109.07541
http://arxiv.org/abs/2109.07541
Autor:
Isaac Oscar Gariano, Erin Greenwood-Thessman, Richard D. Roberts, Stefan Marr, James Noble, Michael Homer
Publikováno v:
Proceedings of the 16th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems.
Transient gradual type systems often depend on type-based cast insertion to achieve good performance: casts are inserted whenever the static checker detects that a dynamically-typed value may flow into a statically-typed context. Transient gradually
Publikováno v:
Onward!
Effect systems are used to statically reason about the effects an expression may have when evaluated. In the literature, such effects include various behaviours as diverse as memory accesses and exception throwing. Here we present CallƐ, an object-o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1411230789ec88938ca3b7ad7f76c1ca
One form of type checking used in gradually typed language is transient type checking: whenever an object 'flows' through code with a type annotation, the object is dynamically checked to ensure it has the methods required by the annotation. Just-in-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dd999b11673315313dfc7779a8b684d8
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 299, Iss Proc. VPT 2019, Pp 49-55 (2019)
VPT@Programming
VPT@Programming
Static verification relying on an automated theorem prover can be very slow and brittle: since static verification is undecidable, correct code may not pass a particular static verifier. In this work we use metaprogramming to generate code that is co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c613c1d03d4e12a6ab167e10e30cc9b8