Results 1 - 10 of 17,107

Table I.1: Abstract syntax tree constructors

in Preface
by Gordon Ononiwu, Twaha Mlwilo, Bitvecexpression Bitvector Expression 2007

Table I.2: Abstract syntax tree constructors

in Preface
by Gordon Ononiwu, Twaha Mlwilo, Bitvecexpression Bitvector Expression 2007

Table 1: Augmented regular tree expressions (abstract values): Syntax and semantics

in Towards automatic construction of staged compilers
by Matthai Philipose, Craig Chambers, Susan J. Eggers 2002
Cited by 5

Table I. Sets and Their Meanings during Traversal of Abstract Syntax Tree

in Natural semantics as a static program analysis framework
by Sabine Glesner, Wolf Zimmermann
Cited by 1

Table I.3: Cont. Abstract syntax tree constructor

in Preface
by Gordon Ononiwu, Twaha Mlwilo, Bitvecexpression Bitvector Expression 2007

Table I.4: Cont. Abstract syntax tree constructor

in Preface
by Gordon Ononiwu, Twaha Mlwilo, Bitvecexpression Bitvector Expression 2007

Table 1. Abstract syntax

in Heap-Abstraction for an Object-Oriented Calculus with Thread Classes ⋆
by Erika Ábrahám, Andreas Grüner, Martin Steffen
"... In PAGE 3: ... 2.1 Syntax The abstract syntax is given in Table1 . A program is given by a collection of classes where a class c[(O)] carries a name c and de nes the implementation of its methods and elds.... ..."

Table 1. Abstract Syntax

in Protecting representations with . . .
by Yi Lu, et al.
"... In PAGE 6: ... 4.1 Syntax The abstract syntax is given in Table1 . The metavariable T ranges over types; K and E range over contexts; L ranges over class def- initions; M ranges over method definitions; e ranges over expres- sions; C, f, and m range over class names, field names and method names respectively; X ranges over formal context parameters; and x ranges over variable names with this as a special variable name to reference the target object for the current call.... ..."

Table 1. Abstract syntax

in Object connectivity and full abstraction for a concurrent calculus of classes
by Erika Ábrahám, Marcello M. Bonsangue, Frank S. De Boer, Martin Steffen 2005
Cited by 9

Table 1. Abstract syntax

in Observability, connectivity, and replay in a sequential calculus of classes
by Erika Ábrahám, Marcello M. Bonsangue, Frank S. De Boer, Andreas Grüner, Martin Steffen 2005
Cited by 2
Results 1 - 10 of 17,107