Results 41 to 50 of about 1,307,657 (201)
, 2008 Ce mémoire présente plusieurs définitions de sémantiques formelles et de transformations de programmes, et expose les choix de conception associés. En particulier, ce mémoire décrit une transformation de programmes inspirée de l'évaluation partielle et dédiée à la compréhension de programmes scientifiques écrits en Fortran.
openaire +3 more sources
Revista Facultad de Ingeniería Universidad de Antioquia, 2012 The specification and formal verification of distributed systems is usually a complex task. It requires extensive knowledge of algorithm theory and modeling of distributed or concurrent systems.
Jorge Cortés Galicia +2 more
doaj +1 more source
Limitations of Formal (Logical) Semantics
Studia Semiotyczne, 2020 DOI: http://doi.org/10.26333/stsen.xxxi.03 According to the received view formal semantics applies to natural (ordinary) language to some extent only.
doaj
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component.
Sarmen Keshishzadeh +2 more
doaj +1 more source
Book review of Yoad Winter’s Elements of formal semantics (2016)
Glossa, 2016 Yoad Winter’s (2016) new textbook, Elements of formal semantics, is a formally sophisticated introduction to semantic theory. It treats standard beginner topics (e.g.
Jessica Rett
doaj +2 more sources
A Program Logic for Reasoning About C11 Programs With Release-Sequences
IEEE Access, 2020 With the popularity of weak/relaxed memory models widely used in modern hardware architectures, the C11 standard introduced a language level weak memory model, A.K.A the C11 memory model, that allows C/C++ programs to exploit the optimisation provided by
Mengda He, Shengchao Qin, Zhiwu Xu
doaj +1 more source
Formal Semantics and Wittgenstein [PDF]
Monist, 2013 This paper discusses a number of methodological issues with mainstream formal semantics and then investigates whether Wittgenstein's later work provides an alternative approach that is able to avoid these issues.
openaire +2 more sources
Reference in Formal Semantics and Natural Language: A Methodological Route
Phenomenology and Mind, 2019 In this paper, I will tackle the notion of reference of singular terms in the light of a classic analytic divide, i.e. whether its analysis, like the analysis of other basic notions, should be carried out in natural language or in the semantics of formal
Francesca Boccuni
doaj +1 more source
Formal Semantics of ABN Framework
, 2008 This technical document extend upon and give formal meaning to the syntactic definitions presented in [7] and forwards the formal semantics of our argumentation-based negotiation (ABN) dialogue game protocol, which allows agents to argue, negotiate and resolve conflicts in a multi-agent context.
Karunatillake, NC +3 more
openaire +5 more sources