Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories

Fokkink, Wan; Verhoef, C.

doi:10.1007/978-3-540-49020-3_7

Cited by 13 publications

(11 citation statements)

References 37 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This notion is not only useful in the realm of operational conservativity, but also in conservativity of rewrite systems. For example, Fokkink and Verhoef [31] give a treatment of sourcedependency for term rewriting systems with applications to software renovation. Roughly, a component that rewrites legacy code into better code, can also extend it with more functionality.…”

Section: Operational Conservativitymentioning

confidence: 99%

LETOS - a lightweight execution tool for operational semantics

Hartel

1999

Softw: Pract. Exper.

View full text Add to dashboard Cite

A lightweight tool is proposed to aid in the development of operational semantics. To use LETOS an operational semantics must be expressed in its meta-language, which itself is a superset of Miranda. The LETOS compiler is smaller than comparable tools, yet LETOS is powerful enough to support publication quality rendering using L AT E X, fast enough to provide competitive execution using Haskell, and versatile enough to support browsing of execution traces using Netscape. LETOS can be characterised as an experiment in 'creative laziness', showing how far one can get by gluing existing components together. The major specifications built using LETOS to-date are a smart card version of the Java Virtual Machine, a deterministic version of the π-calculus, and an electronic payment protocol. In addition, we have specified the semantics of many small programming languages and systems, totaling over 9000 lines of formal text. LETOS is unique in that it helps to check that a specification is operationally conservative. P. H. HARTELimplement her semantics. The RML system [6] covers middle ground in that RML offers only one facility: the compilation of operational semantics specifications into C. Concentrating on one aspect pays off; the RML system executes an operational semantics faster than its competitors.The three approaches above represent as many points in a spectrum of possibilities. The sophisticated tools provide comprehensive facilities, but not without imposing limitations. The ASF+SDF system, for example, is not polymorphic, and it is also first order. This makes it awkward to work with denotational semantics [7]. The complexity of a system such as ASF+SDF makes it less than straightforward to experiment with, say, a higher order version of the system. The Typol subsystem [8] of Centaur is slow [6]. Recent work on the Minotaur [9] version of Typol has shown that imposing restrictions on the full generality of the Typol inference rules makes speed improvements of a factor of about 10-15 possible. This still leaves the performance of Typol wanting. The RML system does well on one aspect: speed of execution. However, the lack of rendering and execution tracing facilities does not make for a user-friendly system [6].The systems referred to above have one factor in common: they are not small. For example, in 1988 the Centaur system was reported to consist of 32,000 lines of code [10] and in 1996 the RML compiler and runtime system together comprised 15,000 lines of code [11].The approach advocated in this paper is to build a lightweight tool that offers the most important facilities at a minimal cost. This implies a small size of the meta-language compiler and minimal runtime support, a quick edit-compile-run cycle and a short learning period. The low cost is achieved by making maximum use of existing components, and by judiciously selecting essential features. The proposed LETOS program is small (2000 lines of lex, yacc and C). It takes as input a superset of Miranda. LETOS is capable of producing a proper declarati...

show abstract

Section: Operational Conservativitymentioning

confidence: 99%

LETOS - a lightweight execution tool for operational semantics

Hartel

1999

Softw: Pract. Exper.

View full text Add to dashboard Cite

show abstract

“…We start by defining the notion of a source-dependent variable 25,30 , which will be an important ingredient of a rule format to ensure that an extension of a TSS is operationally conservative. In order to conclude that an extended TSS is operationally conservative over the original TSS, we need to know that the variables in the original transition rules are source-dependent.…”

Section: Guaranteeing Operational Conservative Extensionmentioning

confidence: 99%

“…In 25 it was noted that the operational conservative extension notion as formulated in Def. 3.2 implies a conservativity property for three-valued stable models.…”

Section: Implications For Three-valued Stable Modelsmentioning

confidence: 99%

“…D'Argenio and Verhoef 22,23 formulated a generalization of this result in the context of inequational specifications. Fokkink and Verhoef 25 relaxed the syntactic restrictions on the original TSS, and lifted the operational conservative extension result to higher-order languages. This column contains an exposition on existing conservative extension formats for SOS, and their applications with respect to term rewriting systems and completeness of axiomatizations.…”

mentioning

confidence: 99%

See 1 more Smart Citation

Conservative Extension in Structural Operational Semantics

Aceto¹,

Fokkink²,

Verhoef³

1999

BRICS

Self Cite

View full text Add to dashboard Cite

An extension of a structural definition of an operational semantics is (operationally) conservative if it does not affect the semantics of terms over the original signature. We present a survey of syntactic formats that have been developed to guarantee that such an extension is conservative. We also give an overview of properties, in the realm of equational specification and term rewriting, that can be derived from the fact that an extension of an operational semantics is conservative.

show abstract

“…Fundamentals for software renovation factories and system renovation are laid out in [10,56,69], and prerequisites for analysis and conversion tools for large software systems are discussed in [11]. A quick introduction into software renovation in given in [28], and definitions of a software renovation factory are given in [35,38], as well as in [33]: a software renovation factory is a set of software renovation assembly lines, while a software renovation assembly line is an ordered set of (renovation) automated functions.…”

Section: Introductionmentioning

confidence: 99%

Automated mass maintenance of a software portfolio

Veerman

2006

Science of Computer Programming

View full text Add to dashboard Cite

This is an experience report on automated mass maintenance of a large Cobol software portfolio. A company in the financial services and insurance industry upgraded their database system to a new version, affecting their entire software portfolio. The database system was accessed by the portfolio of 45 systems, totalling nearly 3000 programs and covering over 4 million lines of Cobol code. We upgraded the programs to the new database version using several automatic tools, and we performed an automated analysis supporting further manual modifications by the system experts. The automatic tools were built using a combination of lexical and syntactic technology, and they were deployed in a mass update factory to allow large-scale application to the software portfolio. The updated portfolio has been accepted and taken into production by the company, serving over 600 employees with the new database version. In this paper, we discuss the automated upgrade from problem statement to project costs.

show abstract

Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories

Abstract: Abstract. We transpose a conservative extension theorem from structural operational semantics to conditional term rewriting. The result is useful for the development of software renovation factories, and for modular specification of abstract data types.

Cited by 13 publications

References 37 publications

LETOS - a lightweight execution tool for operational semantics

LETOS - a lightweight execution tool for operational semantics

Conservative Extension in Structural Operational Semantics

Automated mass maintenance of a software portfolio

Contact Info

Product

Resources

About