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

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

2017
Matt Kaufmann Sol Swords

ACL2 has long supported user-defined simplifiers, so-called metafunctions and clause processors, which are installed when corresponding rules of class :meta or :clause-processor are proved. Historically, such simplifiers could access the logical world at execution time and could call certain built-in proof tools, but one could not assume the soundness of the proof tools or the truth of any fact...

Journal: :Profile Issues in Teachers' Professional Development 2021

This study explores the ways in which master thesis writers position their research field of English language teaching a context where academic literacies are still developing field. From social semiotic perspective, this paper aims to identify resources use represent object and provide justification for research. The analysis focuses on ideational textual metafunctions account patterns meaning...

1999
Edward D. Willink Vyacheslav B. Muchnick

Problems with the lexical substitution mechanism of the C preprocessor are well known. We resolve these problems with a new syntax-based substitution mechanism for C++ based on meta-variables and metafunctions. Implementation of these meta-concepts in a C++ style leads naturally to meta-expressions and then meta-statements and a generalisation of C++ syntax. We show how meta-compilation renders...

2007
Bidemi Okanlawon

The aim of this study was to examine the usage of English in a Nigerian university community, particularly through identification of the types of nominal group used in naming shops as well as the linguistic resources used in their creation. The data used for the study were fifty shop-names, which are all English nominal groups. Analysis of data showed that the mh type of nominal group was most ...

2006
Miriam Taverniers

This paper deals with the concept of grammatical subjecthood, and focuses on different perspectives from which this grammatical function has been defined and described in a number of linguistic schools. Properties that have been assigned to the Subject function are grouped into four dimensions (i.e. predication, mood, voice/diathesis, and theme), and it is argued that each of these Subject dime...

1999
Sarah Louise Oates

machine can be interpreted together as representing a list of items. (Maier and Hovy, 1991) The next class of relations are referred to as interpersonal relations. Each relation in this class has its own specific effect on the reader. For example, to convince or motivate the reader to do something. They are, therefore, similar to Mann and Thompson’s (Mann and Thompson, 1988) presentational rela...

2013
Elisabetta Adami

The paper presents a social semiotic multimodal framework for the analysis of website interactivity. Distinguishing it from interaction, the work defines interactivity as the affordance of a text of being acted (up)on. It is actualized digitally in interactive sites/signs (hyperlinks included), having a two-fold nature, as places enabling actions producing effects and as forms endowed with mean...

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

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