Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloImplementation of Static Semantic Analysis of LOTOS Specifications
Anno di pubblicazione1994
Formato
  • Elettronico
  • Cartaceo
Autore/iL. Durante; R. Sisto: A. Valenzano
Affiliazioni autoriL. 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
Autori CNR e affiliazioni
  • LUCA DURANTE
  • ADRIANO VALENZANO
Lingua/e
  • inglese
AbstractThe 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
Lingua abstractinglese
Altro abstract-
Lingua altro abstract-
Pagine da55
Pagine a66
Pagine totali12
RivistaSoftware engineering journal
Attiva dal 1986 al 1996
Editore: Institution of Electrical Engineers. - London
Paese di pubblicazione: Regno Unito
Lingua: inglese
ISSN: 0268-6961
Titolo chiave: Software engineering journal
Titolo abbreviato: Softw. eng. j.
Numero volume della rivista9
Fascicolo della rivista2
DOI-
Verificato da refereeSì: Internazionale
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:NK358)
Parole chiaveLOTOS, static semantic, formal languages
Link (URL, URI)http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=286520
Titolo parallelo-
Data di accettazione-
Note/Altre informazioni-
Strutture CNR
  • IEIIT — Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni
Moduli CNR-
Progetti Europei-
Allegati
  • Implementation of Static Semantic Analysis of LOTOS Specifications

Dati associati a vecchie tipologie
I dati associati a vecchie tipologie non sono modificabili, derivano dal cambiamento della tipologia di prodotto e hanno solo valore storico.
Editore
  • IEE The Institution of Electrical Engineers, London (Regno Unito)