Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings 1994
    URL: https://doi.org/10.1007/3-540-58485-4
    DBLP: db/conf/sas/sas94.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 4 of 4  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Alexander Aiken, T. K. Lakshman.
    Directional Type Checking of Logic Programs
    Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings 1994 (0) 1994
    Conference paper
    Dmitri Boulanger, Maurice Bruynooghe.
    A Systematic Construction of Abstract Domains
    Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings 1994 (0) 1994
    Conference paper
    Thomas W. Getzinger.
    The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization
    Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings 1994 (0) 1994
    Conference paper
    Michael Hanus, Frank Zartmann.
    Mode Analysis of Functional Logic Programs
    Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings 1994 (0) 1994
    Show item 1 to 4 of 4  

    Your query returned 4 matches in the database.