Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Gariano, Isaac Oscar
20  Ergebnisse:
Personensuche X
?
1

Using capabilities for strict runtime invariant checking:

Gariano, Isaac Oscar ; Servetto, Marco ; Potanin, Alex
Science of Computer Programming.  224 (2022)  - p. 102878 , 2022
Link: https://doi.org/10.1016/..
 
?
2

More Programming Than Programming: Teaching Formal Methods ..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Noble, James ; Streader, David ; Gariano, Isaac Oscar. - p. 431-450 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Naïve transient cast insertion isn't (that) bad:

, In: Proceedings of the 16th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems,
Greenwood-Thessman, Erin ; Gariano, Isaac Oscar ; Roberts, Richard... - p. 1-9 , 2021
Link: https://dl.acm.org/doi/1..
 
?
4

Dala: a simple capability-based dynamic language design for..:

, In: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,
Fernandez-Reyes, Kiko ; Gariano, Isaac Oscar ; Noble, James... - p. 1-17 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Which of my transient type checks are not (almost) free?:

, In: Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages,
Gariano, Isaac Oscar ; Roberts, Richard ; Marr, Stefan.. - p. 58-66 , 2019
Link: https://dl.acm.org/doi/1..
 
?
6

CallƐ: an effect system for method calls:

, In: Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,
Gariano, Isaac Oscar ; Noble, James ; Servetto, Marco - p. 32-45 , 2019
Link: https://dl.acm.org/doi/1..
 
?
7

More Programming Than Programming: Teaching Formal Methods ..:

Noble, James ; Streader, David ; Gariano, Isaac Oscar.
http://arxiv.org/abs/2205.00787.  , 2022
Link: http://arxiv.org/abs/220..
 
?
8

Dala: A Simple Capability-Based Dynamic Language Design For..:

Fernandez-Reyes, Kiko ; Gariano, Isaac Oscar ; Noble, James...
http://arxiv.org/abs/2109.07541.  , 2021
Link: http://arxiv.org/abs/210..
 
?
9

Iteratively Composing Statically Verified Traits:

Gariano, Isaac Oscar ; Servetto, Marco ; Potanin, Alex.
http://arxiv.org/abs/1902.09685.  , 2019
Link: http://arxiv.org/abs/190..
 
?
10

CallE: An Effect System for Method Calls:

Gariano, Isaac Oscar ; Noble, James ; Servetto, Marco
http://arxiv.org/abs/1907.04934.  , 2019
Link: http://arxiv.org/abs/190..
 
?
11

Sound Invariant Checking Using Type Modifiers and Object Ca..:

Gariano, Isaac Oscar ; Servetto, Marco ; Potanin, Alex
http://arxiv.org/abs/1902.10231.  , 2019
Link: http://arxiv.org/abs/190..
 
?
12

Towards Gradual Checking of Reference Capabilities:

Fernandez-Reyes, Kiko ; Gariano, Isaac Oscar ; Noble, James.
http://arxiv.org/abs/1909.01465.  , 2019
Link: http://arxiv.org/abs/190..
 
?
13

Which of My Transient Type Checks Are Not (Almost) Free?:

Gariano, Isaac Oscar ; Roberts, Richard ; Marr, Stefan..
http://arxiv.org/abs/1909.05581.  , 2019
Link: http://arxiv.org/abs/190..
 
?
14

M{\mu}l: The Power of Dynamic Multi-Methods:

Gariano, Isaac Oscar ; Servetto, Marco
http://arxiv.org/abs/1910.00709.  , 2019
Link: http://arxiv.org/abs/191..
 
?
15

Callℇ: An effect system for method calls:

Isaac Oscar Gariano ; Robert Noble ; Marco Servetto
doi:10.25455/wgtn.15982596.v1.  , 2019
Link: https://doi.org/10.25455..
 
1-15