Titlebook: Recent Trends in Algebraic Development Techniques; 21st International W Narciso Martí-Oliet,Miguel Palomino Conference proceedings 2013 IFI

调整校对

Behaviour Protection in Modular Rule-Based System Specifications,stems development. DSMLs are particularly interesting because they allow encoding domain-knowledge into a modelling language and enable full code generation and analysis based on high-level models. However, as a result of the domain-specificity of DSMLs, there is a need for many such languages. This

避开

Bounded Model Checking of Recursive Programs with Pointers in K,ebraic notion of pushdown system specifications (PSS) and adapt a model checking algorithm for this new notion. We instantiate pushdown system specifications in the . framework by means of Shylock, a relevant PSS example. We show why . is a suitable environment for the pushdown system specifications

omnibus

A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Ceans of pseudo-random number sampling, all sources of nondeterminism must first be quantified. However, current tools offer limited flexibility for the user to define how the nondeterminism should be quantified. In this paper, we propose an expressive . that allows the user to define complex strateg

打击

Adaptable Transition Systems,nent based systems. The key feature of adaptable transition systems are ., imposing a clear separation between ordinary, functional behaviours and adaptive ones. We instantiate our approach on interface automata yielding ., but it may be instantiated on other foundational models of component-based s

检查

Compiling Logics,gic within the Heterogeneous Tool Set Hets. The central contributions are the use of declaration patterns for singling out a suitable subset of signatures for a particular logic, and the automatic generation of datatypes and functions for parsing and static analysis of declaratively specified logics

photophobia

Transformation Systems with Incremental Negative Application Conditions,texts”, in which the rules shall not be applied. The extension to NACs, however, introduces inhibiting effects among transformation steps that are not local in general, causing a severe problem for a concurrent semantics. In fact, the relation of . among derivation steps is not invariant under switc

hazard

FLING

burnish

Judicious

Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics,model theory. This work was extended by a number of researchers, José Meseguer among them, who presented ., an abstract framework that complements the model theoretical view of institutions by defining the categorical structures that provide a proof theory for any given logic. In this paper we inten