333 search results - page 1 / 67 » Grammar Programming in TXL |
SCAM
2002
IEEE
13 years 9 months ago
2002
IEEE
Syntactic analysis forms a foundation of many source analysis and reverse engineering tools. However, a single grammar is not always appropriate for all source analysis and manipu...
STEP
2005
IEEE
13 years 10 months ago
2005
IEEE
While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
SIGSOFT
2004
ACM
13 years 10 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eï¬...
INFSOF
2002
13 years 4 months ago
2002
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
CVPR
2012
IEEE
11 years 7 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...