James R. Cordy

Affiliations:
  • Queen's University, Kingston, Canada


According to our database1, James R. Cordy authored at least 203 papers between 1977 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Survey on the Verification and Validation of Artificial Pancreas Software Systems.
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

2022
In Rust We Trust - A Transpiler from Unsafe C to Safer Rust.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

2021
NiCad: A Modern Clone Detector.
Proceedings of the Code Clone Analysis, 2021

2020
Bounded Verification of State Machine Models.
Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

Synthesis of state machine models.
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019
MuMonDE: A framework for evaluating model clone detectors using model mutation analysis.
Softw. Test. Verification Reliab., 2019

Survey and classification of model transformation tools.
Softw. Syst. Model., 2019

Software Engineering by Source Transformation - Experience with TXL (Most Influential Paper, SCAM 2001).
Proceedings of the 19th International Working Conference on Source Code Analysis and Manipulation, 2019

Variability Identification and Representation for Automotive Simulink Models.
Proceedings of the Automotive Systems and Software Engineering, 2019

2018
An approach to clone detection in sequence diagrams and its application to security analysis.
Softw. Syst. Model., 2018

Analyzing a decade of Linux system calls.
Empir. Softw. Eng., 2018

Benchmarks for software clone detection: A ten-year retrospective.
Proceedings of the 25th International Conference on Software Analysis, 2018

Simgen: a tool for generating simulations and visualizations of embedded systems on the unity game engine.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Adventures in NICAD: a ten-year retrospective.
Proceedings of the 26th Conference on Program Comprehension, 2018

SimEvo: A Toolset for Simulink Test Evolution & Maintenance.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

2017
How is ATL Really Used? Language Feature Use in the ATL Zoo.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

SimPact: Impact Analysis for Simulink Models.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems.
Proceedings of the 9th IEEE/ACM International Workshop on Modelling in Software Engineering, 2017

2016
Pattern Analysis of TXL Programs.
Proceedings of the 10th International Workshop on Software Clones, 2016

Model-Driven Evaluation of Software Architecture Quality Using Model Clone Detection.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

The problems with eclipse modeling tools: a topic analysis of eclipse forums.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Examining the co-evolution relationship between simulink models and their test cases.
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

On the maintenance complexity of makefiles.
Proceedings of the 7th International Workshop on Emerging Trends in Software Metrics, 2016

Proactive auto-scaling of resources for stream processing engines in the cloud.
Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016

Authentication and Access Control in e-Health Systems in the Cloud.
Proceedings of the 2nd IEEE International Conference on Big Data Security on Cloud, 2016

2015
Model transformations for migrating legacy deployment models in the automotive industry.
Softw. Syst. Model., 2015

Parse views with Boolean grammars.
Sci. Comput. Program., 2015

GaiusT: supporting the extraction of rights and obligations for regulatory compliance.
Requir. Eng., 2015

Formal Verification Techniques for Model Transformations: A Tridimensional Classification.
J. Object Technol., 2015

Are PHP applications ready for Hack?
Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

TXL source transformation in practice.
Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

SimNav: Simulink navigation of model clone classes.
Proceedings of the 15th IEEE International Working Conference on Source Code Analysis and Manipulation, 2015

Identification of Simulink model antipattern instances using model clone detection.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report.
Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

SyVOLT: Full Model Transformation Verification Using Contracts.
Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Make it simple: an empirical analysis of GNU make feature use in open source projects.
Proceedings of the 2015 IEEE 23rd International Conference on Program Comprehension, 2015

Identifying Instances of Model Design Patterns and Antipatterns Using Model Clone Detection.
Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

Migrating Automotive Product Lines: A Case Study.
Proceedings of the Theory and Practice of Model Transformations, 2015

2014
Guest editorial for the special issue on source code analysis and manipulation, SCAM 2012.
J. Softw. Evol. Process., 2014

A survey of grammatical inference in software engineering.
Sci. Comput. Program., 2014

Tuning research tools for scalability and performance: The NiCad experience.
Sci. Comput. Program., 2014

Identifying and locating interference issues in PHP applications: the case of WordPress.
Proceedings of the 22nd International Conference on Program Comprehension, 2014

Towards a Taxonomy for Simulink Model Mutations.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Specification and Verification of Graph-Based Model Transformation Properties.
Proceedings of the Graph Transformation - 7th International Conference, 2014

Examining the relationship between topic model similarity and software maintenance.
Proceedings of the 2014 Software Evolution Week, 2014

Analysis and clustering of model clones: An automotive industrial experience.
Proceedings of the 2014 Software Evolution Week, 2014

Practical language-independent detection of near-miss clones.
Proceedings of 24th Annual International Conference on Computer Science and Software Engineering, 2014

2013
Special section on ICSM 2011.
J. Softw. Evol. Process., 2013

Using heuristics to estimate an appropriate number of latent topics in source code analysis.
Sci. Comput. Program., 2013

An approach to clone detection in behavioural models.
Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Submodel pattern extraction for simulink models.
Proceedings of the 17th International Software Product Line Conference, 2013

Applying gaiust for extracting requirements from legal documents.
Proceedings of the Sixth International Workshop on Requirements Engineering and Law, 2013

Application of Model Comparison Techniques to Model Transformation Testing.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

A Survey of Model Comparison Approaches and Applications.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Evolution of Model Clones in Simulink.
Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Automated Verification of Model Transformations in the Automotive Industry.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

A mutation analysis based benchmarking framework for clone detectors.
Proceedings of the Proceeding of the 7th International Workshop on Software Clones, 2013

Light-weight ontology alignment using best-match clone detection.
Proceedings of the Proceeding of the 7th International Workshop on Software Clones, 2013

A Framework for Migrating Web Applications to Web Services.
Proceedings of the Web Engineering - 13th International Conference, 2013

Using mutation analysis for a model-clone detector comparison framework.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Software Clone Management Towards Industrial Application (Dagstuhl Seminar 12071).
Dagstuhl Reports, 2012

Normalizing object-oriented class styles in JavaScript.
Proceedings of the 14th IEEE International Symposium on Web Systems Evolution, 2012

Automated verification of role-based access control security models recovered from dynamic web applications.
Proceedings of the 14th IEEE International Symposium on Web Systems Evolution, 2012

Grammatical Inference in Software Engineering: An Overview of the State of the Art.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

Model transformation testing: the state of the art.
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Towards qualitative comparison of Simulink model clone detection approaches.
Proceedings of the Proceeding of the 6th International Workshop on Software Clones, 2012

Foreword.
Proceedings of the Proceeding of the 6th International Workshop on Software Clones, 2012

Near-miss model clone detection for Simulink models.
Proceedings of the Proceeding of the 6th International Workshop on Software Clones, 2012

Recovering Role-Based Access Control Security Models from Dynamic Web Applications.
Proceedings of the Web Engineering - 12th International Conference, 2012

A Tridimensional Approach for Studying the Formal Verification of Model Transformations.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Models are code too: Near-miss clone detection for Simulink models.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Model Transformations for Migrating Legacy Models: An Industrial Case Study.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Using Topic Models to Support Software Maintenance.
Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

2011
Contextualized semantic analysis of web services.
Proceedings of the 13th IEEE International Symposium on Web Systems Evolution, 2011

Reverse Engineering Co-maintenance Relationships Using Conceptual Analysis of Source Code.
Proceedings of the 18th Working Conference on Reverse Engineering, 2011

Analyzing web service similarity using contextual clones.
Proceedings of the Proceeding of the 5th ICSE International Workshop on Software Clones, 2011

Live scatterplots.
Proceedings of the Proceeding of the 5th ICSE International Workshop on Software Clones, 2011

The NiCad Clone Detector.
Proceedings of the 19th IEEE International Conference on Program Comprehension, 2011

DebCheck: Efficient Checking for Open Source Code Clones in Software Systems.
Proceedings of the 19th IEEE International Conference on Program Comprehension, 2011

Exploring Large-Scale System Similarity Using Incremental Clone Detection and Live Scatterplots.
Proceedings of the 19th IEEE International Conference on Program Comprehension, 2011

Foreword.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

Fifth international workshop on software clones: (IWSC 2011).
Proceedings of the 33rd International Conference on Software Engineering, 2011

Second Symposium on the Personal Web.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

Towards a framework for migrating web applications to web services.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

2010
Near-miss function clones in open source software: an empirical study.
J. Softw. Maintenance Res. Pract., 2010

The Third Rewrite Engines Competition.
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Estimating the Optimal Number of Latent Concepts in Source Code Analysis.
Proceedings of the Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, 2010

Are scripting languages really different?
Proceedings of the Proceeding of the 4th ICSE International Workshop on Software Clones, 2010

Fourth International Workshop on Software Clones (IWSC).
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Automating Coverage Metrics for Dynamic Web Applications.
Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010

Smart Services.
Proceedings of the Smart Internet - Current Research and Future Applications, 2010

Smart Interactions.
Proceedings of the Smart Internet - Current Research and Future Applications, 2010

Overview of the Smart Internet.
Proceedings of the Smart Internet - Current Research and Future Applications, 2010

Motivation.
Proceedings of the Smart Internet - Current Research and Future Applications, 2010

Towards Web Services Tagging by Similarity Detection.
Proceedings of the Smart Internet - Current Research and Future Applications, 2010

First symposium on the Personal Web.
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009
Modelling methods for web application verification and testing: state of the art.
Softw. Test. Verification Reliab., 2009

Comparison and evaluation of code clone detection techniques and tools: A qualitative approach.
Sci. Comput. Program., 2009

Guest Editorial for the Special Issue on Source Code Analysis andManipulation, SCAM 2008.
Inf. Softw. Technol., 2009

Cerno: Light-weight tool support for semantic annotation of textual documents.
Data Knowl. Eng., 2009

WAFA: Fine-grained dynamic analysis of web applications.
Proceedings of the 11th IEEE International Symposium on Web Systems Evolution, 2009

Vector space analysis of software clones.
Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009

White-Box Evaluation of Computer Vision Algorithms through Explicit Decision-Making.
Proceedings of the Computer Vision Systems, 2009

A Mutation/Injection-Based Automatic Framework for Evaluating Code Clone Detection Tools.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Excerpts from the TXL Cookbook.
Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

Eating our own dog food: DSLs for generative and transformational engineering.
Proceedings of the Generative Programming and Component Engineering, 2009

Third International Workshop on Software Clones (IWSC).
Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009

The smart internet: transforming the web for the user.
Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research, 2009

SITCON: the CAS/NSERC strategic workshop in smart internet technologies.
Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research, 2009

A verification framework for access control in dynamic web applications.
Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2009

2008
Decision-Based Specification and Comparison of Table Recognition Algorithms.
Proceedings of the Machine Learning in Document Analysis and Recognition, 2008

An Empirical Study of Function Clones in Open Source Software.
Proceedings of the WCRE 2008, 2008

Automated Concept Location Using Independent Component Analysis.
Proceedings of the WCRE 2008, 2008

SQL2XMI: Reverse Engineering of UML-ER Diagrams from Relational Database Schemas.
Proceedings of the WCRE 2008, 2008

NICAD: Accurate Detection of Near-Miss Intentional Clones Using Flexible Pretty-Printing and Code Normalization.
Proceedings of the 16th IEEE International Conference on Program Comprehension, 2008

Scenario-Based Comparison of Clone Detection Techniques.
Proceedings of the 16th IEEE International Conference on Program Comprehension, 2008

Automating discovery of software tuning parameters.
Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

Automating the Extraction of Rights and Obligations for Regulatory Compliance.
Proceedings of the Conceptual Modeling, 2008

Towards a mutation-based automatic framework for evaluating code clone detection tools.
Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2008

Annotating Regulations Using Cerno: An Application to Italian Documents - Extended Abstract.
Proceedings of the The Third International Conference on Availability, 2008

2007
A Lightweight Approach to Semantic Annotation of Research Papers.
Proceedings of the Natural Language Processing and Information Systems, 2007

Extracting rights and obligations from regulations: toward a tool-supported process.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

A Survey of Analysis Models and Methods in Website Verification and Testing.
Proceedings of the Web Engineering, 7th International Conference, 2007

Annotating Accommodation Advertisements Using CERNO.
Proceedings of the Information and Communication Technologies in Tourism, 2007

Automated conversion of table-based websites to structured stylesheets using table recognition and clone detection.
Proceedings of the 2007 conference of the Centre for Advanced Studies on Collaborative Research, 2007

2006
Guest editorial.
Softw. Qual. J., 2006

Using source transformation to test and model check implicit-invocation systems.
Sci. Comput. Program., 2006

The TXL source transformation language.
Sci. Comput. Program., 2006

Evolving TXL.
Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006

Source transformation, analysis and generation in TXL.
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Text Mining Through Semi Automatic Semantic Annotation.
Proceedings of the Practical Aspects of Knowledge Management, 6th International Conference, 2006

Integrating Reverse Engineering Tools Using a Service-Sharing Methodology.
Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006

A Service-Sharing Methodology for Integrating COTS-Based Software Systems.
Proceedings of the Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2006

Towards automatic verification of Erlang programs by pi-calculus translation.
Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, 2006

Similarity in Programs.
Proceedings of the Duplication, Redundancy, and Similarity in Software, 23.07., 2006

06301 Working Session Summary: Presentation and Visualization of Redundant Code.
Proceedings of the Duplication, Redundancy, and Similarity in Software, 23.07., 2006

A backtracking LR algorithm for parsing ambiguous context-dependent languages.
Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, 2006

STAC: software tuning panels for autonomic control.
Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, 2006

2005
Source Transformation for Concurrency Analysis.
Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, 2005

Enhancing Security Using Legality Assertions.
Proceedings of the 12th Working Conference on Reverse Engineering, 2005

Semi-Automatic Semantic Annotations for Web Documents.
Proceedings of the SWAP 2005, 2005

TETE: A Non-Invasive Unit Testing Framework for Source Transformation.
Proceedings of the 13th International Workshop on Software Technology and Engineering Practice (STEP 2005), 2005

Implementation and Verification of Implicit-Invocation Systems Using Source Transformation.
Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

An empirical framework for comparing effectiveness of testing and property-based formal analysis.
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

Ontology-Based Software Analysis and Reengineering Tool Integration: The OASIS Service-Sharing Methodology.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

The Recognition Strategy Language.
Proceedings of the Eighth International Conference on Document Analysis and Recognition (ICDAR 2005), 29 August, 2005

Historical Recall and Precision: Summarizing Generated Hypotheses.
Proceedings of the Eighth International Conference on Document Analysis and Recognition (ICDAR 2005), 29 August, 2005

Recognition Tasks Are Imitation Games.
Proceedings of the Pattern Recognition and Data Mining, 2005

Applying Software Analysis Technology to Lightweight Semantic Markup of Document Text.
Proceedings of the Pattern Recognition and Data Mining, 2005

How to make a bridge between transformation and analysis technologies?.
Proceedings of the Transformation Techniques in Software Engineering, 17.-22. April 2005, 2005

05161 Executive Summary - Transformation Techniques in Software Engineering.
Proceedings of the Transformation Techniques in Software Engineering, 17.-22. April 2005, 2005

Workshops of CASCON 2005/Ateliers de CASCON 20005.
Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative Research, 2005

2004
A survey of table recognition.
Int. J. Document Anal. Recognit., 2004

Factbase Filtering Issues in an Ontology-Based Reverse Engineering Tool Integration System.
Proceedings of the 2nd International Workshop on Metamodels, 2004

TXL - A Language for Programming Language Tools and Applications .
Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, 2004

Introduction.
Autom. Softw. Eng., 2004

A survey of self-management in dynamic software architecture specifications.
Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004

2003
Agile Parsing in TXL.
Autom. Softw. Eng., 2003

Resolution of Static Clones in Dynamic Web Pages.
Proceedings of the 5th International Workshop on Web Site Evolution (WSE 2003), 2003

Unique Renaming of Java Using Source Transformation.
Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 2003

Comprehending Reality - Practical Barriers to Industrial Adoption of Software Maintenance Automation.
Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), 2003

Generalized Selective XML Markup of Source Code Using Agile Parsing.
Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), 2003

Transparent Reverse Engineering Tool Integration Using a Conceptual Transaction Adapter.
Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 2003

Robust multilingual parsing using island grammars.
Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative Research, 2003

2002
Recognizing Mathematical Expressions Using Tree Transformation.
IEEE Trans. Pattern Anal. Mach. Intell., 2002

Source transformation in software engineering using the TXL transformation system.
Inf. Softw. Technol., 2002

Grammar Programming in TXL.
Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

Where's the Schema? A Taxonomy of Patterns for Software Exchange.
Proceedings of the 10th International Workshop on Program Comprehension (IWPC 2002), 2002

Applying Compiler Techniques to Diagram Recognition.
Proceedings of the 16th International Conference on Pattern Recognition, 2002

AUI: A Programming Language for Developing Plastic Interactive Software.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

2001
Software Engineering by Source Transformation-Experience with TXL.
Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001

Wins and Losses of Algebraic Transformations of Software Architectures.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Processing Software Source Text in Automated Design Recovery and Transformation.
Proceedings of the 9th International Workshop on Program Comprehension (IWPC 2001), 2001

HSML: Design Directed Source Code Hot Spots.
Proceedings of the 9th International Workshop on Program Comprehension (IWPC 2001), 2001

Using Design Recovery Techniques to Transform Legacy Systems.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

Baseline Structure Analysis of Handwritten Mathematics Notation.
Proceedings of the 6th International Conference on Document Analysis and Recognition (ICDAR 2001), 2001

Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems.
Proceedings of the Interactive Systems: Design, 2001

1995
A Syntactic Theory of Software Architecture.
IEEE Trans. Software Eng., 1995

1994
Schema translation using structural transformation.
Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

1993
Introduction to the Special Issue on ICCL '92.
Comput. Lang., 1993

Software Structure Characterization Using Connectivity.
Proceedings of the Studies of Software Design, 1993

1992
GVL: Visual specification of graphical output.
J. Vis. Lang. Comput., 1992

Practical metaprogramming.
Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, 1992

1991
TXL: A Rapid Prototyping System for Programming Language Dialects.
Comput. Lang., 1991

1990
TuringTool: A User Interface to Aid in the Software Maintenance Task.
IEEE Trans. Software Eng., 1990

Code Generation Using an Orthogonal Model.
Softw. Pract. Exp., 1990

Specification and Automatic Prototype Implementation of Polymorphic Objects in TURING Using the TXL Dialect Processor.
Proceedings of the 1990 Internation Conference on Computer Languages, 1990

GVL: A Graphical, Functional Language for the Specification of Output in Programming Languages.
Proceedings of the 1990 Internation Conference on Computer Languages, 1990

1989
Automatically Generating SL Parsers From LL(1) Grammars.
Comput. Lang., 1989

1988
Turing Plus: a comparison with C and Pascal.
ACM SIGPLAN Notices, 1988

SL Parses The LR Languages.
Comput. Lang., 1988

The Turing Programming Language.
Commun. ACM, 1988

1987
Design of an interpretive environment for Turing.
Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987

1986
An orthogonal model for code generation.
PhD thesis, 1986

1984
Compile-Time Detection of Aliasing in Euclid Programs.
Softw. Pract. Exp., 1984

1982
An Introduction to S/SL: Syntax/Semantic Language.
ACM Trans. Program. Lang. Syst., 1982

1981
Early Experiences with Euclid.
Proceedings of the 5th International Conference on Software Engineering, 1981

Euclid: a language for compiling quality software.
Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1979
Semantic charts: A diagrammatic approach to semantic processing.
Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, 1979

1978
The Euclid Language: a progress report.
Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977
SP/k: A System for Teaching Computer Programming.
Commun. ACM, 1977


  Loading...