D. A. Schmidt. Abstract interpretation in the operational semantics hierarchy. In Basic Research in computer Science, 1997.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Dynamic Slicing: A Generic Analysis Based on a Natural.. - Gouranton, Le Metayer (1998) (1 citation) (Correct)
....the same goals. Most program analyses in the past were based on either low level operational semantics [2] or denotational semantics [10] but the use of structural operational semantics or natural semantics as a basis for the design of analysers has been advocated by several researchers recently [8, 13, 18, 17]. A notion of Structural Operational Semantics format was introduced in [16] in order to establish a metatheory supporting general reasoning techniques. The broad objective of this paper is similar to ours (de ning semantics formats to achieve a level of factorisation over a class of programming ....
....very same way for Structural Operational Semantics. The added diOEculty introduced by Structural Operational Semantics is the fact that they create new program fragments which makes it necessary to abstract over the syntax of the language to derive a static analysis. This problem is discussed in [17]. 14 Note that the typing mentioned here has nothing to do with the language in which the analysed programs are written, this language itself can perfectly well be untyped. 15 Of course, as usual in abstract interpretation, PP P(Pvar) P(Pvar) and P(PP) can also be abstracted if further ....
D. Schmidt. Abstract interpretation of the operational semantics hierarchy. Technical report, Kansas State University, 1997.
Un Cadre Générique De Définition.. - Gouranton (1997) (Correct)
.... a partir d une sp ecification compos ee de la s emantique naturelle du langage consid er e et de la propri et e recherch ee. L int eret des s emantiques op erationnelles structurelles et des s emantiques naturelles pour l analyse de programmes a et e soulign e r ecemment par plusieurs auteurs [2, 10, 18, 17]. Une s emantique de ce type permet d etablir un lien entre le r esultat de l analyse et ce qu elle est cens ee faire (intentionalit e) par ailleurs, le caract ere compositionnel de ces s emantiques facilitent les techniques de preuves. La s emantique du langage etant d ecrite sous forme de ....
.... etapes sans difficult es. Les probl emes pos es par ce style de s emantiques apparaissent pour la construction de l analyseur statique : parce que des fragments nouveaux de programme sont cr ees lors des etapes interm ediaires, il est n ecessaire d abstraire la syntaxe du langage elle meme [17]. ....
D. Schmidt. Abstract interpretation of the operational semantics hierarchy. Technical report, Kansas State University, 1997.
A space-aware bytecode verifier for Java Cards - Bernardeschi, Lettieri.. (2005) (Correct)
No context found.
D. A. Schmidt. Abstract interpretation in the operational semantics hierarchy. In Basic Research in computer Science, 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC