We analyze the execution of a new suite of medium-sized and realistic benchmarks through simulations on ageneral-purpose, register-oriented architecture at the abstract machine and architectural levels to identify the mostcritical characteristics of Prolog for efficient execution. We propose improvements through modest enhancements tothe architecture and to the Warren abstract machi...

Barbuti, R. and R. Giacobazzi, A bottom-up polymorphjc type inference in logic programming, Science of Computer Programming 19 (1992) 281-313. We present a type inference system for Horn clause logic programs, based on a bottom-up abstract interpretation technique. Through the definition of suitable abstract operators, we obtain an abstract immediate consequence operator map associated with the...

Abstract. A Rota-Baxter operator of weight λ is an abstraction of both the integral operator (when λ = 0) and the summation operator (when λ = 1). We similarly define a differential operator of weight λ that includes both the differential operator (when λ = 0) and the difference operator (when λ = 1). We further consider an algebraic structure with both a differential operator of weight λ and a...

The notions of column and row operator space were extended by A. Lambert from Hilbert spaces to general Banach spaces. In this paper, we use column and row spaces over quotients of subspaces of general Lp-spaces to equip several Banach algebras occurring naturally in abstract harmonic analysis with canonical, yet not obvious operator space structures that turn them into completely bounded Banac...

Abstract. In this paper, we study certain Virasoro frames for lattice vertex operator algebras and their Z2-orbifolds using linear codes over Z4. We also compute the corresponding frame stabilizer from the view point of binary codes and Z4-codes. As an application, we determine the frame stabilizers of several Virasoro frames of the vertex operator algebra VE8 and the moonshine vertex operator ...