1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2019
Iteratively Composing Statically Verified Traits
Isaac Oscar Gariano, Marco Servetto, Alex Potanin +1
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 ver…
cs.PL2019★ 1 cited
Separating Use and Reuse to Improve Both
Hrshikesh Arora, Marco Servetto, Bruno C. D. S. Oliveira
Context: Trait composition has inspired new research in the area of code reuse for object oriented (OO) languages. One of the main advantages of this kind of composition is that it…