✦ LIBER ✦

Examples of algorithms specification by means of attribute grammars

✍ Scribed by A. Bellanova

Book ID: 110562621
Publisher: Springer Milan
Year: 1984
Tongue: English
Weight: 731 KB
Volume: 21
Category: Article
ISSN: 0008-0624
DOI: 10.1007/bf02576483

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specification of a query language by the

Specification of a query language by the attribute method

✍ Timo Niemi 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 919 KB

Characterizations of recursively enumera

Characterizations of recursively enumerable languages by means of insertion grammars

✍ Carlos Martin-Vide; Gheorghe Păun; Arto Salomaa 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 720 KB

Code mutation techniques by means of for

Code mutation techniques by means of formal grammars and automatons

✍ Zbitskiy, Pavel V. 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 729 KB

A Comparison of Tree Transductions Defin

A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars

✍ Roderick Bloem; Joost Engelfriet 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 547 KB

Two well-known formalisms for the specification and computation of tree transductions are compared: the mso graph transducer and the attributed tree transducer with look-ahead, respectively. The mso graph transducer, restricted to trees, uses monadic second order logic to define the output tree in t

On the specification of automata by mean

On the specification of automata by means of a microprogram

✍ A. T. Mishchenko 📂 Article 📅 1973 🏛 Springer US 🌐 English ⚖ 952 KB

Matrix inversion algorithms by means of

Matrix inversion algorithms by means of automatic differentiation

✍ K. Kubota 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 299 KB