变更
发表于 2025-3-21 18:33:39
书目名称Algebraic Methodology and Software Technology影响因子(影响力)<br> http://impactfactor.cn/2024/if/?ISSN=BK0152666<br><br> <br><br>书目名称Algebraic Methodology and Software Technology影响因子(影响力)学科排名<br> http://impactfactor.cn/2024/ifr/?ISSN=BK0152666<br><br> <br><br>书目名称Algebraic Methodology and Software Technology网络公开度<br> http://impactfactor.cn/2024/at/?ISSN=BK0152666<br><br> <br><br>书目名称Algebraic Methodology and Software Technology网络公开度学科排名<br> http://impactfactor.cn/2024/atr/?ISSN=BK0152666<br><br> <br><br>书目名称Algebraic Methodology and Software Technology被引频次<br> http://impactfactor.cn/2024/tc/?ISSN=BK0152666<br><br> <br><br>书目名称Algebraic Methodology and Software Technology被引频次学科排名<br> http://impactfactor.cn/2024/tcr/?ISSN=BK0152666<br><br> <br><br>书目名称Algebraic Methodology and Software Technology年度引用<br> http://impactfactor.cn/2024/ii/?ISSN=BK0152666<br><br> <br><br>书目名称Algebraic Methodology and Software Technology年度引用学科排名<br> http://impactfactor.cn/2024/iir/?ISSN=BK0152666<br><br> <br><br>书目名称Algebraic Methodology and Software Technology读者反馈<br> http://impactfactor.cn/2024/5y/?ISSN=BK0152666<br><br> <br><br>书目名称Algebraic Methodology and Software Technology读者反馈学科排名<br> http://impactfactor.cn/2024/5yr/?ISSN=BK0152666<br><br> <br><br>
非秘密
发表于 2025-3-21 22:43:02
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra programming languages (sequences, alternatives, loops and code blocks) in a natural way. In this paper, this system is used to verify the following interprocedural compiler optimizations: interprocedural dead code elimination, inlining of functions, tail-recursion elimination, procedure reordering
水獭
发表于 2025-3-22 00:40:02
http://reply.papertrans.cn/16/1527/152666/152666_3.png
现晕光
发表于 2025-3-22 08:27:53
Model Refinement Using Bisimulation Quotientsuced into a smallish, finite bisimulation quotient. Second, the reduced system is refined in order to ensure a given property, using any known finite-state method. Third, the refined reduced system is expanded back into an adequate refinement of the system given initially. The proposed method is bas
宽容
发表于 2025-3-22 09:52:15
http://reply.papertrans.cn/16/1527/152666/152666_5.png
采纳
发表于 2025-3-22 13:32:16
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programminggic programming supports recursive computations, and some logic programs resemble the inductive or coinductive definitions written in functional programming languages. In this paper, we give a coalgebraic semantics to logic programming. We show that ground logic programs can be modelled by either ..
Perigee
发表于 2025-3-22 21:03:03
http://reply.papertrans.cn/16/1527/152666/152666_7.png
opprobrious
发表于 2025-3-22 22:10:55
Matching Logic: An Alternative to Hoare/Floyd Logics. Matching logic specifications are particular first-order formulae with constrained algebraic structure, called .. Program configurations satisfy patterns iff they . their algebraic structure and satisfy their constraints. Using a simple imperative language (IMP), it is shown that a restricted use
刚毅
发表于 2025-3-23 04:45:11
Program Calculation in Coqy. It requires human insights and creativity, and needs systems to help human to focus on clever parts of the derivation by automating tedious ones and verifying correctness of transformations. Different from many existing systems, we show in this paper that Coq, a popular theorem prover, provides a
我正派
发表于 2025-3-23 08:29:26
http://reply.papertrans.cn/16/1527/152666/152666_10.png