A Static Semantic Analyzer for LOTOS Specifications (Contributo in atti di convegno)

Type
Label
  • A Static Semantic Analyzer for LOTOS Specifications (Contributo in atti di convegno) (literal)
Anno
  • 1993-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1109/PCCC.1993.344534 (literal)
Alternative label
  • L. Durante; R. Sisto; A. Valenzano (1993)
    A Static Semantic Analyzer for LOTOS Specifications
    in 12th IEEE Annual International Phoenix Conference on Computers and Communications (IPCCC 1993), Tempe, 23-26 MArzo 1993
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • L. Durante; R. Sisto; A. Valenzano (literal)
Pagina inizio
  • 585 (literal)
Pagina fine
  • 592 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=344534 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 8 (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, CENS-CNR, Torino, Italy (literal)
Titolo
  • A Static Semantic Analyzer for LOTOS Specifications (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 0-7803-0922-7 (literal)
Abstract
  • The authors present some aspects related to the implementation of the formal flattening rules and static semantic requirements defined for the standard specification language LOTOS that are to be faced in developing tools based on LOTOS descriptions. The approach led to the implementation of a C program consisting of a syntax-driven parser whose actions are the flattening functions. The flattening functions, formally defined in the standard document, involve forward references that should be resolved before implementing the flattening and static semantic functions. The tool is able to read a LOTOS specification and produces a data structure which corresponds to a formal data structure called the canonical LOTOS specification (CLS) in the standard LOTOS document. Examples and measures of performance that have been collected by testing the tool on some significant case studies taken from the existing literature are also given (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Insieme di parole chiave di
data.CNR.it