Staking claims: A history of programming language design claims and evidence: A positional work in progress

Evaluation and Usability of Programming Languages and Tools, PLATEAU'10

Volumn , Issue , 2010, Pages

  Markstrum, Shane ^a  

^a BUCKNELL UNIVERSITY   (United States)

Author keywords

Claim evidence correspondence; Language design; Language properties; Metrics

Indexed keywords

BODY OF KNOWLEDGE; CLAIM-EVIDENCE CORRESPONDENCE; LANGUAGE DESIGN; LANGUAGE PROPERTY; METRICS; PROGRAMMING LANGUAGE; PROGRAMMING LANGUAGE DESIGN; RESEARCH COMMUNITIES; WORK IN PROGRESS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 79952377541     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1937117.1937124     Document Type: Conference Paper

References (10)

1. Wikipedia - list of programming languages. http://en.wikipedia.org/wiki/ List-of-programming-languages.
2. J. W. Backus. The IBM 701 speedcoding system. J. ACM, 1(1):4-6, 1954.
3. J. W. Backus. The syntax and semantics of the proposed international algebraic language of the zurich acm-gamm conference. In IFIP Congress, pages 125-131, 1959.
4. A. J. Chlipala. Ur: statically-typed metaprogramming with type-level record computation. In B. G. Zorn and A. Aiken, editors, PLDI, pages 122-133. ACM, 2010.
5. J. Gosling and H. McGilton. The Java Language Environment. http://java.sun.com/docs/white/langenv/, 1996.
6. T. Griggs. New C++ language extends c programming capabilities. Bell Lab News, 24(51), 1984.
7. J. McCarthy. Recursive functions of symbolic expressions and their computation by machine, part i. Commun. ACM, 3(4):184-195, 1960.
8. M. Odersky, P. Altherr, V. Cremet, I. Dragos, G. Dubochet, B. Emir, S. McDirmid, S. Micheloud, N. Mihaylov, M. Schinz, L. Spoon, E. Stenman, and M. Zenger. An Overview of the Scala Programming Language (2. edition). Technical report, 2006.
9. A. J. Perlis and K. Samelson. Preliminary report-international algebraic language. Commun. ACM, 1(12):8-22, 1958.
10. L. Prechelt. An empirical comparison of seven programming languages. IEEE Computer, 33(10):23-29, 2000.