Much work in the field of social cognition shows that adopting an abstract (vs concrete) mindset alters the way people construe the world, thereby exerting substantial effects across innumerable aspects of human behavior. In order to investigate the cognitive and neural basis of these effects, we scanned participants as they performed two widely used tasks that induce an abstracting vs concreti...

Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving transformation of an extension of System F with guarded algebraic data types into itself. We also suggest that defunctionalization is an instance of concretization, a more general technique that allows eliminating constructs other t...

Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization of constraints that arise in parametric shape analysis based on manipulation of three-valued structures as dataflow facts. We identify an interesting syntactic class of first-order logic formulas that captures the mea...

interpretation is a theory to define and soundly approximate the semantics of a program [8, 9], focusing on some runtime properties of interest. Usually, each concrete state is composed by a set of elements (e.g., all the possible computational states), that is approximated by a unique element in the abstract domain. Formally, the concrete domain ℘(D) forms a complete lattice 〈℘(D),⊆, ∅,D,∪,∩〉....

This paper describes the concepts of concretization and social imaginary and argues that they provide helpful hints to a more advanced cultural understanding of robot technology, so the human system may exploit the full potential of such living technology.