James R. Cordy

Available identifiers

zbMath Open cordy.james-rWikidataQ6131731 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: James R. Cordy