评论性
发表于 2025-3-23 10:46:56
On Dual Programs in Co-Logic Programming coinductive. To define its procedural semantics as well as an alternating fixpoint semantics, the ., a condition on predicate dependency in programs, has been imposed on co-logic programs (co-LPs). In this paper, we first consider . programs in co-logic programming: Given a program ., its dual prog
mitral-valve
发表于 2025-3-23 14:38:25
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebrasatterns can represent Boolean operations on languages. But for the more expressive patterns needed in declarative languages supporting rich type disciplines such as subtype polymorphism untyped pattern operations and algorithms break down. We show how they can be properly defined by means of a signa
GRILL
发表于 2025-3-23 21:11:31
Compiling Collapsing Rules in Certain Constructor Systemse notion of a needed step in some constructor systems offer a new approach to this problem. We present two results: a transformation of a certain class of constructor-based rewrite systems that eliminates collapsing rules, and a rewrite-like relation that takes advantage of the absence of collapsing
AGOG
发表于 2025-3-24 01:56:45
http://reply.papertrans.cn/59/5881/588097/588097_14.png
DAUNT
发表于 2025-3-24 04:32:45
A Type-Theoretic Approach to Resolutioniven query as a construction of the inhabitant (a proof-term) for the type given by the query. We propose a method of program transformation that allows to transform logic programs in such a way that proof evidence is computed alongside SLD-derivations. We discuss two applications of this approach:
linear
发表于 2025-3-24 06:38:05
A Typed Language for Eventsepresent the kind of actions that can occur in a system, and . events, which represent actual occurrences of those kinds of actions. A relation is given associating specific to generic events, as well as a method for obtaining intervals from a history of events. We describe applications in access co
引水渠
发表于 2025-3-24 11:46:18
http://reply.papertrans.cn/59/5881/588097/588097_17.png
headlong
发表于 2025-3-24 15:53:09
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods this is why we switch to automatic transformation techniques. We are interested in the optimization of numerical programs relying on the IEEE754 floating-point arithmetic. In this article, our main contribution is to study the impact of optimizing the numerical accuracy of programs on the time requ
Costume
发表于 2025-3-24 20:54:58
Abstract Analysis of Universal Properties for ,stems, where infinite behaviors arise naturally. In previous works, a semantic framework and abstract diagnosis method for the language has been defined..On the basis of that semantic framework, this paper proposes an abstract semantics that, together with a widening operator, is suitable for the de
fatuity
发表于 2025-3-25 02:33:42
http://reply.papertrans.cn/59/5881/588097/588097_20.png