55 search results - page 1 / 11 » ASTLOG: A Language for Examining Abstract Syntax Trees |
DSL
1997
14 years 11 months ago
1997
TPHOL
2005
IEEE
15 years 3 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
IUI
2000
ACM
15 years 1 months ago
2000
ACM
NaturalJava is a prototype for an intelligent natural-languagebased user interface for creating, modifying, and examining Java programs. The interface exploits three subsystems. T...
DSVIS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
107
click to vote
TOOLS
1998
IEEE
15 years 1 months ago
1998
IEEE
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...