Affine Refinement Types for Secure Distributed Programming
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
Polyhedral AST Generation Is More Than Scanning Polyhedra
Tobias Grosser, Sven Verdoolaege, Albert Cohen
Behavioral Subtyping, Specification Inheritance, and Modular Reasoning
Gary T. Leavens, David A. Naumann
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: