Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings 1993
    URL: https://doi.org/10.1007/3-540-57264-3
    DBLP: db/conf/sas/wsa93.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 24  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Maurice Bruynooghe, Michael Codish.
    Freeness, Sharing, Linearity and Correctness - All at Once.
    Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Baudouin Le Charlier, Olivier Degimbe, Laurent D. Michel, Pascal Van Hentenryck.
    Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog.
    Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Torben Amtoft.
    Minimal Thunkification.
    Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Wei-Ngan Chin, Siau-Cheng Khoo.
    Tupling Functions with Multiple Recursion Parameters.
    Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Johan Boye, Jukka Paakki, Jan Maluszynski.
    Synthesis of Directionality Information for Functional Logic Programs.
    Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Nick Benton.
    Strictness Properties of Lazy Algebraic Datatypes.
    Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Didier Bert, Rachid Echahed, Bjarte M. Østvold.
    Abstract Rewriting.
    Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Régis Cridlig, Eric Goubault.
    Semantics and Analysis of Linda-Based Languages.
    Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Peter Van Roy.
    Challenges in Developing Useful and Practical Static Analysis for Logic Programs.
    Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Lindsay Errington, Chris Hankin, Thomas P. Jensen.
    A Congruence for Gamma Programs.
    Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings 1993 (0) 1993
    Show item 1 to 10 of 24  

    Your query returned 24 matches in the database.