BlenX Static and Dynamic Semantics (original) (raw)

Lecture Notes in Computer Science, 2009

Abstract

... Corrado Priami, Paola Quaglia, and Alessandro Romanel ... The syntax of BlenX is parametrized by three countable and pairwise disjoint sets: the set N of names (ranged over by n,m,n ,m ,...) the set X of vari-ables (ranged over by x,x ,...) and the set BV of basic values (ranged ...

Paola Quaglia hasn't uploaded this paper.

Let Paola know you want this paper to be uploaded.

Ask for this paper to be uploaded.