INFORMATION-BASED THEORY OF SYNTAX AND SEMANTICS
نویسندگان
چکیده
منابع مشابه
Book Reviews: Information-based Syntax and Semantics. Vol 1: Fundamentals
ity over the technical or implementational point of view. In this regard, it cannot be criticized as designed in a too rigid way from the implementational viewpoint and not adaptable to new situations and unforeseen phenomena. The separation of data structures from the procedures and the modularity of the system are features that are essential to the extendability of the system to other domains...
متن کاملHomotopy Model Theory I: Syntax and Semantics
A model theory in the framework of Univalent Foundations requires a logic that allows us to define structures on homotopy (n-)types, similar to how first-order logic can define structures on sets. We define such an “n-level” logic for finite n. The syntax is based on a generalization of Makkai’s FOLDS, obtained by an operation that allows us to add equality sorts to FOLDS-signatures. We then gi...
متن کاملThe Syntax and Semantics ofQuantitative Type Theory
Type Theory offers a tantalising promise: that we can program and reason within a single unified system. However, this promise slips away when we try to produce efficient programs. Type Theory offers little control over the intensional aspect of programs: how are computational resources used, and when can they be reused. Tracking resource usage via types has a long history, starting with Girard...
متن کاملReverse Engineering of Network Software Binary Codes for Identification of Syntax and Semantics of Protocol Messages
Reverse engineering of network applications especially from the security point of view is of high importance and interest. Many network applications use proprietary protocols which specifications are not publicly available. Reverse engineering of such applications could provide us with vital information to understand their embedded unknown protocols. This could facilitate many tasks including d...
متن کاملSyntax and Semantics interacting in a Minimalist theory
After several proposals of a logical account of minimalism [5, 4, 6, 1], on the basis of the formalization provided by Edward Stabler [7, 8], we explore more precisely the interface between syntax and semantics. The main idea is that, according to many observations made for instance by Ray Jackendoff [3], the logical form is not the mere result of a derivation after the consumption of formal fe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ENGLISH LINGUISTICS
سال: 1996
ISSN: 0918-3701,1884-3107
DOI: 10.9793/elsj1984.13.367