Results 1 to 10 of about 69,366 (304)
Some of the next articles are maybe not open access.
The Criteria Necessary to Achieve Formal Definitions of Sign and Symbol
Eidos. A Journal for Philosophy of Culture, 2022 This paper attempts to illustrate a process of analysis that will hopefully open a path to more complete and useful definitions of sign and symbol. It applies a form-content analysis to the metaphysical properties of these two concepts.
Charles Herrman
doaj +5 more sources
Symbol–Relation Grammars: A Formalism for Graphical Languages
Information and Computation, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
FERRUCCI, Filomena +6 more
openaire +4 more sources
Symbolic execution formally explained [PDF]
Formal Aspects of Computing, 2021 Abstract In this paper, we provide a formal explanation of symbolic execution in terms of a symbolic transition system and prove its correctness and completeness with respect to an operational semantics which models the execution on concrete values.We first introduce a formalmodel for a basic programming languagewith a statically fixed number
Boer, F.S. de, Bonsangue, M.M.
openaire +2 more sources
A formal foundation for symbolic evaluation with merging [PDF]
Proceedings of the ACM on Programming Languages, 2022 Reusable symbolic evaluators are a key building block of solver-aided verification and synthesis tools. A reusable evaluator reduces the semantics of all paths in a program to logical constraints, and a client tool uses these constraints to formulate a satisfiability query that is discharged with SAT or SMT solvers.
Sorawee Porncharoenwase +3 more
openaire +1 more source
A Brief Analysis of the Formal Beauty of Biological Interesting Sculpt Forms [PDF]
SHS Web of Conferences, 2023 Biology is a natural life form in ecology, it is an important element of natural ecological linkage, and it is also an endless creative symbol in artistic inspiration.
Zhang Yan, Ouyang Yizhen, Li Shuwei
doaj +1 more source
Living Constitution; History and Approaches [PDF]
Faṣlnāmah-i Pizhūhish-i Huqūq-i ̒Umūmī, 2022 The constitution should be a symbol of flexibility in the face of social challenges. In most constitutions, it is possible to amend the constitution through a formal revision.
Faeghe Chalabi +3 more
doaj +1 more source
Mathematics, 2021 The subject matter of this research is Kant’s apriorism underlying Hilbert’s formalism in the philosophical grounding of mathematics as a self-sufficing system.
Vladimir Olegovich Lobovikov
doaj +1 more source
eLife, 2020 Despite the importance of programming to modern society, the cognitive and neural bases of code comprehension are largely unknown. Programming languages might ‘recycle’ neurocognitive mechanisms originally developed for natural languages.
Yun-Fei Liu +3 more
doaj +1 more source
Efficient and formal generalized symbolic execution [PDF]
Automated Software Engineering, 2011 Programs that manipulate dynamic heap objects are difficult to analyze due to issues like aliasing. Lazy initialization algorithm enables the classical symbolic execution to handle such programs. Despite its successes, there are two unresolved issues: (1) inefficiency; (2) lack of formal study.
Deng, Xianghua, Lee, Jooyong, Robby
openaire +2 more sources