some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

   Recent

   In Progress

   Archive

   Proposal

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

SPECIAL ISSUE:
Selected papers of the conference ''Tools and Algorithms for the Construction and Analysis of Systems'': TACAS 2013 (in progress)



Preface


Weighted Pushdown Systems with Indexed Weight Domains
Yasuhiko Minamide


Encoding Monomorphic and Polymorphic Types
Jasmin Christia Blanchette, Sascha Böhme, Andrei Popescu and Nicholas Smallbone


Creative Commons