7103 search results - page 402 / 1421 » Program Generation and Components |
166
Voted
ACL
1990
15 years 5 months ago
1990
Referring expressions and other object descriptions should be maximal under the Local Brevity, No Unnecessary Components, and Lexical Preference preference rules; otherwise, they ...
106
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
138
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
139
click to vote
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
The classical comprehension theories study relations between extensions, intensions, and names. Originally developed in linguistics and mathematics, these theories are applicable ...
143
click to vote
SPLC
2010
15 years 5 months ago
2010
Feature-Oriented Programming (FOP) is a programming paradigm for developing programs by composing features. It is especially useful for software product line development, as each p...