Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017. The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.

Computer science. --- Special purpose computers. --- Software engineering. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Special Purpose and Application-Based Systems. --- Logics and Meanings of Programs. --- Operating Systems. --- Computer science logic --- Computer operating systems --- Computers --- Disk operating systems --- Computer software engineering --- Special purpose computers --- Informatics --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Operating systems --- Logic, Symbolic and mathematical --- Systems software --- Engineering --- Science --- Electronic data processing --- Languages, Artificial --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The volume contains articles that focus on the interface between linguistic and conceptual knowledge. The issues addressed in the volume include the preconditions of every level of the language system that are required for the transformation of linguistic information into conceptual representations. In accordance with Chomsky's Minimalist language model, the language system is embedded into the performative systems where language is a part of the cognitive competence of human beings, i.e. system of articulation and perception (A/P) and the conceptual-intentional system (C/I). During the formation of linguistic structures, every performative system obtains well-formed representations as its input information. The articles of the volume show how interface conditions determine the linguistic representations on each level of the linguistic system. Interface conditions result in requirements for the ordering of linguistic elements. The syntactic transformation achieves a point, where the linguistic structure formation branches to two distinct representational levels. Both levels deliver instructions for the systems of performance A/P and C/I. Linearization takes place on the syntactic surface of a sentence. The linearization of linguistic elements is manifest at the derivational point of Spell-out and also on the level of the phonological form (PF). This means that on the one hand, linearization is relevant to the phonetic aspect of linguistic expressions, and on the other hand, the interpretation of linguistic utterances is based on hierarchical structures. On the level of Logical Form (LF) all operations apply which don't have any influence on the linear order in overt syntax. In addition they affect the generation of hierarchical structures. The structure obtained on LF is the representational format of the semantic form of a sentence.

Grammar, Comparative and general --- Prosodic analysis (Linguistics). --- Psycholinguistics. --- Semantics. --- Syntax. --- Prosodic analysis (Linguistics) --- Language, Psychology of --- Language and languages --- Psychology of language --- Speech --- Multidimensional phonology --- Polysystemic phonology --- Prosodic phonology --- Speaking styles --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Syntax --- Psychological aspects --- Psychology --- Linguistics --- Thought and thinking --- Phonetics --- Comparative linguistics --- Information theory --- Lexicology --- Meaning (Psychology) --- Phonology --- Philology --- Grammar, Comparative and general Syntax --- Empirical Prosody. --- Information Structure. --- Syntax and Semantics. --- Theoretical Linguistics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Der Band behandelt die Schnittstelle zwischen Pragmatik, Grammatik und Psycholinguistik bzw. Neurolinguistik. Pragmatisch bedingt sind die Zurechnungen von Satzteilen zur bekannten oder zur Neuinformation im Text. Realisiert werden die pragmatischen Gliederungen aber in der Grammatik. Die theoretische Modellierung erfolgte in generativen Grammatiken, in optimalitätstheoretischen Modellen oder anhand der Alternativsemantik.Der Schwerpunkt der Untersuchung liegt auf Korrekturkonstruktionen und auf Hutkonturen. Erstere zeichnen sich durch Kontrastakzente aus und Letztere sind zweigipflig akzentuiert. Um die Prosodie weiterzuentwickeln, beschäftigt sich die Hälfte der Beiträge mit dem psycholinguistischen und neurophysiologischen Nachweis der Intonationsparameter und mit ihrer Auswertung im Kontext.Von der Kontrastintonation geht der Band dann über zur Typologie von Kontrastkonstruktionen, zu ihrem grammatischen Vergleich und ihrer textuellen Verwendung.

Contrastive linguistics. --- Focus (Linguistics) --- Grammar, Comparative and general --- Intonation (Phonetics) --- Semantics. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Linguistics --- Pitch (Phonetics) --- Phonetics --- Prosodic analysis (Linguistics) --- Tone (Phonetics) --- Oral interpretation --- Functional sentence perspective (Grammar) --- Predicate and subject (Grammar) --- Subject and predicate (Grammar) --- Theme and rheme --- Topic and comment (Grammar) --- Discourse analysis --- Topic and comment. --- Intonation --- Subject and predicate --- Syntax --- Topic and comment --- Contrastive linguistics --- Semantics --- 801.56 --- 801.56 Syntaxis. Semantiek --- Syntaxis. Semantiek --- Focus (Linguistics). --- Intonation (Phonetics). --- Philology