Results 31 to 40 of about 864,679 (285)
, 2015 Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly.
Arbab, Farhad +3 more
core +5 more sources
The MMT API: A Generic MKM System [PDF]
, 2013 The MMT language has been developed as a scalable representation and interchange language for formal mathematical knowledge. It permits natural representations of the syntax and semantics of virtually all declarative languages while making MMT-based MKM ...
F. Horozal +7 more
core +1 more source
European Union Terminology Unification - Directions for the Contrastive Study of Two Slavic and Two Non-Slavic Languages (Bulgarian, Polish, Modern Greek and English) [PDF]
, 2011 This study attempts to characterize terminology unification in the European Union legislation, regarding both content and form. It analyzes terms related to the thematic field of environmental law in four official EU languages: two Slavic (Bulgarian and ...
Genew-Puhalewa, Iliana
core +3 more sources
IEEE Access, 2022 Alvis is a formal modelling language developed primarily for modelling concurrent systems including real-time systems. The prepared model is compiled, and the resulting runnable model allows, e.g., to generate the state space and to verify the model ...
Marcin Szpyrka +2 more
doaj +1 more source
Declarative Specification [PDF]
, 1996 Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods.
David Robertson +11 more
core +2 more sources
Linguistics, indigenous languages, and analysis from a formal perspective
Revista Linguística, 2022 By taking into account both the study of indigenous languages and the discipline of linguistics at large, this issue of Revista Linguística presents to the reader a series of dialogues internal to the field itself, as well as those that take place at the
Marília Facó Soares, Claudia Uller
doaj +3 more sources
Algorithms for Converting Finite Automata Corresponding to Infinite Iterative Trees
Современные информационные технологии и IT-образование, 2021 In this paper, we work with some different variants of finite automata, each of which corresponds to an infinite iterative tree constructed for some given morphism.
Mikhail Abramyan, Boris Melnikov
doaj +1 more source
Relations linguistiques et mathématiques chez Leibniz
Methodos, 2014 Leibniz's theory of universal expression focuses on the notion of relationship and introduces a link between the words of a natural language and the mind which is not only that of representation. It also establishes similarities between natural languages
Marc Parmentier
doaj +1 more source
A Component-Based Formal Language Workbench [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely.
Peter D. Mosses
doaj +1 more source
Formalization of the DE2 Language [PDF]
, 2005 We formalized the DE2 hierarchical, occurrence-oriented finite state machine (FSM) language, and have developed a proof theory allowing the mechanical verification of FSM descriptions. Using the ACL2 functional logic, we have defined a predicate for detecting the well-formedness of DE2 expressions.
Warren A. Hunt Jr., Erik Reeber
openaire +1 more source