نتایج جستجو برای: syntax

تعداد نتایج: 22096  

Journal: :CoRR 2013
Luis Quesada Fernando Berzal Galiano Juan C. Cubero

Syntax Tree Concrete Syntax Model Abstract Syntax Model instance of instance of Textual Representation Parser input output Figure 1: Traditional language processing. Context-Free Grammar e.g. BNF Conceptual Model Textual Representation Parser Abstract Syntax Graph Concrete Syntax Model Abstract Syntax Model instance of instance of

2005
Eli Barzilay

Syntax : Syntax represented as data, similar to concrete syntax, except that irrelevant features are abstracted away. For this work, this is exactly like concrete syntax modulo alpha-equality. (Note that the “abstract” here is unrelated to functions, it is only to distinguished the represented syntax from the actual syntax.) Higher Order Abstract Syntax, HOAS : Similar to abstract syntax, excep...

Journal: :معماری و شهرسازی 0
سیدحسین بحرینی استاد دانشکده شهرسازی، پردیس هنرهای زیبا، دانشگاه تهران سوده تقابن کارشناس ارشد طراحی شهری، پردیس هنرهای زیبا، دانشگاه تهران

the complexity of today’s subject matter of urban design is to the extent that no urban designer may be able to consider all relevant issues and their interactive impacts simultaneously, and thereby make appropriate decisions. application of computer techniques has made the analysis of complex issues in urban design possible. this has been a great help for urban designers. space syntax method i...

2011
Patrick Bahr Tom Hvitved

In previous work we have illustrated the benefits that compositional data types (CDTs) offer for implementing languages and in general for dealing with abstract syntax trees (ASTs). Based on Swierstra’s data types à la carte, CDTs are implemented as a Haskell library that enables the definition of recursive data types and functions on them in a modular and extendable fashion. Although CDTs prov...

2003
Antonio Cerone

ASN.1 (Abstract Syntax Notation One) has been increasingly used in defining the data structures used in internet security protocols. In this paper we present a framework for translating ASN.1 specification into Z. We use a restricted version of ASN.1, which is however sufficiently powerful to specify important network communication protocols. Finally, we present an example of translation based ...

We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This first part introduces the main conceps and philosophies anddiscu...

Journal: :إضاءت نقدیه فی الأدبین العربی و الفارسی 0
عباس کنجعلی أستاذ مساعد بجامعة الحکیم السبزواری، سبزوار، إیران. نعمان أنق طالب مرحلة الدکتوراه بجامعة الحکیم السبزواری، سبزوار، إیران.

qeysar aminpour (1959-2007) is one of the outstanding figures in contemporary persian poetry. one of the prominent aspects of his poetic style is the distinct language of his poems in the three areas of lexicon, compositions and syntax. relying on these three areas, this study attempted to investigate the most important linguistic features of his poetry in order to figure out special style of t...

Journal: :بحوث فی اللغه العربیه 0
ریاض السواد استاد دانشگاه ذی قار عراق. مرضیه قربانخانی دانشجوی دکترای زبان و ادبیات عربی دانشگاه اصفهان.

â  â  â  reasons of differences in grammatical opinions among the ancients â â â â â â â  ryadh alsawad * â  marzieh ghorbankhani ** â  â  abstract â â â  the most important characteristic of the rules of arabic language is their extent and diversity, so that they are difficult for learners to manage and learn. there are different reasons that play role in formation of this diversity. some reas...

1993
David Hemer Peter Lindsay Rex Matthews

This document presents a formal abstract syntax in Z for fragments in the CARE language. Constraints are included which deene the \semantic checks" which deene well-formedness of fragments.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید