Skip to search formSkip to main contentSkip to account menu

TXL

Known as: TXL programming language, Turing helper 
TXL is a special-purpose programming language originally designed by Charles Halpern-Hamu and James Cordy at the University of Toronto in 1985. The… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
Context-free grammarDMS Software Reengineering ToolkitFunctional programmingList of program transformation systems

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2010
Review
2010
Self-defence of information systems in cyber-space : a critical overview
Abstract : Nowadays information systems (ISs) that are utilized to support military operations are much more complex than a… 
2009
2009
A Practical Evaluation of Using TXL for Model Transformation
As one of the MDA's main principles, model transformation has led to the specification of QVT and a large number of model… 
2007
2007
Relational Views of XML for the Semantic Web
..................................................................................................................................II ACKNOWLEDGEMENTS ....................................................................................................... III TABLE OF CONTENTS ............................................................................................................IV LIST OF FIGURES...................................................................................................................VII LIST OF TABLES.......................................................................................................................IX CHAPTER 
Highly Cited
2004
Highly Cited
2004
Model-Driven Program Transformation of a Large Avionics Framework
Model-driven approaches to software development, when coupled with a domain-specific visual language, assist in capturing the… 
2004
2004
Automated source code transformations on fourth generation languages
  • Johannes Martin
  • Eighth European Conference on Software…
  • 2004
  • Corpus ID: 770242
To control the operation of large application suites or to tailor a special purpose application to particular need, developers… 
2004
2004
Second International Workshop on Meta-Models and Schemas for Reverse Engineering ateM 2004 — Integrating Reverse Engineering and Model Driven Engineering —
The International Workshops on Meta-Models and Schemas for Reverse Engineering aim at utilizing metatechnology for the… 
2004
2004
Formalizing Fact Extraction
2002
2002
Grammar programming in TXL
Syntactic analysis forms a foundation of many source analysis and reverse engineering tools. However, a single grammar is not… 
2002
2002
A CUT-AND-PASTE APPROACH TO CONTACT TOPOLOGY
This expository paper gives an introduction to some of the techniques used to study tight contact structures on 3-manifolds. The… 
1993
1993
The TXL Programming Language Syntax and Informal Semantics
This report describes TXL, a programming language specifically designed to support transformational programming. The basic… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)