10871 search results - page 1887 / 2175 » A stable programming language |
140
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
166
click to vote
ICSM
1996
IEEE
15 years 11 months ago
1996
IEEE
It is well known that the extensive use of preprocessors can lead to serious maintenance problems. However, these tools are still heavily used by developers and maintainers to imp...
158
click to vote
ICDT
1997
ACM
15 years 11 months ago
1997
ACM
We develop a new schema for unstructured data. Traditional schemas resemble the type systems of programming languages. For unstructured data, however, the underlying type may be mu...
190
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
156
click to vote
CHI
1992
ACM
15 years 10 months ago
1992
ACM
We describe enhancements to graphical search and replace that allow users to extend the capabilities of a graphical editor. Interactive constraint-based search and replace can sea...