Search results

supporting adaptation in service compositions 2015-01-26 Paper Modular Extensions for Modular (Logic) Languages 2013-03-13 Paper Lightweight compilation of...

Debugging of Description-Logic Programs 2012-07-23 Paper Methods and methodologies for developing answer-set programs -- project description 2012-05-11 Paper...

Transactions with Communicating Hierarchical Timed Automata 2021-05-25 Paper Modular Verification of Qualitative Pathway Models with Fairness 2019-02-08 Paper...

representing conditional independence 2024-12-19 Paper A proof-producing compiler for blockchain applications 2024-11-26 Paper Certified knowledge compilation...

2009-04-14 Paper A Modular Equational Generalization Algorithm 2009-03-24 Paper MTT: The Maude Termination Tool (System Description) 2008-11-27 Paper Equational...

2018-11-13 Paper On the lightness of the mappings satisfying generalized inverse modular inequalities 2018-11-13 Paper Magneto-electro-elastic effective properties...

specification within a highly flexible simulation framework 1999-06-21 Paper Modular ideals of a join semilattice directed below 1999-06-21 Paper Non-uniform...

of the KPP minimal speed within large drift 2010-09-06 Paper A general compiler for password-authenticated group key exchange protocol 2010-09-02 Paper...

condition 2017-05-05 Paper \textit{OptQC}: an optimized parallel quantum compiler 2017-05-05 Paper CPMC-lab: a Matlab package for constrained path Monte...

infinite trees and their descriptional composition Abstract data types and algebraic semantics of programming languages Proving a compiler correct: A simple approach...

general jumps Modular specification and verification of object-oriented programs Side effects and aliasing can have simple axiomatic descriptions Cited In (24)...

of logic programs Context-Sensitive Multivariant Assertion Checking in Modular Programs Tabled evaluation with delaying for general logic programs Strict...

Prolog technology theorem prover: Implementation by an extended Prolog compiler A Prolog technology theorem prover: A new exposition and implementation...

available (Why is that?) Title not available (Why is that?) GAG: a practical compiler generator Initial Algebra Semantics and Continuous Algebras Attribute grammars...

for linear systems Normal form approach to compiler design An algebraic approach to the design of compilers for object-oriented languages Timed mobility...

sharing analysis Efficient description logic reasoning in Prolog: The DLog system Abstract semantic dependency Incremental and Modular Context-sensitive Analysis...

Keywords semantic processingautomatic compiler generationlanguage-independent modulesmodular compiler descriptions Mathematics Subject Classification ID...

the Robbins problem A rewriting approach to satisfiability procedures. Modular proof systems for partial functions with Evans equality Rewrite-based Equational...

of the Prolog system as a multipass compiler, where intermediate representations are materialized, in Unix compiler tradition. GNU Prolog also includes...

verify systems in rewriting logic. With CD-ROM. Computing with membranes Modular structural operational semantics A structural approach to operational semantics...