Electronic Notes in Theoretical Computer Science

1	--	2	Maribel Fernández, Ralf Lämmel. Preface
3	--	15	José Miguel Cleva, Francisco Javier López-Fraguas. Semantic Determinism and Functional Logic Program Properties
17	--	34	Alcino Cunha, Joost Visser. Strongly Typed Rewriting For Coupled Software Transformation
35	--	47	Florent Kirchner, François-Régis Sinot. Rule-Based Operational Semantics for an Imperative Language
49	--	63	Emanuel Kitzelmann, Ute Schmid. Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
65	--	81	Peter Csaba Ölveczky, José Meseguer. Recent Advances in Real-Time Maude
83	--	98	Fernando Rosa Velardo. Coding Mobile Synchronizing Petri Nets into Rewriting Logic
99	--	114	Victor L. Winter. Model-driven Transformation-based Generation of Java Stress Tests

External Links