Syntactical and semantical aspects of Faust
نویسندگان
چکیده
This paper presents some syntactical and semantical aspects of FAUST (Functional AUdio STreams), a programming language for real-time sound processing and synthesis. The programming model of FAUST combines two approaches : functional programming and block-diagrams composition. It is based on a block-diagram algebra. It has a well defined formal semantic and can be compiled into efficient C/C++ code.
منابع مشابه
Illustration watermarking: an object-based approach for digital images
For most applications common watermarking techniques usually spread the data to embed over the entire media, since distributing the watermark information promises an improvement in regard to security aspects, data hiding capacity or rather robustness in terms of redundancy. Distribution is controlled by a a visual or psychoacoustical model that takes limitations of the Human Visual System (HVS)...
متن کاملExistential Vs Preserved by Extensions, and Other Syntax/semantics Correspondences
We look at various preservation theorems of classical logic ((rst of all, Los-Tarski theorem) which fail in the context of nite models , and examine the extent of their failure. In some cases, even if the old correspondence between syntactical and semantical properties does not hold, one can nd a new semantical counterpart for the syntacti-cal property, and vice versa-a new syntactical counterp...
متن کاملA semantical perspective on verification of knowledge
The usual approaches to verification of knowledge in the literature have a rather practical nature, and are sometimes ad hoc and depending on the syntactical structure of a particular knowledge representation language in the definitions of the properties that are tested. In this paper a more principled investigation provides a well-defined semantical basis, independent of any particular syntact...
متن کاملA Semantical Notion of Relevance in Speciications of Database Updates and Its Computational Counterpart
Using the situation calculus as underlying formalism for specifying database updates as proposed by Raymond Reiter, a semantical notion of relevance of entries in tables to other entries is introduced. Also a semantical notion of relevant action is provided. Some properties of these semantical notions are investigated. In particular, they are compared with syntactical deenitions of relevance th...
متن کاملLearning Parse Decisions from Examples with Rich Context
We present a knowledge and context-based system for parsing natural language and evaluate it on sentences from the Wall Street Journal. Applying machine learning techniques, the system uses parse action examples acquired under supervision to generate a deterministic shift-reduce parser in the form of a decision structure. It relies heavily on context, as encoded in features which describe the m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Soft Comput.
دوره 8 شماره
صفحات -
تاریخ انتشار 2004