Algebraic Notation
نویسندگان
چکیده
منابع مشابه
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