Sciweavers

3824 search results - page 476 / 765
» Geometry Constructions Language
Sort
View
114
Voted
WCRE
1996
IEEE
15 years 9 months ago
Identifying Enumeration Types Modeled with Symbolic Constants
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
John M. Gravley, Arun Lakhotia
TACAS
1997
Springer
72views Algorithms» more  TACAS 1997»
15 years 8 months ago
The Term Processor Generator Kimwitu
The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that i...
Peter van Eijk, Axel Belinfante, Henk Eertink, Hen...
SIGCSE
1994
ACM
135views Education» more  SIGCSE 1994»
15 years 8 months ago
Understanding the bottom-up SLR parser
This paper describes an application of one of the t abstract concepts taught in a compiler construction course. It demonstrates how the techniques behind the bottom-up SLR parser ...
Sami Khuri, Jason Williams
164
Voted
AISC
2006
Springer
15 years 8 months ago
A Search Engine for Mathematical Formulae
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...
Michael Kohlhase, Ioan Sucan
CSR
2006
Springer
15 years 8 months ago
Unfolding Synthesis of Asynchronous Automata
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...
Nicolas Baudru, Rémi Morin