Results 11 to 20 of about 334,215 (267)
ISML: An Interface Specification Meta-language [PDF]
, 2003 In this paper we present an abstract metaphor model situated within a model-based user interface framework. The inclusion of metaphors in graphical user interfaces is a well established, but mostly craft-based strategy to design. A substantial body of notations and tools can be found within the model-based user interface design literature, however an ...
Simon Crowle, Linda Hole
openaire +1 more source
Formalizing Narrative Structures: Glossematics, Generativity, and Transformational Rules
Signata, 2013 According to the author, Hjelmslev’s Glossematics is not adequate to base Greimas’s narrative structures for several reasons. First, Glossematics could be effectively encoded as a Turing Machine. Unfotunately, it would be generative only in a weak sense:
Francesco Galofaro
doaj +1 more source
Discrete Time Model for Process Meta Language with Fictitious-Clock
Applied Sciences, 2022 Industries like telecommunications, medical, automotive, military, avionics, and aerospace use complex real-time systems. Specification and Description Language (SDL) is one of the leading domain specific languages that is formally defined by ...
Boštjan Vlaovič, Aleksander Vreže
doaj +1 more source
L’iconicité filmique. Un métalangage de la perception ?
Signata, 2013 In which way can the iconic language of filmic images be understood as a metalanguage of the forms of perception? Cinema provides a bilateral iconic orientation: its moving images contain likewise a perceivable perceiving instance and perceivable ...
Anne Dymek
doaj +1 more source
Métalangage iconique et attitude métadiscursive
Signata, 2013 This article focuses on how and if the concept of “metalanguage” can be transferred from verbal language to image. This questioning suggests that there is indeed such a thing as a fairly stable iconic code, while it is commonly accepted that this image ...
Odile Le Guern
doaj +1 more source
Meta Languages in Algebraic Compilers [PDF]
, 2000 Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for constructing its target language image; these associated computations, called derived operations, are expressed in terms of operations from the target language.
openaire +1 more source
Psychological Determinants of Meta-Linguistic Skills by Pre-School Children
Logopaedica Lodziensia, 2020 The paper concerns psycholinguistic phenomena connected with meta-language, meta-linguistic awareness and children’s semantic skills. The main aim of empirical activities was to analyze psychological and linguistic conditionings of acquiring the meanings
Katarzyna Jachimowska +1 more
doaj +1 more source
Effects Without Monads: Non-determinism – Back to the Meta Language [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We reflect on programming with complicated effects, recalling an undeservingly forgotten alternative to monadic programming and checking to see how well it can actually work in modern functional languages. We adopt and argue the position of factoring an
Oleg Kiselyov
doaj +1 more source
Isabelle/HOL as a Meta-Language for Teaching Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2020 In Proceedings ThEdu'20, arXiv:2010 ...
Asta Halkjær From +2 more
openaire +3 more sources
Modèles épistémologiques pour le métalangage
Signata, 2013 We will first remind the development of three ways of conceiving the relation between language and meta-language in twentieth century logic and philosophy of language. These are the model of a single language which cannot tell its own forms (Wittgenstein)
Laurence Bouquiaux +2 more
doaj +1 more source