VLDB 2026 Research / reviewers in the wild / expert
S. Shastry
dblp:12/4445
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 1979
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Program synthesis and code generation · 50% Requirements engineering and software design · 50% |
Topics — the 1 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program synthesis and code generation › generative programming
code generation from specifications |
0.0 | 1 | 1979 | Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development · ACM Trans. Program. Lang. Syst. 1979 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1979 | Use of a Nonprocedural Specification Language and Associated Program Generator in Software DevelopmentabstractThe Model II language and the associated program generator are used to explain and illustrate the use of very high level nonprocedural languages for computer programming. The effect of a very high level language is obtained in Model II through the elimination of procedural and control facilities that exist in high level programming languages such as PL/I or Cobol. In particular, the statements may be given in any order and there are no control constructs such as input/output, iterations, and memory allocation. The task of ordering the statements for execution and providing control statements is performed by the automatic program generator. The specification of a program is therefore much shorter (approximately one-fifth) than the equivalent high level procedural language program. Most important, a user need not regard the task of specifying a program as defining a process but rather as describing data and relations. This point of view greatly reduces the computer programming proficiency required of a user. The paper focuses on an example of the use of the language in business data processing, its advantages, and its novelty. It only briefly reviews the methodology incorporated in the existing program generator, a detailed description of which may be found in the references. Noah S. Prywes, Amir Pnueli, S. Shastry |
ACM Trans. Program. Lang. Syst. | 3 |