… Reachability Logic is a recently introduced formalism, which is currently used … Logic can be adapted for stating properties of transition systems described by Rewriting-Logic specifications. We propose an automatic procedure for verifying …
In Logic, Rewriting and Concurrency: Festschrift Symposium in Honor of José Meseguer. 2015:… In logic metaprogramming, programs are not stored as plain textfiles but rather … separate checking and propose a class of logics that reconcile logic metaprogramming … by presenting the design and implementation of a specific logic that is able to express many …
OOPSLA 2010: 484-503 [doi]… executable specification and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational specification …. The underlying equational logic chosen for Maude is membership equational logic, that has …
TCS, 285(2):187-243, 2002. [doi]… We survey here various approaches which were proposed to incorporate negation in logic programs. We concentrate on the proof-theoretic and model-theoretic issues and the relationships between them. …
jlp, 19/20:9-71, 1994. [doi]… completeness of axiom systems for (1) context-free dynamic logic and (2) its extension … of these logics in mind, these results can be seen to supply (as corollaries) complete proof …
POPL 1979: 81-92 [doi]… defined in rewriting logic. KOOL has been designed as an experimental language … of the flexibility provided by rewriting logic, which allows for the rapid … of rewriting logic. This support is illustrated with several examples. …
RTA 2007: 246-256 [doi]… logic, a formal specification language implemented in the Maude system. Our … invariance properties into inductive properties written in membership equational logic, a sublogic of rewriting logic also implemented in Maude. The invariants can …
tap 2010: 135-150 [doi]…
To provide empirical evidence to what extent migration of business logic … project, how migrating business logic to an ICL affects information system …-written incremental computing solution. The effort spent on modeling business logic …
SLE 2018: 83-96 [doi]… . Is the same possible in a strongly, and polymorphically, typed functional logic language … arguments appropriate to functional logic languages. …
plpv 2010: 39-48 [doi]… of recently introduced approach of Markov Logics by Pedro Domingos and have … in the recent past. Results of analyzing the natural language text using Markov Logic …
International Journal of Computer and Electrical Engineering (IJCEE), 2(3), June 2010.… This paper shows how rewriting logic semantics (RLS) can be used as a computational logic framework for operational semantic definitions of programming languages. Several operational semantics styles are addressed: big-step and small-step …
iandc, 207(2):305-340, 2009. [doi]… possible in a strongly, and polymorphically, typed functional logic language … appropriate to functional logic languages. …
SIGPLAN, 44(11):7, 2009. [doi]… 3D thermal analysis on a 1024-point, memory-on-logic 3DIC FFT processor … of the SRAMs on the middle tier. The effect of reordering the stackup of memory and logic … of the logic tiers. Temperature spikes in the memories no longer significantly …
Thermal Investigations of ICs and Systems (THERMINIC), 2010 16th International Workshop on, :1-6, 2010.… of a logic program. Although such formulations are appealing due …, either existing logic programming systems do not guarantee completeness, or those … advances in implementation technologies of logic programming systems.We find …
PLDI 1996: 117-126… On 8 August 1997, prompted by the visit of Hajime Ishihara from JAIST (the Japan Advanced Institute of Science & Technology, Hokoriku), the Centre for Discrete Mathematics & Theoretical Computer Science held a one-day workshop on Logic …
jucs, 3(11):1133, 1997. [doi]… In this paper, we present a fast binding-time analysis (BTA) by integrating a size-change analysis, which is independent of a selection rule, into a classical BTA for offline partial evaluation of logic programs. In contrast to previous …
LOPSTR 2009: 119-134 [doi]