Concepedia

James M. Welsh

JM

12

Publications

380

Citations

11

H-Index

1972

Active since

Affiliations

Queen's University Belfast(Current)

The University of Queensland

National University of Ireland

Salisbury University

James M. Welsh is an author at Queen's University Belfast specializing in program analysis, engineering, and formal methods.

Top concepts

EngineeringProgram AnalysisFormal MethodsComputer ScienceSoftware AnalysisComputer EngineeringSoftware EngineeringProgramming LanguagesAutomated ReasoningDesign

Publications per year

1972–2007

12

Publications

12

Ambiguities and insecurities in pascal

James M. Welsh, W. J. Sneeringer, C. A. R. Hoare · Software Practice and Experience · 1977 · 117 citations

Paraconsistent Logic, Engineering, Semantics +19

Pascal‐plus—another language for modular multiprogramming

James M. Welsh, David Bustard · Software Practice and Experience · 1979 · 77 citations

Engineering, Compiler Technology, Software Systems +21

A pascal compiler for ICL 1900 series computers

James M. Welsh, Charles M. Quinn · Software Practice and Experience · 1972 · 30 citations

Icl 1900, Engineering, Compiler Technology +16

Formatted programming languages

Gordon A. Rose, James M. Welsh · Software Practice and Experience · 1981 · 25 citations

Engineering, Software Engineering, Language Design +18

Economic range checks in pascal

James M. Welsh · Software Practice and Experience · 1978 · 23 citations

Engineering, Verification, Software Analysis +21

Rows per page

1–5 of 12