Essays about: "Metalanguage"

Found 5 essays containing the word Metalanguage.

  1. 1. Why not "English only"? : Patterns of code-switching between Swedish and English in Swedish upper secondary EFL education

    University essay from Linnéuniversitetet/Institutionen för språk (SPR)

    Author : Johan Vestin; [2019]
    Keywords : code-switching; EFL Teaching; Equivalence; Reiteration; Socializing; Metalanguage; L2 Avoidance; Floor-holding;

    Abstract : English education in Sweden tends to be viewed as a second language, rather than a foreign language. Therefore, it is generally expected that instruction is performed, and content is taught in English. However, previous research shows that English is generally not the sole language used, even in classrooms with explicit “English only” policies. READ MORE

  2. 2. Provably Sound and Secure Automatic Proving and Generation of Verification Conditions

    University essay from KTH/Teoretisk datalogi, TCS

    Author : Didrik Lundberg; [2018]
    Keywords : HOL4; HOL; Higher-order logic; SML; Poly ML; Formal methods; Axiomatic semantics; Formal verification; Static verification; Program verification; Hoare logic; Floyd-Hoare logic; ITP; Interactive theorem prover; Theorem prover; Proof assistant; BIR; Automated theorem proving; ATP; Automated deduction; Computer-assisted proof; Automated reasoning;

    Abstract : Formal verification of programs can be done with the aid of an interactive theorem prover. The program to be verified is represented in an intermediate language representation inside the interactive theorem prover, after which statements and their proofs can be constructed. This is a process that can be automated to a high degree. READ MORE

  3. 3. Will To Appear

    University essay from Lunds universitet/Masterprogram: Litteratur - Kultur – Media; Lunds universitet/Engelska

    Author : Paul Kraus; [2015]
    Keywords : Bret Easton Ellis; American Psycho; Literary Analysis; Critical Analysis; Deleuze; Foucault; Control Society; Discipline; William S. Burroughs; Dante; Augustine; Languages and Literatures;

    Abstract : This paper presents an opportunity for the uncertainty that has plagued the novel's criticism to appear as absences in the body of historical knowledge, particularly regarding the notion of life after death. Taking appearance (eg. READ MORE

  4. 4. Teaching English grammar : A case study of the differences and similarities between teaching English grammar to native- and non-native speakers of English in Sweden and in the UK

    University essay from Linnéuniversitetet/Institutionen för språk och litteratur, SOL

    Author : Jessica Granlund; [2010]
    Keywords : accuracy; deductive grammar; English grammar teaching; explicit grammar; FL; grammar teaching; L1; metalanguage; teacher views on grammar; teacher practices of grammar;

    Abstract : The aim of this study is to investigate the similarities/differences in the views on and practices of grammar teaching of a Swedish teacher of English (FL – Foreign Language) and a UK teacher of English (L1 – First Language). Furthermore, the study tries to explain how the differences found in the comparison can be connected to each country’s different steering documents and to the different teaching conditions involved in teaching English to L1 learners compared to FL learners. READ MORE

  5. 5. Integration of Static and Dynamic Middleware-based Subsystems Using an Intermediate Gateway

    University essay from KTH/Maskinkonstruktion (Inst.)

    Author : Javier Garcia; [2008]
    Keywords : ;

    Abstract : This thesis is a part of the KTH’s participation in the DySCAS European project. Its purpose isto explore the possibility of integrating different middleware based embedded electronicsubsystems by connecting them with an intermediate gateway. READ MORE