James M. Welsh - Concepedia

Author

James M. Welsh

Queen's University Belfast

Also Known As

J. Welsh, James M Welsh, James M. Welsh, James Michael Welsh, James Welsh, M Poulin, Richard Macwan

148

Publications

580

Citations

H-Index

Concepts

All Affiliations

Queen's University Belfast The University of Queensland National University of Ireland Salisbury University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	302
2	Language Studies	2	2	142
3	Business	1	1	23
4	Education	1	1	12
5	Management	1	1	12

James M. Welsh

Publications

380

Citations

H-Index

Page 1

	Year	Citations
Ambiguities and insecurities in pascal James M. Welsh, W. J. Sneeringer, C. A. R. Hoare Software Practice and Experience Paraconsistent LogicEngineeringSemanticsSoftware AnalysisLanguage Studies	1977	117
Pascal‐plus—another language for modular multiprogramming James M. Welsh, David Bustard Software Practice and Experience EngineeringCompiler TechnologySoftware SystemsComputer ArchitectureSoftware Engineering	1979	77
A pascal compiler for ICL 1900 series computers James M. Welsh, Charles M. Quinn Software Practice and Experience Icl 1900EngineeringCompiler TechnologyComputer ArchitecturePascal Compiler	1972	30
Formatted programming languages Gordon A. Rose, James M. Welsh Software Practice and Experience EngineeringSoftware EngineeringLanguage DesignRight Margin OverflowSoftware Analysis	1981	25
Economic range checks in pascal James M. Welsh Software Practice and Experience EngineeringVerificationSoftware AnalysisFormal VerificationEconomic Range Checks	1978	23
A Program Refinement Tool David Carrington, Ian J. Hayes, R. Nickson, Formal Aspects of Computing	1998	21
Religious Literacy: What Every American Needs to Know—And Doesn't by Stephen Prothero James M. Welsh The Journal of American Culture Stephen ProtheroReligious LiteracyAmerican NeedsReligiosityChristian Practice	2007	19
A draft description of Pascal A. M. Addyman, Rose M. Brewer, D. G. Burnett‐Hall, Software Practice and Experience EngineeringSoftware EngineeringSoftware AnalysisDiscrete MathematicsAutomatic Programming	1979	16
The Modern Apocalypse James M. Welsh Journal of Popular Film and Television Contemporary DevelopmentModern ApocalypseHauntologyApocalypseModernity	1983	16
A Tool for Developing Correct Programs by Refinement David Carrington, Ian J. Hayes, R. Nickson, Electronic workshops in computing Software MaintenanceEngineeringVerificationSoftware EngineeringRefinement Tools	1996	14

Page 1