Log in

Relevant bibliographies by topics / Structural Semantics / Journal articles

To see the other types of publications on this topic, follow the link: Structural Semantics.

Journal articles on the topic 'Structural Semantics'

Author: Grafiati

Published: 4 June 2021

Last updated: 2 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Structural Semantics.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Derevianko, V. "PRAGMATIC ASPECTS OF SEMANTICS OF TRANSFORMED PHRASES." Comparative studies of Slavic languages and literatures. In memory of Academician Leonid Bulakhovsky, no. 36 (2020): 13–24. http://dx.doi.org/10.17721/2075-437x.2020.36.02.

Full text

Abstract:

The article deals with the problem of pragmatic aspects of the semantics of transformed phrases. Functional-pragmatic features of transformed phrases are explored on examples of structural-semantic transformations of the distributionof the component composition. The structural analysis is presented and the formal features of the phraseological transformations updated by the spreading of the component composition is analyzed. An attempt to find out the causes and purposes of the authors using of the structural-semantic transformations of the component composition spreading of phrases and their influence on the phraseological significance is made in the article.In accordance with the author’s intentions, the pragmatic potential of phraseological transformations in the Czech opinion journalism is clarified. Comparing meaning of the actualized phraseological transformations with the values of phraseological invariants (based on the Czech National Corps), the author identified 5 types of the semantic landslides: 1) specification of semantics; 2) the literalization of semantics; 3) intensification of semantics; 4) expression of semantics; 5) explication of semantics. The pragmatic potential of phraseological semantics modeling is outlined.

APA, Harvard, Vancouver, ISO, and other styles

2

Cousot, Patrick, and Radhia Cousot. "Bi-inductive Structural Semantics." Electronic Notes in Theoretical Computer Science 192, no. 1 (October 2007): 29–44. http://dx.doi.org/10.1016/j.entcs.2007.08.015.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Cousot, Patrick, and Radhia Cousot. "Bi-inductive structural semantics." Information and Computation 207, no. 2 (February 2009): 258–83. http://dx.doi.org/10.1016/j.ic.2008.03.025.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Johansen, Christian, and Olaf Owe. "Dynamic structural operational semantics." Journal of Logical and Algebraic Methods in Programming 107 (October 2019): 79–107. http://dx.doi.org/10.1016/j.jlamp.2019.05.006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Mosses, Peter D. "Modular structural operational semantics." Journal of Logic and Algebraic Programming 60-61 (July 2004): 195–228. http://dx.doi.org/10.1016/j.jlap.2004.03.008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Aceto, Luca, and Wan Fokkink. "Guesteditors'introduction:Specialissueon Structural Operational Semantics." Journal of Logic and Algebraic Programming 60-61 (July 2004): 1–2. http://dx.doi.org/10.1016/j.jlap.2004.03.010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Steingartner, William, and Valerie Novitzká. "Categorical model of structural operational semantics for imperative language." Journal of information and organizational sciences 40, no. 2 (December 9, 2016): 203–19. http://dx.doi.org/10.31341/jios.40.2.3.

Full text

Abstract:

Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics. It describes program behavior in the form of state changes after execution of elementary steps of program. This feature makes structural operational semantics useful for implementation of programming languages and also for verification purposes. In our paper we present a new approach to structural operational semantics. We model behavior of programs in category of states, where objects are states, an abstraction of computer memory and morphisms model state changes, execution of a program in elementary steps. The advantage of using categorical model is its exact mathematical structure with many useful proved properties and its graphical illustration of program behavior as a path, i.e. a composition of morphisms. Our approach is able to accentuate dynamics of structural operational semantics. For simplicity, we assume that data are intuitively typed. Visualization and facility of our model is not only a new model of structural operational semantics of imperative programming languages but it can also serve for education purposes.

APA, Harvard, Vancouver, ISO, and other styles

8

Moradi, Mohammad, and MohammadReza Keyvanpour. "XML and Semantics." International Journal of Electrical and Computer Engineering (IJECE) 5, no. 5 (October 1, 2015): 1174. http://dx.doi.org/10.11591/ijece.v5i5.pp1174-1179.

Full text

Abstract:

Since the early days of introducing eXtensible Markup Language (XML), owing to its expressive capabilities and flexibilities, it became the defacto standard for representing, storing, and interchanging data on the Web. Such features have made XML one of the building blocks of the Semantic Web. From another viewpoint, since XML documents could be considered from content, structural, and semantic aspects, leveraging their semantics is very useful and applicable in different domains. However, XML does not by itself introduce any built-in mechanisms for governing semantics. For this reason, many studies have been conducted on the representation of semantics within/from XML documents. This paper studies and discusses different aspects of the mentioned topic in the form of an overview with an emphasis on the state of semantics in XML and its presentation methods.

APA, Harvard, Vancouver, ISO, and other styles

9

Monelle, Raymond. "Structural Semantics and Instrumental Music." Music Analysis 10, no. 1/2 (March 1991): 73. http://dx.doi.org/10.2307/853999.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Haridi, Seif, Sverker Janson, and Catuscia Palamidessi. "Structural operational semantics for AKL." Future Generation Computer Systems 8, no. 4 (September 1992): 409–21. http://dx.doi.org/10.1016/0167-739x(92)90072-j.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Rot, Jurriaan, and Marcello Bonsangue. "Structural congruence for bialgebraic semantics." Journal of Logical and Algebraic Methods in Programming 85, no. 6 (October 2016): 1268–91. http://dx.doi.org/10.1016/j.jlamp.2016.08.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Kuptsova, Tetiana, and Iryna Koliieva. "STRUCTURAL PECULIARITIES OF RAILWAY TERM FORMATION IN THE ENGLISH LANGUAGE." Naukovì zapiski Nacìonalʹnogo unìversitetu «Ostrozʹka akademìâ». Serìâ «Fìlologìâ» 1, no. 9(77) (January 30, 2020): 43–46. http://dx.doi.org/10.25264/2519-2558-2020-9(77)-43-46.

Full text

Abstract:

The structural peculiarities of the railway term formation is investigated in the article. It is demonstrated that the most common ways of the one component railway term formation are suffixation and prefixation. The prefixation-suffixation type is a less productive way of the word building. Compound words proved to form a large group of the railway terms. The relations among the components of a compound word represent a specific type of semantic and structural relations of the word in a word combination, where the terms which consist of «noun+noun», «adjective+noun» predominate. In the system of the English railway terminology among the component terms the most widespread are nouns that explains that nouns define processes, equipment, devices, and objects. This paper outlines some linguistic properties of technical terms. The article focuses on some linguistic features of a term. Being a linguistic object with the common and specific features of a language system a term has all lexical-semantic and formal features of the words and word combinations of a natural language. In the process of the affixation term building the semantics of a derived word is defined by an affix that is why an affix can bear a particular word building meaning. But having definite motivational relations between a derivative and a derived word the semantics of the derived word is not always determined by the meanings of its components. Deciding the semantics of a derived term many factors should be taken into consideration: conversion, the peculiarities of a compound word, polysemy etc. It should be underlined that morphological or affixation type of the term forming is based on the principles of word building of the literary language.

APA, Harvard, Vancouver, ISO, and other styles

13

Hirschowitz, Tom. "Familial monads and structural operational semantics." Proceedings of the ACM on Programming Languages 3, POPL (January 2, 2019): 1–28. http://dx.doi.org/10.1145/3290334.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Bloom, Bard. "Structural operational semantics for weak bisimulations." Theoretical Computer Science 146, no. 1-2 (July 1995): 25–68. http://dx.doi.org/10.1016/0304-3975(94)00152-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Ji, Suhwan, and Hyeonseung Im. "Implementing Structural Operational Semantics in Python." Journal of KIISE 45, no. 11 (November 30, 2018): 1176–84. http://dx.doi.org/10.5626/jok.2018.45.11.1176.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Mosses, Peter D., and Mark J. New. "Implicit Propagation in Structural Operational Semantics." Electronic Notes in Theoretical Computer Science 229, no. 4 (August 2009): 49–66. http://dx.doi.org/10.1016/j.entcs.2009.07.073.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Braga, Christiano, and Alberto Verdejo. "Modular Structural Operational Semantics with Strategies." Electronic Notes in Theoretical Computer Science 175, no. 1 (May 2007): 3–17. http://dx.doi.org/10.1016/j.entcs.2006.10.024.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Klin, Bartek. "Bialgebraic Methods in Structural Operational Semantics." Electronic Notes in Theoretical Computer Science 175, no. 1 (May 2007): 33–43. http://dx.doi.org/10.1016/j.entcs.2006.11.018.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

van Glabbeek, Rob, and Peter D. Mosses. "Special issue on structural operational semantics." Information and Computation 207, no. 2 (February 2009): 83–84. http://dx.doi.org/10.1016/j.ic.2008.10.006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Fokkink, Wan, and Thuy Duong Vu. "Structural operational semantics and bounded nondeterminism." Acta Informatica 39, no. 6 (June 2003): 501–16. http://dx.doi.org/10.1007/s00236-003-0111-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Plotkin, Gordon D. "The origins of structural operational semantics." Journal of Logic and Algebraic Programming 60-61 (July 2004): 3–15. http://dx.doi.org/10.1016/j.jlap.2004.03.009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Verdejo, Alberto, and Narciso Martí-Oliet. "Executable structural operational semantics in Maude." Journal of Logic and Algebraic Programming 67, no. 1-2 (April 2006): 226–93. http://dx.doi.org/10.1016/j.jlap.2005.09.008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Papadimitriou, Christos H., and Mihalis Yannakakis. "Tie-Breaking Semantics and Structural Totality." Journal of Computer and System Sciences 54, no. 1 (February 1997): 48–60. http://dx.doi.org/10.1006/jcss.1997.1451.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Kussmaul, Paul. "Semantic Models and Translating." Target. International Journal of Translation Studies 6, no. 1 (January 1, 1994): 1–13. http://dx.doi.org/10.1075/target.6.1.02kus.

Full text

Abstract:

Abstract This paper examines the relevance of three semantic models for translation. Structural semantics, more specifically semantic feature analysis, has given rise to the maxim that we should translate "bundles of semantic features". Prototype semantics suggests that word-meanings have cores and fuzzy edges which are influenced by culture. For translation this means that we do not necessarily translate bundles of features but have to decide whether to focus on the core or the fuzzy edges of the meaning of a particular word. Scenesand-frames semantics suggests that word meaning is influenced by context and the situation we are in. Word-meaning is thus not static but dynamic, and it is this dynamism which should govern our decisions as translators.

APA, Harvard, Vancouver, ISO, and other styles

25

Solovjeva, S. A. "Asyndetic Complex Sentences: Problems of Studying in School Grammar." Russian language at school 79, no. 7 (July 24, 2018): 12–17. http://dx.doi.org/10.30515/0131-6141-2018-79-7-12-17.

Full text

Abstract:

The problems of asyndetic complex sentences studying at school are considered in the article. At school it is oriented on learning of the punctuation rules. This approach isn’t appropriated as it limits students to know structural-semantic structure and varieties of semantic relations. Article purpose is to show that features of semantics of asyndetic complex sentences are defined by a complex of lexical and grammatical means. An integrated approach to the analysis of structure and semantics is most effective in school practice of teaching.

APA, Harvard, Vancouver, ISO, and other styles

26

Buscop, J. "Die diskoers tussen Job en Cloete struktureelsemanties beskou." Literator 23, no. 2 (August 6, 2002): 15–32. http://dx.doi.org/10.4102/lit.v23i2.328.

Full text

Abstract:

A structural-semantic view of the discourse between Job and Cloete This article examines an aspect of the interaction between linguistics and literature. It is argued that the structural-semantic theory as developed by A.J. Greimas provides a useful approach in guiding the reader towards a realisation of a coherent whole in literary texts. Possibilities for the application and amplification as well as the usefulness in literature are examined, resulting in the identification of isotopies by means of which cohesion can be attained. In structural semantics an isotopy is the backbone of textual analysis – an isotopy being constituted by sememes, compelled by nuclear and textual semes, within the topos alignment of classemes. The Job-texts written by T.T. Cloete in the “transkripsie” and “perifrase” section of Idiolek are used as sample texts. The article attemps to indicate that structural semantics as theory, and especially its amplification as put forward in this article, is able to provide heuristic guidance in tracing the Job/Cloete discourse.

APA, Harvard, Vancouver, ISO, and other styles

27

Vasilyeva, M. L. "ON THE COMPREHENSIVE METHOD OF STRUCTURAL-SEMANTIC ANALYSIS OF APOLOGY DISCOURSE." Bulletin of Udmurt University. Series History and Philology 30, no. 5 (October 27, 2020): 837–46. http://dx.doi.org/10.35634/2412-9534-2020-30-5-837-846.

Full text

Abstract:

The article discusses perspectives of using a multi-dimensional approach for the structural-semantic analysis of an apology text. Tectonics and lexical composition of the text are discussed. The quantitative analysis of the text shows opportunities of applying non-contradictory methods of measuring text characteristics. Particular attention is paid to the argumentation content of the text; argumentation is viewed in its structural-semantic aspect providing for the schematic representation of the semantics of reasoning.

APA, Harvard, Vancouver, ISO, and other styles

28

Kobczenko, Natalia. "Сфера поширення напівпредикативного синтаксичного зв’язку." Studia Ucrainica Varsoviensia 6 (April 20, 2018): 83–97. http://dx.doi.org/10.5604/01.3001.0011.7865.

Full text

Abstract:

The paper deals with the analysis of syntactic connection between unattached phrases (with characterizing semantics, but without detailing semantics) and the structure of the basic sentence. The author proves that various structural-semantic types of unattached phrases have diff erent grammatical ways of connection with the basic sentence. The semipredicative syntactic connection occurs between an unattached component of properlyattribute semantics and any substantive of the basic sentence. Unattached adverbial modifiers and also unattached attributes of attribute-adverbial semantics and unattached appositions of characterizing-adverbial semantics join the predicative centre of the basic sentence with the determinative subordinate syntactic connection. And the syntactic connection in sentences with an unattached adjective component of dual-predicate (predicative attribute, duplexes) is a transitional between unitary and dual types.

APA, Harvard, Vancouver, ISO, and other styles

29

Hayes, Ian J. "The semantics of programming languages: An elementary introduction using structural operational semantics." Science of Computer Programming 16, no. 3 (October 1991): 278–79. http://dx.doi.org/10.1016/0167-6423(91)90011-l.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Ozolinya, L. V. "Circumstantial modifier in Munchu-Tungu languages: structural and semantic aspect. I. Circumstantial modifier of place." Languages and Folklore of Indigenous Peoples of Siberia, no. 41 (2021): 139–53. http://dx.doi.org/10.25205/2312-6337-2021-1-139-153.

Full text

Abstract:

The traditional semantic classification in the Manchu-Tungus languages involves the following circumstantial modifiers: with a temporal meaning (the circumstantial modifiers of time), with a locative meaning (the circumstantial modifiers of a place), of manner, of comparison, with the semantics of conditioning (conditions, reasons or goals), and of negative performance (concession and unfulfilled intentions). The circumstantial modifiers of locative and temporal semantics expressed by the noun case forms demonstrate certain “convergences-divergences” and “overlapping” with indirect objects concerning their formal characteristics. However, the semantic features and some positional restrictions in the sentence structure still allow these to be differentiated. The object most often demonstrates a locally restricted action, with the circumstantial modifiers mainly indicating a location or movement in space, the boundaries of which are very conditional and cannot be clearly marked at all.

APA, Harvard, Vancouver, ISO, and other styles

31

Viviers, H. "Klank-inhoud-chiasme in die Macalōt-Psalms (Ps 120-134)." Verbum et Ecclesia 13, no. 1 (July 18, 1992): 65–79. http://dx.doi.org/10.4102/ve.v13i1.1048.

Full text

Abstract:

Semantic-sonant chiasmus in the macalōt-psalms (Ps 120-134) Semantic-sonant-chiasmus forms part of the variety of chiastical patterns in classical Hebrew poetry. Although not well-known it is an acknowledged poetical technique. The interesting combination of semantics and phonology simultaneously prevents monotonous repetition in a poem. At the same time it helps to create structural and semantical cohesion in a poem. In each macalōt-psalm it links adjacent components and subtly emphasizes theme(s). It also plays an important role in the macalōt-collection as a whole. Together with and in combination with other poetical techniques, it reiterates the literary unity of the collection.

APA, Harvard, Vancouver, ISO, and other styles

32

Watanabe, Hiroshi. "Well-behaved Translations between Structural Operational Semantics." Electronic Notes in Theoretical Computer Science 65, no. 1 (October 2002): 337–57. http://dx.doi.org/10.1016/s1571-0661(04)80372-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Klin, Bartek. "Bialgebras for structural operational semantics: An introduction." Theoretical Computer Science 412, no. 38 (September 2011): 5043–69. http://dx.doi.org/10.1016/j.tcs.2011.03.023.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

van Weerdenburg, Muck, and Michel A. Reniers. "Structural Operational Semantics with First-Order Logic." Electronic Notes in Theoretical Computer Science 229, no. 4 (August 2009): 85–106. http://dx.doi.org/10.1016/j.entcs.2009.07.075.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Klin, Bartek. "Structural Operational Semantics and Modal Logic, Revisited." Electronic Notes in Theoretical Computer Science 264, no. 2 (August 2010): 155–75. http://dx.doi.org/10.1016/j.entcs.2010.07.019.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Colvin, Robert J., and Ian J. Hayes. "Structural operational semantics through context-dependent behaviour." Journal of Logic and Algebraic Programming 80, no. 7 (October 2011): 392–426. http://dx.doi.org/10.1016/j.jlap.2011.05.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Kornev, V. A., and O. V. Dedova. "The main types of semantic relations within the lexical-semantic groups." Язык и текст 6, no. 3 (2019): 51–55. http://dx.doi.org/10.17759/langt.2019060306.

Full text

Abstract:

The article discusses the principal structural semantic relations within the lexical-semantic groups: paradigmatic and syntagmatic. The implementation of the semantic properties of words lexical compatibility gives the opportunity to explore the semantics of words of linguistic methods based on the data contained in the speech (the text), are used where the researcher is interested in words.

APA, Harvard, Vancouver, ISO, and other styles

38

Kholomeenko, O. M., and A. I. Kvitko. "S. Dovlatov’s Aphorisms: Structural and Semantic Features." Bulletin of Kemerovo State University 22, no. 4 (January 5, 2021): 1134–42. http://dx.doi.org/10.21603/2078-8975-2020-22-4-1134-1142.

Full text

Abstract:

The research featured theoretical issues of aphorism as a linguistic phenomenon. The article introduces its main semantic and stylistic characteristics that distinguish it from other phenomena, e.g. proverbs, idioms, sayings, quotations, etc. Linguists define aphorism as a literary genre, a sphere of knowledge, and a linguistic phenomenon. The present study focused on the linguistic approach to aphorisms coined by S. Dovlatov. Aphorisms are certified, reproducible, separable, concise, and have concept words. The authors studied the keywords the aphorisms are based on, related graphic and expressive means, and the structure of contextual aphorisms. S. Dovlatov's aphorisms proved to be contextual, since he never published aphorisms as a separate book. In his Compromise and March of the Lonely, the authors distinguished aphorisms and aphoristic utterances, which differed in structure Aphorisms consisted of one to three sentences, while aphoristic utterances included up to five sentences. S. Dovlatov’aphorisms included the following semantic features. For instance, they could be divided into thematic groups, e.g. "journalism", "freedom", "lie vs. truth", "moral qualities", "attitude to life", etc., with corresponding keywords, e.g. "decent person", "scoundrel", "provocateur", "journalist", etc. Another distinctive semantic feature was the active use of different stylistic devices, e.g. gradation, epithet, metonymy, etc., which verbalized emotions. In addition, S. Dovlatov often used contextual synonyms and antonyms. Most aphorisms revealed their implicit semantics only if the reader shared common background knowledge with the author. The structural features included comparative constructions, verb-noun phrases, and elliptic constructions as a marker of implicit semantics and catalyst of the reader's experience. The use of aphorisms could be attributed to the features of Dovlatov's creative manner. However, their ironic tone become clear only if the reader shares the same cultural code with the author. Further studies may be based on a linguacultural approach to S. Dovlatov's aphorisms.

APA, Harvard, Vancouver, ISO, and other styles

39

Kholomeenko, O. M., and A. I. Kvitko. "S. Dovlatov’s Aphorisms: Structural and Semantic Features." Bulletin of Kemerovo State University 22, no. 4 (January 5, 2021): 1134–42. http://dx.doi.org/10.21603/2078-8975-2020-22-4-1134-1142.

Full text

Abstract:

The research featured theoretical issues of aphorism as a linguistic phenomenon. The article introduces its main semantic and stylistic characteristics that distinguish it from other phenomena, e.g. proverbs, idioms, sayings, quotations, etc. Linguists define aphorism as a literary genre, a sphere of knowledge, and a linguistic phenomenon. The present study focused on the linguistic approach to aphorisms coined by S. Dovlatov. Aphorisms are certified, reproducible, separable, concise, and have concept words. The authors studied the keywords the aphorisms are based on, related graphic and expressive means, and the structure of contextual aphorisms. S. Dovlatov's aphorisms proved to be contextual, since he never published aphorisms as a separate book. In his Compromise and March of the Lonely, the authors distinguished aphorisms and aphoristic utterances, which differed in structure Aphorisms consisted of one to three sentences, while aphoristic utterances included up to five sentences. S. Dovlatov’aphorisms included the following semantic features. For instance, they could be divided into thematic groups, e.g. "journalism", "freedom", "lie vs. truth", "moral qualities", "attitude to life", etc., with corresponding keywords, e.g. "decent person", "scoundrel", "provocateur", "journalist", etc. Another distinctive semantic feature was the active use of different stylistic devices, e.g. gradation, epithet, metonymy, etc., which verbalized emotions. In addition, S. Dovlatov often used contextual synonyms and antonyms. Most aphorisms revealed their implicit semantics only if the reader shared common background knowledge with the author. The structural features included comparative constructions, verb-noun phrases, and elliptic constructions as a marker of implicit semantics and catalyst of the reader's experience. The use of aphorisms could be attributed to the features of Dovlatov's creative manner. However, their ironic tone become clear only if the reader shares the same cultural code with the author. Further studies may be based on a linguacultural approach to S. Dovlatov's aphorisms.

APA, Harvard, Vancouver, ISO, and other styles

40

Vasylieva, Larysa. "Semantic of the form in rock-music: art-pedagogical aspect (on example of hardand-heavy)." Scientific Visnyk V.O. Sukhomlynskyi Mykolaiv National University. Pedagogical Sciences 66, no. 3 (2019): 42–47. http://dx.doi.org/10.33310/2518-7813-2019-66-3-42-47.

Full text

Abstract:

Purpose of Article - description of the semantic features of the hard-and-heavy musical composition in artistic and pedagogical aspects - the following tasks are specifically applied: individual perspectives of the study of semantics in rock music; need an organization theme), describe the structure and semantic model of hard and heavy compositions. Methodology relies on an integrated approach with the use of system-structural, functional and comparative methods, which allows to explore the characteristics of musical composition's semantics in hardand-heavy at the intonational-thematic, genre, compositional levels. Scientific novelty consists in describing the models of the structural and semantic organization of hard-and-heavy compositions on the basis of a study of the processes of shaping, thematic and structural organization. Hard-and-heavy uses various types of forms - from simple to complex, mirror-symmetric, open, alternative, which are based on one of the three types of thematic organization: monoriff, polyriff, spiral. Structural models of hard-and-heavy musical forms emerge based on the interaction of genre features of vocal and instrumental music. Each structural model corresponds to a generalized semantic model with a specific range of values. The guiding lines for semantic interpretation are representations of typical forms. The semantic model of a typical hardand-heavy composition has several particular models that play the role of a meaningful scenario, define the functional and dynamic profile of the piece, and create the semantic field of this form. Semantic analysis of the rock-piece`s form, as a component of the operational level of artistic and pedagogical analysis, provides an awareness of the joint action of the means of musical expression in their interconnection and conditionality of content. It reveals the structural features of a piece of music, facilitating the process of perception and providing active influence of musical images on the listeners

APA, Harvard, Vancouver, ISO, and other styles

41

Pavlyshynets, O. "Structural-Semantic Characteristics of Modern German Phraseologisms with the Phraseologically Linked Formative." Journal of Vasyl Stefanyk Precarpathian National University 2, no. 2-3 (July 2, 2015): 56–62. http://dx.doi.org/10.15330/jpnu.2.2-3.56-62.

Full text

Abstract:

This article is an attempt to define the classification criteria of phraseological units, whichhave a phraseologically linked formative in their structure. In this article we come up with therespective classification criteria according to the features of the structure and the semantics of thedetermined phraseologisms. Within this research phraseological units with the phraseologicallylinked formative are classified according to grammatical, structural-semantic and semantic criteria,in accordance with the national specificity, which is characteristic of these phraseologisms. Bycombining different classification criteria we attempted to determine the nucleus and the peripheryof the phraseological units with the phraseologically linked formative

APA, Harvard, Vancouver, ISO, and other styles

42

Sculthorpe, Neil, Paolo Torrini, and Peter D. Mosses. "A Modular Structural Operational Semantics for Delimited Continuations." Electronic Proceedings in Theoretical Computer Science 212 (June 19, 2016): 63–80. http://dx.doi.org/10.4204/eptcs.212.5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Gacek, Andrew, Dale Miller, and Gopalan Nadathur. "Reasoning in Abella about Structural Operational Semantics Specifications." Electronic Notes in Theoretical Computer Science 228 (January 2009): 85–100. http://dx.doi.org/10.1016/j.entcs.2008.12.118.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Burak, Vira. "The Identification of Stereotypes in the Artistic Text." JOURNAL OF ADVANCES IN LINGUISTICS 9 (June 30, 2018): 1387–400. http://dx.doi.org/10.24297/jal.v9i1.7425.

Full text

Abstract:

Stereotypes are an extremely complex object of research. Mental construction cannot be static. Old stereotypes slowly change, new ones appear and with the help of various codes (linguistic, cultural, literary) the author encrypts all of this into the artistic text. Besides the existence of linguistically expressed but not linguistically fixed stereotypes in artistic texts, stable stereotypes undergo different modifications of sense and verbalization forms. The ultimate goal of the research is to identify the factors which determine the form and the meaning of stereotypes verbalizers; to carry out a functional differentiation of linguistic signs that refer to these conventional referents in Ukrainian, Polish and British realist prose. Stabilized stereotypes are fixed by nominations of different structural and semantic complexity. Within the limits of the semantic structure of a nomination there is a hierarchy of semantic features: their typicality, frequency of functioning and, hence - stereotypicality - decreases from the center towards the periphery. In the core zone, semantics of a stereotype coincides with the semantics of a prototype. Stereotypes with different degree of conventionality and communicative relevance are explicated in artistic texts with the help of structurally different nominative and communicative units.

APA, Harvard, Vancouver, ISO, and other styles

45

Guellati, Souad, Ilham Kitouni, Riad Matmat, and Djamel-Eddine Saidouni. "True Concurrency Semantics." International Journal of Embedded and Real-Time Communication Systems 5, no. 2 (April 2014): 22–42. http://dx.doi.org/10.4018/ijertcs.2014040103.

Full text

Abstract:

The model checking algorithms have been widely studied for timed automata, it's a validation technique for automatically verifying correctness properties of finite-state systems, which are based on interleaving semantics. Therefore the actions are assumed instantaneous. To overcome the hypothesis of temporal and structural atomicity of actions, we use the durational actions timed automata model (daTA). This model is based on the maximality semantics. Properties to be verified are expressed using the Timed Computation Tree Logic (TCTL). For dealing with formal verification, the Maximality-based Region Graph (MRG) is defined and an adaptation of the model checking algorithm is proposed. The use of the maximality semantics based verification provides new class of properties related to simultaneous progress of actions at different states.

APA, Harvard, Vancouver, ISO, and other styles

46

Peeters, Bert. "More About Axiological Fields." Canadian Journal of Linguistics/Revue canadienne de linguistique 36, no. 2 (June 1991): 113–36. http://dx.doi.org/10.1017/s0008413100014286.

Full text

Abstract:

Because of a too liberal, often inadequate and/or arbitrary use of the term field, especially in semantics, modern semantic theory needs more than ever before a new field notion and a new field terminology. An attempt will be made to define a field notion based on what others have said about fields in semantics. With regard to terminology, I shall use the term axiological field, which appears in several of my earlier writings as well. “Axiology” is to be defined as a functional and structural approach to meaning which stands to semantics as phonology stands to phonetics. It is about values (“axiology”, a term coined by André Martinet, literally means ‘science of values’) as opposed to meanings, with values being to meanings what phonemes are to uttered sounds.

APA, Harvard, Vancouver, ISO, and other styles

47

Rungrojsuwan, Sorabud. "The Symbolization of Sounds in Thai Onomatopoeic Words." MANUSYA 10, no. 2 (2007): 41–53. http://dx.doi.org/10.1163/26659077-01002004.

Full text

Abstract:

In addition to the arbitrary invention of words in human language, there are also a number of lexical items in languages generated from the symbolization of particular groups of sounds. The present study investigates the structural and semantic characteristics of “soundsymbolic words” (or onomatopoeic words) in Thai. Data were drawn from formal and informal written documents. The Royal Institute’s and Matichon’s dictionaries were used as representatives of formal documents, while 40 Japanese-to-Thai translated comics were used for the informal documents. Structurally, it was found that most sound-symbolic words are either monomorphemic or reduplicated. In relation to semantics, sound symbolization in the data shows semantic relations to human behaviors, activities, and surroundings.

APA, Harvard, Vancouver, ISO, and other styles

48

Myhalets, Oksana Ivanivna. "Semantic Peculiarities of the Verbs with the Highest Degree of Polysemy Denoting Conflict Actions." Academic Journal of Interdisciplinary Studies 9, no. 3 (May 10, 2020): 17. http://dx.doi.org/10.36941/ajis-2020-0038.

Full text

Abstract:

The purpose of thе article is to conduct a lexico-semantic analysis of the language units denoting conflict actions in modern English. Our task is to find out the semantic peculiarities of the polysemantic verbs in the language under study, which form the group of words denoting conflict actions with the highest degree of polysemy. The research has been carried out with the help of the system and structural approach, based on a combination of the formalized analysis of lexical semantics with linguistic methods of research. Such a combination is necessary for revealing the system and structural organization of lexical units denoting conflict actions and their inner mechanisms of functioning in modern English. As a result, the degree of the semantic relativity of the language units denoting conflict actions as well as the character of the semes’ functionality have been revealed. In addition, both common and distinctive features, quantitative and qualitative characteristics of the verbs’ semantics in the language under study have been disclosed. Complex lexico-semantic analysis of the language units denoting conflict actions in English gave the opportunity to treat them as phenomena of person’s everyday life and activities as well as to find out different ways and means of their language expressions by means of the matrix.

APA, Harvard, Vancouver, ISO, and other styles

49

Fokkink, Wan, Rob van Glabbeek, and Paulien de Wind. "Compositionality of Hennessy–Milner logic by structural operational semantics." Theoretical Computer Science 354, no. 3 (April 2006): 421–40. http://dx.doi.org/10.1016/j.tcs.2005.11.035.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Voigtländer, Janis, and Patricia Johann. "Selective strictness and parametricity in structural operational semantics, inequationally." Theoretical Computer Science 388, no. 1-3 (December 2007): 290–318. http://dx.doi.org/10.1016/j.tcs.2007.09.014.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!