Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Keith Halewood

dblp:72/4764 · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
0since 2021 · last 1993
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 first-authorHuman-computer interaction and ubiquitous computing · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 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
Compilers and program optimization · 77% Programming languages and type systems · 23%

Topics — the 1 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Compilers and program optimization › program transformation
program derivation
0.011993
A Uniform Graphical View of the Program Construction Process: GRIPSE · Int. J. Man Mach. Stud. 1993
YearPublicationVenuePosition
1993 An Algorithm to Generate Random Large Combinational Circuits
abstract
This paper describes an efficient algorithm for generating large combinational circuits (ca. 10 5 -10 6 gates). The method has been applied to construct networks for testing the performance of new VLSI chip fabrication processes and as a means of producing testbeds for assessing the average performance of digital simulation systems
Colin C. Charlton, Paul E. Dunne, Keith Halewood, Paul H. Leng
Comput. J.3
1993 A Uniform Graphical View of the Program Construction Process: GRIPSE
Keith Halewood, Martin R. Woodward
Int. J. Man Mach. Stud.1
1988 NSEDIT: A Syntax-directed Editor and Testing Tool Based on Nassi-Shneiderman Charts
abstract
Abstract This paper describes a programming environment for Pascal, called NSEDIT, which runs under VAX/VMS VAX/VMS is a trademark of the Digital Equipment Corporation. . NSEDIT is based upon the notion of Nassi‐Shneiderman charts (abbreviated to N‐S charts in this paper) and is designed for ease of use by novice programmers in a teaching situation. A key component of the system is the editor, which enables structural features of Pascal to be manipulated in terms of their N‐S chart box representations. Simultaneous editing of more than one program or module is permitted. Another key feature of the system is a semiautomatic interface to the VAX/VMS Pascal compiler, with subsequent display of execution counts as part of the N‐S charts. In this way users can obtain immediate feedback on the coverage of program elements by test runs, while still inside an editing session.
Keith Halewood, Martin R. Woodward
Softw. Pract. Exp.1