Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Gariano, Isaac Oscar"'
Formal methods for software correctness are critical to the future of software engineering - and so must be an essential part of software engineering education. Unfortunately, formal methods are often resisted by students due to perceived difficulty,
Externí odkaz:
http://arxiv.org/abs/2205.00787
Autor:
Fernandez-Reyes, Kiko, Gariano, Isaac Oscar, Noble, James, Greenwood-Thessman, Erin, Homer, Michael, Wrigstad, Tobias
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:
http://arxiv.org/abs/2109.07541
Autor:
Gariano, Isaac Oscar, Servetto, Marco
Multi-methods are a straightforward extension of traditional (single) dynamic dispatch, which is the core of most object oriented languages. With multi-methods, a method call will select an appropriate implementation based on the values of multiple a
Externí odkaz:
http://arxiv.org/abs/1910.00709
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:
http://arxiv.org/abs/1909.05581
Concurrent and parallel programming is difficult due to the presence of memory side-effects, which may introduce data races. Type qualifiers, such as reference capabilities, can remove data races by restricting sharing of mutable data. Unfortunately,
Externí odkaz:
http://arxiv.org/abs/1909.01465
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 CallE, an object-or
Externí odkaz:
http://arxiv.org/abs/1907.04934
In this paper we use pre existing language support for type modifiers and object capabilities to enable a system for sound runtime verification of invariants. Our system guarantees that class invariants hold for all objects involved in execution. Inv
Externí odkaz:
http://arxiv.org/abs/1902.10231
Publikováno v:
EPTCS 299, 2019, pp. 49-55
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:
http://arxiv.org/abs/1902.09685
Publikováno v:
In Science of Computer Programming 1 December 2022 224
Autor:
Gariano, Isaac Oscar, Servetto, Marco
Multi-methods are a straightforward extension of traditional (single) dynamic dispatch, which is the core of most object oriented languages. With multi-methods, a method call will select an appropriate implementation based on the values of multiple a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3969d21730c5a3f8689570b3178c0a27