B. A. E. Meekings is an author at Lancaster University specializing in program analysis, formal methods, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisJournalismVerificationSoftware DesignSystem SoftwareSoftware Testing
Publications per year
1983–1985
2
2
A style analysis of C programs
R. E. Berry, B. A. E. Meekings · Communications of the ACM · 1985 · 92 citations · Full text
Style analysis of Pascal programs
B. A. E. Meekings · ACM SIGPLAN Notices · 1983 · 13 citations
Style Analysis, Programming Language Theory, Engineering +12
Rows per page
1–2 of 2