Welcome to D
SIGMOD 2004
PODS 2004
SIGMOD RECOR
CIKM 2004
DASFAA 2004
DBPL 2003
DE-BULLETIN
DEBS 2004
DMKD 2004
DMSN 2004
DOLAP 2004
DPDJ 2004
EDBT 2004
ER 2003
GIS 2004
HDP 2004
HYPERTEXT 20
ICDE 2004
ICDT 2003
JCDL 2004
MDM
MIR 2004
MIS 2004
MMDB 2004
MOBIDE 2003
RIDE 2004
SBBD 2003
SIGIR FORUM
SIGIR 2004
SIGKDD EXPLO
SIGKDD 2004
SSDBM 2004
SSTD 2003
TIME 2004
TODS 2004
VLDB 2004
VLDB Journal
WEBDB 2004
WIDM 2004
XIME-P 2004
Footer

James R. Cordy

Papers on DiSC'04


A Transformational Framework for Testing and Model Checking Implicit-Invocation Systems

Publications


Note: Links lead to the DBLP on the Web.

James R. Cordy

James R. Cordy, Thomas R. Dean , Nikita Synytskyy : Practical language-independent detection of near-miss clones. CASCON 2004 : 1-12

Andrea De Lucia , James R. Cordy, John Mylopoulos : Introduction. Autom. Softw. Eng. 11 (1): 5-6 (2004)

James R. Cordy: TXL - A Language for Programming Language Tools and Applications . Electr. Notes Theor. Comput. Sci. 110 : 3-31 (2004)

Richard Zanibbi , Dorothea Blostein , James R. Cordy: A survey of table recognition. IJDAR 7 (1): 1-16 (2004)

Nikita Synytskyy , James R. Cordy, Thomas R. Dean : Robust multilingual parsing using island grammars. CASCON 2003 : 266-278

Dean Jin , James R. Cordy, Thomas R. Dean : Transparent Reverse Engineering Tool Integration Using a Conceptual Transaction Adapter. CSMR 2003 : 399-408

James R. Cordy: Generalized Selective XML Markup of Source Code Using Agile Parsing. IWPC 2003 : 144-153

James R. Cordy: Comprehending Reality - Practical Barriers to Industrial Adoption of Software Maintenance Automation. IWPC 2003 : 196-206

Xinping Guo , James R. Cordy, Thomas R. Dean : Unique Renaming of Java Using Source Transformation. SCAM 2003 : 151-160

Nikita Synytskyy , James R. Cordy, Thomas R. Dean : Resolution of Static Clones in Dynamic Web Pages. WSE 2003 : 49

Thomas R. Dean , James R. Cordy, Andrew J. Malton , Kevin A. Schneider : Agile Parsing in TXL. Autom. Softw. Eng. 10 (4): 311-336 (2003)

Kevin A. Schneider , James R. Cordy: AUI: A Programming Language for Developing Plastic Interactive Software. HICSS 2002 : 281

Dorothea Blostein , James R. Cordy, Richard Zanibbi : Applying Compiler Techniques to Diagram Recognition. ICPR (3) 2002 : 123-126

Dean Jin , James R. Cordy, Thomas R. Dean : Where's the Schema? A Taxonomy of Patterns for Software Exchange. IWPC 2002 : 65-74

Thomas R. Dean , James R. Cordy, Andrew J. Malton , Kevin A. Schneider : Grammar Programming in TXL. SCAM 2002 : 93-

Richard Zanibbi , Dorothea Blostein , James R. Cordy: Recognizing Mathematical Expressions Using Tree Transformation. IEEE Trans. Pattern Anal. Mach. Intell. 24 (11): 1455-1467 (2002)

James R. Cordy, Thomas R. Dean , Andrew J. Malton , Kevin A. Schneider : Source transformation in software engineering using the TXL transformation system. Information & Software Technology 44 (13): 827-837 (2002)

Hoda Fahmy , Richard C. Holt , James R. Cordy: Wins and Losses of Algebraic Transformations of Software Architectures. ASE 2001 : 51-62

Kevin A. Schneider , James R. Cordy: Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems. DSV-IS 2001 : 28-48

Richard Zanibbi , Dorothea Blostein , James R. Cordy: Baseline Structure Analysis of Handwritten Mathematics Notation. ICDAR 2001 : 768-773

Thomas R. Dean , James R. Cordy, Kevin A. Schneider , Andrew J. Malton : Using Design Recovery Techniques to Transform Legacy Systems. ICSM 2001 : 622-631

Andrew J. Malton , Kevin A. Schneider , James R. Cordy, Thomas R. Dean , Darren Cousineau , Jason Reynolds : Processing Software Source Text in Automated Design Recovery and Transformation. IWPC 2001 : 127-134

James R. Cordy, Kevin A. Schneider , Thomas R. Dean , Andrew J. Malton : HSML: Design Directed Source Code Hot Spots. IWPC 2001 : 145-156

James R. Cordy, Thomas R. Dean , Andrew J. Malton , Kevin A. Schneider : Software Engineering by Source Transformation-Experience with TXL. SCAM 2001 : 170-180

Thomas R. Dean , James R. Cordy: A Syntactic Theory of Software Architecture. IEEE Trans. Software Eng. 21 (4): 302-313 (1995)

Thomas R. Dean , James R. Cordy: Software Structure Characterization Using Connectivity. ICSE Workshop on Studies of Software Design 1993 : 33-48

James R. Cordy, Mario Barbacci : Introduction to the Special Issue on ICCL '92. Comput. Lang. 19 (2): 63-64 (1993)

James R. Cordy, Charles D. Halpern-Hamu , Eric Promislow : TXL: A Rapid Prototyping System for Programming Language Dialects. Comput. Lang. 16 (1): 97-107 (1991)

James R. Cordy, T. C. Nicholas Graham : GVL: A Graphical, Functional Language for the Specification of Output in Programming Languages. ICCL 1990 : 11-22

James R. Cordy, Eric Promislow : Specification and Automatic Prototype Implementation of Polymorphic Objects in TURING Using the TXL Dialect Processor. ICCL 1990 : 145-154

James R. Cordy, Nicholas L. Eliot , Michael G. Robertson : TuringTool: A User Interface to Aid in the Software Maintenance Task. IEEE Trans. Software Eng. 16 (3): 294-301 (1990)

James R. Cordy, Richard C. Holt : Code Generation Using an Orthogonal Model. Softw., Pract. Exper. 20 (3): 301-320 (1990)

David T. Barnard , James R. Cordy: Automatically Generating SL Parsers From LL(1) Grammars. Comput. Lang. 14 (2): 93-98 (1989)

Richard C. Holt , James R. Cordy: The Turing Programming Language. Commun. ACM 31 (12): 1410-1423 (1988)

David T. Barnard , James R. Cordy: SL Parses The LR Languages. Comput. Lang. 13 (2): 65-74 (1988)

Stephen G. Perelgut , James R. Cordy: Turing Plus: a comparison with C and Pascal. SIGPLAN Notices 23 (1): 137-143 (1988)

James R. Cordy, T. C. Nicholas Graham : Design of an interpretive environment for Turing. PLDI 1987 : 199-204

James R. Cordy: Compile-Time Detection of Aliasing in Euclid Programs. Softw., Pract. Exper. 14 (8): 755-768 (1984)

Richard C. Holt , James R. Cordy, David B. Wortman : An Introduction to S/SL: Syntax/Semantic Language. ACM Trans. Program. Lang. Syst. 4 (2): 149-178 (1982)

David B. Wortman , James R. Cordy: Early Experiences with Euclid. ICSE 1981 : 27-33

James R. Cordy, Richard C. Holt , David B. Wortman : Semantic charts: A diagrammatic approach to semantic processing. SIGPLAN Symposium on Compiler Construction 1979 : 39-49

Richard C. Holt , David B. Wortman , David T. Bardnard , James R. Cordy: SP/k: A System for Teaching Computer Programming. Commun. ACM 20 (5): 301-309 (1977)

1 [ 16 ]

2 [ 1 ]

3 [ 8 ] [ 10 ]

4 [ 23 ] [ 27 ] [ 30 ] [ 39 ]

5 [ 21 ]

6 [ 17 ] [ 18 ] [ 19 ] [ 20 ] [ 21 ] [ 22 ] [ 26 ] [ 28 ] [ 29 ] [ 32 ] [ 33 ] [ 34 ] [ 37 ] [ 38 ] [ 42 ]

7 [ 12 ]

8 [ 25 ]

9 [ 6 ] [ 14 ]

10 [ 34 ]

11 [ 15 ]

12 [ 1 ] [ 2 ] [ 4 ] [ 9 ] [ 11 ] [ 25 ]

13 [ 29 ] [ 37 ]

14 [ 41 ]

15 [ 19 ] [ 20 ] [ 21 ] [ 22 ] [ 26 ] [ 28 ] [ 32 ]

16 [ 41 ]

17 [ 7 ]

18 [ 13 ] [ 15 ]

19 [ 21 ]

20 [ 12 ]

21 [ 19 ] [ 20 ] [ 21 ] [ 22 ] [ 24 ] [ 26 ] [ 28 ] [ 31 ] [ 32 ]

22 [ 33 ] [ 38 ] [ 42 ]

23 [ 1 ] [ 2 ] [ 3 ] [ 4 ]

24 [ 23 ] [ 27 ] [ 30 ] [ 39 ]




©2005 Association for Computing Machinery