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.
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… 
Highly Cited
2008
Highly Cited
2008
From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents
Open multi-agent systems composed of heterogeneous, autonomous and independently designed agents are usually governed by a set of… 
Review
2006
Review
2006
Mutation Operators for Concurrent Java (J2SE 5.0)
The current version of Java (J2SE 5.0) provides a high level of support for concurreny in comparison to previous versions. For… 
Review
2006
Review
2006
Source transformation, analysis and generation in TXL
The TXL transformation framework has been widely used in practical source transformation tasks in industry and academia for many… 
2005
2005
How to make a bridge between transformation and analysis technologies?
  • J. VinjuJ. Cordy
  • Transformation Techniques in Software Engineering
  • 2005
  • Corpus ID: 13101155
At the Dagstuhl seminar on “Transformation Techniques in Software Engineering” we had an organized discussion on the intricacies… 
Highly Cited
2004
Highly Cited
2004
A 2-layer model for the white-box testing of Web applications
White-box testing exercises a software system by ensuring that a model of the internal structure is covered by the test cases… 
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… 
Highly Cited
2003
Highly Cited
2003
Agile Parsing in TXL
Syntactic analysis forms a foundation of many source analysis and reverse engineering tools. However, a single standard grammar… 
Highly Cited
2001
Highly Cited
2001
Union schemas as a basis for a C++ extractor
An extractor is a program which processes source code and outputs facts about the code in a software exchange format (SEF). An… 
Highly Cited
1988
Highly Cited
1988
TXL: a rapid prototyping system for programming language dialects
A rapid prototyping system for extensions to an existing programming language is described. Such extensions could include… 
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)