Typing weak MSOL properties [PDF]
Logical Methods in Computer Science, 2017 We consider lambda-Y-calculus as a non-interpreted functional programming language: the result of the execution of a program is its normal form that can be seen as the tree of calls to built-in operations.
Sylvain Salvati, Igor Walukiewicz
doaj +1 more source
Comprehension of computer code relies primarily on domain-general executive brain regions
eLife, 2020 Computer programming is a novel cognitive tool that has transformed modern society. What cognitive and neural mechanisms support this skill? Here, we used functional magnetic resonance imaging to investigate two candidate brain systems: the multiple ...
Anna A Ivanova +7 more
doaj +1 more source
Algorithmic construction of explicit numerical schemes and visualization of objects and processes in the computational experiment in fluid mechanics [PDF]
Компьютерные исследования и моделирование, 2015 The paper discusses the design and verification stages in the development of complex numerical algorithms to create direct computational experiments in fluid mechanics.
A. B. Degtyarev +2 more
doaj +1 more source
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc, including a rewriting logic semantics developed by the authors.
José Meseguer, Musab AlTurki
doaj +1 more source
Non Linear Programming (NLP) formulation for quantitative modeling of protein signal transduction pathways. [PDF]
PLoS ONE, 2012 Modeling of signal transduction pathways plays a major role in understanding cells' function and predicting cellular response. Mathematical formalisms based on a logic formalism are relatively simple but can describe how signals propagate from one ...
Alexander Mitsos +5 more
doaj +1 more source
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic [PDF]
Logical Methods in Computer Science, 2022 Message passing is a useful abstraction for implementing concurrent programs. For real-world systems, however, it is often combined with other programming and concurrency paradigms, such as higher-order functions, mutable state, shared-memory concurrency,
Jonas Kastberg Hinrichsen +2 more
doaj +1 more source
Verification of Programs via Intermediate Interpretation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We explore an approach to verification of programs via program transformation applied to an interpreter of a programming language. A specialization technique known as Turchin's supercompilation is used to specialize some interpreters with respect to the ...
Alexei P. Lisitsa, Andrei P. Nemytykh
doaj +1 more source
An Algebra of Synchronous Scheduling Interfaces [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 In this paper we propose an algebra of synchronous scheduling interfaces which combines the expressiveness of Boolean algebra for logical and functional behaviour with the min-max-plus arithmetic for quantifying the non-functional aspects of synchronous ...
Michael Mendler
doaj +1 more source
A First Step towards Learning which uORFs Regulate Gene Expression
Journal of Integrative Bioinformatics, 2006 We have taken a first step towards learning which upstream Open Reading Frames (uORFs) regulate gene expression (i.e., which uORFs are functional) in the yeast Saccharomyces cerevisiae.
Selpi +3 more
doaj +1 more source
Lifting Term Rewriting Derivations in Constructor Systems by Using Generators [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Narrowing is a procedure that was first studied in the context of equational E-unification and that has been used in a wide range of applications. The classic completeness result due to Hullot states that any term rewriting derivation starting from an ...
Adrián Riesco, Juan Rodríguez-Hortalá
doaj +1 more source