3736 search results - page 125 / 748 » Hand-Writing Program Generator Generators |
219
click to vote
WCRE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we describe a technique that can be used to annotate source code with syntactic tags in XML format. This is achieved by modifying the parser generator bison to emit ...
171
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
This paper uses a constraint set approach to linear programming problems with equality constraints whose coefficients and/or right-hand side values could be uncertain. We consider ...
128
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
149
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
As multi-core architectures with Thread-Level Speculation (TLS) are becoming better understood, it is important to focus on TLS compilation. TLS compilers are interesting in that,...
154
click to vote
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...