Results 21 to 30 of about 2,625 (105)
Pseudo MV-algebras and Lexicographic Product [PDF]
, 2014 We study algebraic conditions when a pseudo MV-algebra is an interval in the lexicographic product of an Abelian unital $\ell$-group and an $\ell$-group that is not necessary Abelian.
Dvurečenskij, Anatolij
core
A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems [PDF]
, 2014 We revisit known transformations from Jinja bytecode to rewrite systems from the viewpoint of runtime complexity. Suitably generalising the constructions proposed in the literature, we define an alternative representation of Jinja bytecode (JBC ...
Moser, Georg, Schaper, Michael
core
Categorical model of structural operational semantics for imperative language
Journal of Information and Organizational Sciences, 2016 Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics.
William Steingartner, Valerie Novitzká
doaj
The semiring-theoretic approach to MV-algebras: a survey
, 2015 In this paper we review some of the main achievements of the semiring-theoretic approach to MV-algebras initiated and pursued mainly by the present authors and their collaborators.
Abbasi Molai +65 more
core +1 more source
Formally Specifying Contract Optimizations with Bisimulations in Coq [PDF]
The efficacy of formal verification of smart contracts depends on being able to correctly specify and carry out the verification of optimized code. However, code optimized for performance is rarely optimized for intelligibility, which can make formally ...
Sorensen, Derek
core +1 more source
On an exotic Lagrangian torus in $\mathbb{C}P^2$
, 2013 We find a non-displaceable Lagrangian torus fiber in a semi-toric system, which is superheavy with respect to certain symplectic quasi-state. In particular, this proves Lagrangian $\RR P^2$ is not a stem in $\CC P^2$, answering a question of Entov and ...
Abouzaid +5 more
core +1 more source
Formal Tools for Specifying Financial Smart Contracts [PDF]
Financial smart contracts routinely manage billions of US dollars worth of digital assets, and as a consequence bugs in smart contracts can be extremely costly. Because of this, much work has been done in formal verification of smart contracts to prove a
core +2 more sources
Foundations of Software Science and Computation Structures [PDF]
This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International ...
core +1 more source
States on basic algebras [PDF]
, 2016 summary:States on commutative basic algebras were considered in the literature as generalizations of states on MV-algebras. It was a natural question if states exist also on basic algebras which are not commutative.
Chajda, Ivan, Länger, Helmut
core +1 more source
Modeling and analysis of ship traffic by observation and numerical simulation [PDF]
, 2011 The continuing losses of vessels and the ever increasing volume of cargo carried by ship marks marine traffic as a high risk activity where a single accident has the potential to incur large human, environmental and economic losses.
Aarsæther, Karl Gunnar
core