2944 search results - page 153 / 589 » On Well Quasi-orders on Languages |
95
Voted
SIGADA
2005
Springer
15 years 6 months ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
110
click to vote
IWPC
2003
IEEE
15 years 6 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
113
click to vote
VL
2000
IEEE
15 years 5 months ago
2000
IEEE
The accurate formulation of boolean expressions is a notorious problem in programming languages and database query tools. This paper studies the ways that untrained users naturall...
SIGADA
1998
Springer
15 years 5 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
93
Voted
ECOOP
2007
Springer
15 years 4 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...