James R. Cordy

Available identifiers

zbMath Open cordy.james-rDBLPc/JamesRCordyWikidataQ6131731 ScholiaQ6131731MaRDI QIDQ1021477

List of research outcomes

Publication	Date of Publication	Type
Specification and verification of graph-based model transformation properties	2014-09-26	Paper
The third rewrite engines competition	2010-10-12	Paper
Comparison and evaluation of code clone detection techniques and tools: A qualitative approach	2009-06-08	Paper
Using source transformation to test and model check implicit-invocation systems	2006-10-05	Paper
The TXL source transformation language	2006-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q4474025	2004-08-04	Paper
SL parses the LR languages	1988-01-01	Paper
Compile—time detection of aliasing in euclid programs	1984-01-01	Paper
An Introduction to S/SL: Syntax/Semantic Language	1982-01-01	Paper

Research outcomes over time

This page was built for person: James R. Cordy