News

From FSL

2007-10-18: ptCaRet page has been launched

2007-10-2: jPredictor 0.2 has been released

2007-07-2: K-Scheme page has been launched

2007-06-11: FMOODS'07 paper on tuning analysis performance for object-oriented languages defined using rewriting logic semantics was published in LNCS 4468, pp 107-121

2007-04-20: MProlog page has been launched

2007-02-21: KOOL version 1.2 has been released, including updated semantics and a web-based interface

2006-11-27: JavaFAN page has been launched

2006-11-06: JavaMOP version 1.1 has been released, together with a new web-based interface

2006-10-03: Technical report on applying Monitoring-Oriented Programming in software development

2006-08-24: SAS'06 paper on parametric and termination-sensitive control dependence was published in LNCS 4134, pp 387-404

2006-07-28: RTA'06 paper on translating conditional term rewriting systems into equivalent unconditional ones was published in LNCS 4098, pp 19-34

2006-05-10: JavaMOP version 1.0 has been released

2006-05-01: RTA'06 paper on translating conditional term rewriting systems into equivalent unconditional ones

2006-04-25: CAV'06 paper on Allen temporal logic, its translation to LTL, and monitor synthesis

2006-04-22: Technical report on K,a rewrite logic framework for language design, semantics, analysis and implementation

2006-04-01: FOSSACS'06 paper on a model theoretical approach to Craig interpolation