Publication | Closed Access
Fooling the user of a programming language
46
Citations
2
References
1977
Year
EngineeringVerificationSoftware SystemsSoftware EngineeringSoftware AnalysisUnpredictable Reliability DefectsFormal VerificationLanguage ConstructSoftware RepairProgramming LanguagesProgramming Language ImplementationPowerful LanguagesComputer ScienceStatic Program AnalysisLanguage-based SecurityProgramming Language DesignProgram AnalysisAutomated ReasoningSoftware TestingFormal MethodsSystem SoftwareSoftware Language Engineering
Abstract Fooling the user' of a programming language by ‘natural’ constructions can cause completely unpredictable reliability defects in software systems. Numerous examples show the extent of the problem. Two methods of overcoming it are presented: simple languages devoid of user‐fooling powers, and explication languages to accompany the more powerful languages.
| Year | Citations | |
|---|---|---|
Page 1
Page 1