Publication | Closed Access
Staking claims: a history of programming language design claims and evidence
28
Citations
8
References
2010
Year
EngineeringMultilingualismVerificationSoftware EngineeringCommunicationLanguage LearningSoftware AnalysisFormal VerificationCode-switchingApplied LinguisticsLanguage ConstructSecond Language AcquisitionComputational LinguisticsNew LanguageLanguage AcquisitionLanguage StudiesProgramming LanguagesProgramming Language TheoryDesignLinguisticsLanguage DesignersComputer ScienceDomain-specific LanguageFunctional ProgrammingSoftware DesignProgramming Language DesignLanguage-based SecurityProgram AnalysisSoftware TestingLanguage Design ClaimsFormal MethodsDesign By ContractTechnologySystem SoftwareSoftware Language Engineering
While still a relatively young field, computer science has a vast body of knowledge in the domain of programming languages. When a new language is introduced, its designers make claims which distinguish their language from previous languages. However, it often feels like language designers do not feel a pressing need to back these claims with evidence beyond personal anecdotes. Peer reviewers are likely to agree.
| Year | Citations | |
|---|---|---|
Page 1
Page 1