Algebraic Notation

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

RINA ZAZKIS∗ and PETER LILJEDAHL GENERALIZATION OF PATTERNS: THE TENSION BETWEEN ALGEBRAIC THINKING AND ALGEBRAIC NOTATION

This study explores the attempts of a group of preservice elementary school teachers to generalize a repeating visual number pattern. We discuss students’ emergent algebraic thinking and the variety of ways in which they generalize and symbolize their generalizations. Our results indicate that students’ ability to express generality verbally was not accompanied by, and did not depend on, algebr...

متن کامل

From RTM-notation to ENP-score-notation

This paper discusses some recent developments within a compositional environment called PWGL. Our focus is to present how score information is represented in PWGL. We give some background information concerning the rhythmic notation that was used in PatchWork (a predecessor of PWGL). After this we show how this notation has been expanded so that it allows to generate very detailed scores that c...

متن کامل

Tree Notation: an antifragile document notation

We discover a new family of programming languages that align source code with abstract syntax trees. With further discoveries from the community, these new languages may lead to order-of-magnitude gains in developer productivity. We make some predictions and introduce a new conjecture on data structures. We end with a joke. Fig. 1. This diagram is the output of an ETN program.

متن کامل

Algebraic Properties in Alice and Bob Notation ( Extended Version , revised October 2008

Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Severalformal protocol specification languages are based on this notation. One of the most severe limitations of these languagesis the lack of algebraic reasoning, which is required for instance for the correct interpretation of Diffie-Hellman basedprotocols. As a c...

متن کامل

An Algebraic Compositional Semantics of an Object Oriented Notation with Concurrency

This paper presents an algebraic compositional semantics for a schema of an object-oriented syntax which models many existing features as class hierarchies, polymorphism and concurrency, using a pattern which could be applied to different concrete languages (in what follows O-O stands for “object-oriented”). The semantics is defined in a classical denotational style, ie giving an abstract synta...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Science

سال: 1892

ISSN: 0036-8075,1095-9203

DOI: 10.1126/science.ns-20.516.359-a