487 search results - page 9 / 98 » Scoping Constructs for Software Generators |
FSTTCS
2008
Springer
13 years 9 months ago
2008
Springer
ABSTRACT. In many automated methods for proving inductive theorems, finding a suitable generalization of a conjecture is a key for the success of proof attempts. On the other hand...
AAI
1999
1999
Multilingual Natural Language Generation for Multilingual Software: A Functional Linguistic Approach
13 years 8 months ago
In this paper we present an implemented account of multilingual linguistic resources for multilingual text generation that improves significantly on the degree of re-use of resour...
ICFP
2001
ACM
14 years 8 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
SCAM
2006
IEEE
14 years 2 months ago
2006
IEEE
Call graphs are widely used to represent calling relationships among methods. However, there is not much interest in calling relationships among library methods in many software e...
PTS
1993
13 years 10 months ago
1993
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...