An object-oriented language with automatic synthesis of methods (programs) and transformations of OO descriptions using a logical metalanguage (Horn-clause logic) are considered. Automatic synthesis of methods (Proof-As-Program approach) is based on in-tuitionistic propositional calculus. The metalanguage expresses general knowledge related to classes and objects and it is used for describing t...

This paper introduces a formal metalanguage called the lambda-q calculus for the specification of quantum programming languages. This metalanguage is an extension of the lambda calculus, which provides a formal setting for the specification of classical programming languages. As an intermediary step, we introduce a formal metalanguage called the lambdap calculus for the specification of program...

The term cultural scripts refers to a powerful new technique for articulating cultural norms, values, and practices in terms which are clear, precise, and accessible to cultural insiders and to cultural outsiders alike. This result is only possible because cultural scripts are formulated in a tightly constrained, yet expressively flexible, metalanguage consisting of simple words and grammatical...

This poster presentation is the culmination of an extensive statistical study of Latin elegy. The notion that poetic sound represents a distinct layer of information where discrete patterns can be found is an intriguing one. In a theoretical context, sound captures a "metalanguage" that is universal to all discourse, but only exposed in poetry. This poster develops a model for metalanguage and ...

The metalinguistic facilities of natural language are crucial to our ability to communicate, but the patterns behind the appearance of metalanguage—and thus the clues for how we may instruct computers to detect it—have remained relatively unknown. This paper describes the first results on the feasibility of automatically identifying metalanguage in English text. A core metalinguistic vocabulary...

Metalanguage is an essential linguistic mechanism which allows us to communicate explicit information about language itself. However, it has been underexamined in research in language technologies, to the detriment of the performance of systems that could exploit it. This paper describes the creation of the first tagged and delineated corpus of English metalanguage, accompanied by an explicit d...

An object-oriented language with automatic synthesis of methods (programs) and transformations of OO descriptions using a logical metalanguage (Horn-clause logic) are considered. Automatic synthesis of methods (Proof-As-Program approach) is based on intuitionistic propositional calculus. The metalanguage expresses general knowledge related to classes and objects and it is used for describing tr...

To ensure the re-use of domain ontologies the usual approach relies on a pivot language, e.g., Kif, into and from which the domain ontology is translated. This requires several distinct translators for the diierent target Knowledge Based System (KBS). We propose a solution which uses a unique translator whatever the target KBS, Description Logic, objects or frames. It relies on a Domain Ontolog...

This paper offers a metalanguage to describe the nature of choosing the syntactic position of a causee in causative constructions, focusing on transitive constructions in nominative-accusative languages, with some comments on ergative languages. The generalization of Comrie's hypothesis about the causee's position is also given in terms of this metalanguage. Several statements pretending to be ...