Implementation of Static Semantic Analysis of LOTOS Specifications (Articolo in rivista)

Type
Label
  • Implementation of Static Semantic Analysis of LOTOS Specifications (Articolo in rivista) (literal)
Anno
  • 1994-01-01T00:00:00+01:00 (literal)
Alternative label
  • L. Durante; R. Sisto: A. Valenzano (1994)
    Implementation of Static Semantic Analysis of LOTOS Specifications
    in Software engineering journal; IEE The Institution of Electrical Engineers, London (Regno Unito)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • L. Durante; R. Sisto: A. Valenzano (literal)
Pagina inizio
  • 55 (literal)
Pagina fine
  • 66 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=286520 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 9 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 12 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 2 (literal)
Note
  • Google Scholar (literal)
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • L. Durante, R. Sisto: Dip. di Automatica e Informatica, Politecnico di Torino, Torino, Italy A. Valenzano: Centro di Studi per l'Elaborazione Numerale dei Segnali, CNR, Torino, Italy (literal)
Titolo
  • Implementation of Static Semantic Analysis of LOTOS Specifications (literal)
Abstract
  • The implementation of syntax-driven static semantic analysis of languages presenting recursive forward references in their definition, requires the handling of a syntax tree. When dealing with languages for which the syntax tree approach is very heavy to implement, a source code reorganisation operation may solve the problem more conveniently. This applies to the ISO specification language LOTOS which is taken as the main concern in the article. The implementation of a static semantic analyser for LOTOS based on the above approach is described by means of a C program, and all the main issues are addressed. It is shown that the source code reorganisation operation applied to LOTOS specifications does not alter the semantics of the original source specification. Examples and measures of performance collected by testing the tool on some significant case studies in the literature are also given (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Editore di
Insieme di parole chiave di
data.CNR.it