1069 search results - page 73 / 214 » Automatic Generation of Language-based Tools |
102
click to vote
CISSE
2008
Springer
15 years 1 months ago
2008
Springer
According to the software engineering perspective, grammars can be viewed as "Specifications for defining languages or compilers". They form the basics of languages and ...
ICALT
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper presents a new approach for automatic concept extraction, using grammatical parsers and Latent Semantic Analysis. The methodology and tool used to build the benchmarkin...
GCSE
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
139
click to vote
GLVLSI
2009
IEEE
14 years 9 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
124
click to vote
ICST
2009
IEEE
14 years 9 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...