Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Modular Termination Analysis for java bytecode by Term Rewriting
 

Summary: Modular Termination Analysis for java bytecode
by Term Rewriting
J¨urgen Giesl
LuFG Informatik 2, RWTH Aachen University, Germany
joint work with C. Otto and M. Brockschmidt
Automated Termination Tools for TRSs
AProVE (Aachen)
CARIBOO (Nancy)
CiME (Orsay)
Jambox (Amsterdam)
Matchbox (Leipzig)
MU-TERM (Valencia)
MultumNonMulta (Kassel)
TEPARLA (Eindhoven)
Termptation (Barcelona)
TORPA (Eindhoven)
TPA (Eindhoven)
TTT (Innsbruck)
VMTL (Vienna)
Automated Termination Tools for TRSs

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences