When ACL2 is used to model the operational semantics of computing machines, machine states are typically represented by terms recording the contents of the state components. When models are realistic and are stepped through thousands of machine cycles, these terms can grow quite large and the cost of simplifying them on each step grows. In this paper we describe an ACL2 book that uses HIDE and ...

Certain functions in groupware affect more than one user who might have conflicting interests. To describe conflicts arising from the use of groupware functions, we distinguish the roles of the activator and the user affected. As technical means to lessen these conflicts, we develop two metafunctions: visibility of use and negotiability. We expect that these metafunctions reduce role-based conf...

This study aims to investigate the power domination strategy of Joko Widodo’s Job Creation Law speech on October 9th 2020. The current utilizes Critical Discourse Analysis (CDA) model unmask through language use. Ideational metafunctions SFL is used in this research as tool for analyzing textual dimension and further investigation discursive practice. results prove existence domination. From in...

Systemic Functional Linguistics provides a social perspective to language study and views language as a social semiotic resource people use to accomplish their purposes by expressing meanings in context. This paper aims to discuss the semantic aspect from the three metafunctions and the context in which meaning is

Domain specific languages embedded in C++ (EDSLs) often use the techniques of template metaprogramming and expression templates. However, these techniques can require verbose code and introduce maintenance and debugging challenges. This paper presents a tool written in Racket for generating C++ programs, paying particular attention to the challenges of metaprogramming. The code generator uses R...

The goal of the analysis is to examine the function of the expressiveness of intonation from the viewpoint of three metafunctions of Systemic Grammar. One of the findings in this paper is that the Ideational metafunction in tone languages is functionally limited because of the pitch movement reserved for lexical distinction. In the Textual metafunction, especially for certain phenomena such as ...

SAlthough different theoretical models are complementary, functional models in general, andSystemic Functional Linguistics in particular lend themselves to the analysis of text. This is so atthe level of register, in terms of Field, Tenor and Mode, as well as at the level of semantics interms of ideational, interpersonal and textual metafunction. This paper will consider two...