DeepAI AI Chat
Log In Sign Up

Doubly F-Bounded Generics

08/18/2018
by   Moez A. AbdelGawad, et al.
Rice University
0

In this paper we suggest how f-bounded generics in nominally-typed OOP can be extended to the more general notion we call `doubly f-bounded generics' and how doubly f-bounded generics can be reasoned about.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/01/2019

Graphs of bounded cliquewidth are polynomially χ-bounded

We prove that if C is a hereditary class of graphs that is polynomially ...
07/14/2022

2-Layer Graph Drawings with Bounded Pathwidth

We determine which properties of 2-layer drawings characterise bipartite...
11/15/2019

Some remarks regarding finite bounded commutative BCK-algebras

In this chapter, starting from some results obtained in the papers [FV; ...
08/09/2023

Bounded Distributions place Limits on Skewness and Larger Moments

Distributions of strictly positive numbers are common and can be charact...
09/27/2020

Entropy versus influence for complex functions of modulus one

We present an example of a function f from {-1,1}^n to the unit sphere i...
11/14/2018

Bounded ACh Unification

We consider the problem of unification modulo an equational theory ACh, ...
09/10/2021

Automated Machine Learning, Bounded Rationality, and Rational Metareasoning

The notion of bounded rationality originated from the insight that perfe...