Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 5 of 8 found articles
 
 
  Trace-Based Abstract Interpretation of Operational Semantics
 
 
Title: Trace-Based Abstract Interpretation of Operational Semantics
Author: David A. Schmidt
Appeared in: LISP and symbolic computation
Paging: Volume 10 (1998) nr. 3 pages 35 p.
Year: 1998-05
Contents:
Publisher: Kluwer Academic Publishers, Boston, U.S.A.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 5 of 8 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands