{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T17:16:41Z","timestamp":1648919801109},"reference-count":70,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1016\/s0065-2458(08)60498-2","type":"book-chapter","created":{"date-parts":[[2011,1,19]],"date-time":"2011-01-19T00:56:15Z","timestamp":1295398575000},"page":"199-259","source":"Crossref","is-referenced-by-count":0,"title":["An Overview of High-Level Languages"],"prefix":"10.1016","author":[{"given":"Jean E.","family":"Sammet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0065-2458(08)60498-2_bib1","series-title":"ACM Transactions on Programming Languages and Systems","author":"ACM","year":"1977"},{"key":"10.1016\/S0065-2458(08)60498-2_bib2","volume":"12","author":"ACM","year":"1977"},{"key":"10.1016\/S0065-2458(08)60498-2_bib3","volume":"14","author":"ACM","year":"1979"},{"key":"10.1016\/S0065-2458(08)60498-2_bib4","volume":"14","author":"ACM","year":"1979"},{"key":"10.1016\/S0065-2458(08)60498-2_bib5","series-title":"Programming language semantics and closed applicative languages","author":"Backus","year":"1973"},{"issue":"No. 8","key":"10.1016\/S0065-2458(08)60498-2_bib6","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","article-title":"Can programming be liberated from the von Neumann style? A functional style and its algebra of programs","volume":"21","author":"Backus","year":"1978","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60498-2_bib7","series-title":"\u201cHistory of Programming Languages\u201d","first-page":"25","article-title":"The history of FORTRAN I, II, and III","author":"Backus","year":"1981"},{"key":"10.1016\/S0065-2458(08)60498-2_bib8","series-title":"The unified design specification system (UDS2)","author":"Biggerstaff","year":"1979"},{"key":"10.1016\/S0065-2458(08)60498-2_bib9","series-title":"\u201cRecursive Programming Techniques.\u201d","author":"Burge","year":"1975"},{"key":"10.1016\/S0065-2458(08)60498-2_bib10","article-title":"PDL\u2013A tool for software design","volume":"44","author":"Caine","year":"1975"},{"key":"10.1016\/S0065-2458(08)60498-2_bib11","unstructured":"Dahl, O. J., and Nygaard, K. (1967). \u201cSIMULA 67 Common Base Definition,\u201d Norwegian Computing Center, No. S-2, Oslo, Norway."},{"key":"10.1016\/S0065-2458(08)60498-2_bib12","series-title":"Formal techniques and automatic processing to ensure correctness in requirements specifications","author":"Davis","year":"1979"},{"issue":"No. 5","key":"10.1016\/S0065-2458(08)60498-2_bib13","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1145\/359104.359106","article-title":"Social processes and proofs of theorems and programs","volume":"22","author":"DeMillo","year":"1979","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60498-2_bib14","series-title":"\u201cDepartment of Defense Requirements for High-Order Computer Programming Languages\u2013TINMAN,\u201d","author":"Department of Defense High-Order Language Working Group","year":"1976"},{"key":"10.1016\/S0065-2458(08)60498-2_bib15","series-title":"\u201cDepartment of Defense Requirements for High-Order Computer Programming Languages\u2013IRONMAN,\u201d","author":"Department of Defense High-Order Language Working Group","year":"1977"},{"key":"10.1016\/S0065-2458(08)60498-2_bib16","series-title":"\u201cDepartment of Defense Requirements for High-Order Computer Programming Languages\u2013STEELMAN,\u201d","author":"Department of Defense High-Order Language Working Group","year":"1978"},{"key":"10.1016\/S0065-2458(08)60498-2_bib17","series-title":"\u201cRequirements for Ada Programming Support Environments\u2013STONEMAN,\u201d","author":"Department of Defense","year":"1980"},{"key":"10.1016\/S0065-2458(08)60498-2_bib18","unstructured":"Department of Defense (1980b). \u201cReference Manual for the Ada Programming Language,\u201d July. Defense Advanced Research Projects Agency, DOD, Washington, D. C."},{"key":"10.1016\/S0065-2458(08)60498-2_bib19","doi-asserted-by":"crossref","unstructured":"Dewar, R., and Schonberg, E. (1979). The elements of SETL style. Proc. Ann. Conf., Assoc. Comput. Mach. 1979, pp. 24\u201332.","DOI":"10.1145\/800177.810021"},{"key":"10.1016\/S0065-2458(08)60498-2_bib20","article-title":"Program by refinement, as exemplified by the SETL representation","volume":"1","author":"Dewar","year":"1979"},{"key":"10.1016\/S0065-2458(08)60498-2_bib21","first-page":"19","article-title":"Assigning meanings to programs","volume":"19","author":"Floyd","year":"1967"},{"issue":"No. 8","key":"10.1016\/S0065-2458(08)60498-2_bib22","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1145\/359763.359800","article-title":"An experimental evaluation of data type conventions","volume":"20","author":"Gannon","year":"1977","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60498-2_bib23","volume":"10","author":"Gannon","year":"1975"},{"issue":"No. 8","key":"10.1016\/S0065-2458(08)60498-2_bib24","doi-asserted-by":"crossref","first-page":"540","DOI":"10.1145\/359763.359771","article-title":"Early experience with Mesa","volume":"20","author":"Geschke","year":"1977","journal-title":"Commun, ACM"},{"key":"10.1016\/S0065-2458(08)60498-2_bib25","series-title":"\u201cResearch Directions in Software Technology\u201d","first-page":"316","article-title":"A survey of program testing issues","author":"Goodenough","year":"1979"},{"key":"10.1016\/S0065-2458(08)60498-2_bib26","unstructured":"Hammer, M., and Ruth, G. (1979). Automating the software development process. In \u201cResearch Directions in Software Technology\u201d (P. Wegner, ed.), pp. 767\u2013790."},{"key":"10.1016\/S0065-2458(08)60498-2_bib27","series-title":"\u201cThe Architecture of Concurrent Programs.\u201d","author":"Hanson Brinch","year":"1977"},{"key":"10.1016\/S0065-2458(08)60498-2_bib28","article-title":"\u201cRDL: A Language for Software Development.\u201d","volume":"14","author":"Heacox","year":"1979"},{"key":"10.1016\/S0065-2458(08)60498-2_bib29","article-title":"\u201cA History of Programming Languages\u201d","author":"HOPL","year":"1981"},{"key":"10.1016\/S0065-2458(08)60498-2_bib30","series-title":"\u201cPascal User Manual and Report,\u201d","author":"Jensen","year":"1978"},{"key":"10.1016\/S0065-2458(08)60498-2_bib31_1","first-page":"419","article-title":"Early development of programming languages","volume":"7","author":"Knuth","year":"1977"},{"key":"10.1016\/S0065-2458(08)60498-2_bib31_2","series-title":"\u201cA History of Computing in the Twentieth Century\u201d","first-page":"197","year":"1980"},{"key":"10.1016\/S0065-2458(08)60498-2_bib32","article-title":"\u201cReport on the Programming Language Euclid","volume":"12","author":"Lampson","year":"1977"},{"issue":"No. 4","key":"10.1016\/S0065-2458(08)60498-2_bib33","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","article-title":"The mechanical evaluation of expressions","volume":"6","author":"Landin","year":"1964","journal-title":"Comput. J."},{"key":"10.1016\/S0065-2458(08)60498-2_bib34","volume":"9","author":"Leavenworth","year":"1974"},{"key":"10.1016\/S0065-2458(08)60498-2_bib35","series-title":"\u201cQuery Languages in Data Base Systems,\u201d","author":"Lehmann","year":"1979"},{"key":"10.1016\/S0065-2458(08)60498-2_bib36","series-title":"\u201cStructured Programming: Theory and Practice,\u201d","author":"Linger","year":"1979"},{"issue":"No. 8","key":"10.1016\/S0065-2458(08)60498-2_bib37","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1145\/359763.359789","article-title":"Abstraction mechanisms in CLU","volume":"20","author":"Liskov","year":"1977","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60498-2_bib38","series-title":"\u201cResearch Directions in Software Technology\u201d","first-page":"302","article-title":"Program verification","author":"London","year":"1979"},{"issue":"No. 3","key":"10.1016\/S0065-2458(08)60498-2_bib39","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0066-4138(69)90005-6","article-title":"On the formal description of PL\/I","volume":"6","author":"Lucas","year":"1969","journal-title":"Ann. Rev. Autom. Program."},{"key":"10.1016\/S0065-2458(08)60498-2_bib40","article-title":"A sampler of formal definitions","volume":"8","author":"Marcotty","year":"1976"},{"key":"10.1016\/S0065-2458(08)60498-2_bib41","series-title":"Abstract data type specification in the Affirm system","author":"Musser","year":"1979"},{"issue":"No. 12","key":"10.1016\/S0065-2458(08)60498-2_bib42","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/377924.594925","article-title":"Preliminary report\u2013International algebraic language","volume":"I","author":"Perlis","year":"1958","journal-title":"Commun. ACM."},{"key":"10.1016\/S0065-2458(08)60498-2_bib43","series-title":"\u201cSoftware Metrics: An Analysis and Evaluation.\u201d","author":"Perlis","year":"1981"},{"key":"10.1016\/S0065-2458(08)60498-2_bib44","unstructured":"Prigge, R. D., Hill, M. F., and Walkowicz, J. L. (1978). \u201cThe World of EDP Standards.\u201d Sperry-Univac, GS-4248."},{"key":"10.1016\/S0065-2458(08)60498-2_bib45","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/S0065-2458(08)60115-1","article-title":"Automatic generation of computer programs","volume":"16","author":"Prywes","year":"1977","journal-title":"Adv. Comput."},{"key":"10.1016\/S0065-2458(08)60498-2_bib46","series-title":"\u201cSPECIAL\u2013A SPECIFICATION AND ASSERTION LANGUAGE.\u201d","author":"Robinson","year":"1977"},{"key":"10.1016\/S0065-2458(08)60498-2_bib47","series-title":"\u201cHistory of Programming Languages\u201d","first-page":"279","article-title":"Origins of the APT language for automatically programmed tools","author":"Ross","year":"1981"},{"key":"10.1016\/S0065-2458(08)60498-2_bib48","series-title":"\u201cProgramming Languages: History and Fundamentals.\u201d","author":"Sammet","year":"1969"},{"key":"10.1016\/S0065-2458(08)60498-2_bib49","first-page":"299","article-title":"An overview of programming languages for specialized application areas","volume":"40","author":"Sammet","year":"1972","journal-title":"Proc. AFIPS SJCC"},{"issue":"No. 7","key":"10.1016\/S0065-2458(08)60498-2_bib50","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1145\/361454.361485","article-title":"Programming Languages: History and Future","volume":"15","author":"Sammet","year":"1972","journal-title":"Commun. ACM"},{"issue":"June 30","key":"10.1016\/S0065-2458(08)60498-2_bib51","first-page":"6","article-title":"Roster of programming languages, 1971","volume":"20","author":"Sammet","year":"1972","journal-title":"Comput. Autom."},{"issue":"No. 6B","key":"10.1016\/S0065-2458(08)60498-2_bib52","first-page":"1","article-title":"Roster of programming languages, 1972","volume":"21","author":"Sammet","year":"1973","journal-title":"Comput. Autom."},{"issue":"No. 4","key":"10.1016\/S0065-2458(08)60498-2_bib53","first-page":"147","article-title":"Roster of programming languages for 1973","volume":"15","author":"Sammet","year":"1974","journal-title":"Comput. Rev."},{"issue":"No. 12","key":"10.1016\/S0065-2458(08)60498-2_bib54","first-page":"655","article-title":"Roster of programming languages for 1974\u201375","volume":"19","author":"Sammet","year":"1976","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60498-2_bib55","article-title":"Roster of programming languages for 1976\u201377","volume":"13","author":"Sammet","year":"1978"},{"key":"10.1016\/S0065-2458(08)60498-2_bib56","series-title":"\u201cSoftware Engineering\u201d","first-page":"181","article-title":"Language aspects of software engineering","author":"Sammet","year":"1980"},{"key":"10.1016\/S0065-2458(08)60498-2_bib57","series-title":"\u201cSoftware Metrics: An Analysis and Evaluation\u201d","first-page":"131","article-title":"High-Level language metrics","author":"Sammet","year":"1981"},{"issue":"No. 5","key":"10.1016\/S0065-2458(08)60498-2_bib58","doi-asserted-by":"crossref","DOI":"10.1147\/rd.255.0520","article-title":"History of IBM's technical contributions to high-level programming languages","volume":"25","author":"Sammet","year":"1981","journal-title":"IBM J. Res. Dev."},{"issue":"No. 4","key":"10.1016\/S0065-2458(08)60498-2_bib59","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/MC.1980.1653582","article-title":"Data structures, types, and abstractions","volume":"13","author":"Shankar","year":"1980","journal-title":"Computer"},{"issue":"No. 9","key":"10.1016\/S0065-2458(08)60498-2_bib60","doi-asserted-by":"crossref","first-page":"1119","DOI":"10.1109\/PROC.1980.11811","article-title":"The impact of abstraction concerns on modern programming languages","volume":"68","author":"Shaw","year":"1980","journal-title":"Proc. IEEE"},{"issue":"No. 8","key":"10.1016\/S0065-2458(08)60498-2_bib61","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1145\/359763.359782","article-title":"Abstraction and verification in Alphard: Defining and specifying iteration and generators","volume":"20","author":"Shaw","year":"1977","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60498-2_bib62","series-title":"\u201cA Comparison of Programming Languages for Software Engineering,\u201d","author":"Shaw","year":"1978"},{"issue":"No. 4","key":"10.1016\/S0065-2458(08)60498-2_bib63","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1145\/320289.320295","article-title":"Improving the human factors aspect of database interactions","volume":"3","author":"Shneiderman","year":"1978","journal-title":"Trans. Database Syst."},{"issue":"No. 2","key":"10.1016\/S0065-2458(08)60498-2_bib64","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1145\/356669.356671","article-title":"A tutorial on ALGOL 68","volume":"8","author":"Tanenbaum","year":"1976","journal-title":"Comput. Surv."},{"issue":"No. 1","key":"10.1016\/S0065-2458(08)60498-2_bib65","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/TSE.1977.229902","article-title":"PSL\/PSA: A computer-aided technique for structured documentation and analysis of information processing systems","volume":"SE-3","author":"Teichroew","year":"1977","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60498-2_bib66","series-title":"\u201cHistory of Programming Languages.\u201d","author":"Wexelblat","year":"1981"},{"issue":"No. 7","key":"10.1016\/S0065-2458(08)60498-2_bib67","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/359131.359133","article-title":"Beyond programming languages","volume":"22","author":"Winograd","year":"1979","journal-title":"Commun. ACM"},{"issue":"No. 1","key":"10.1016\/S0065-2458(08)60498-2_bib68","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/321439.321442","article-title":"PL360, A programming language for the 360 computers","volume":"15","author":"Wirth","year":"1968","journal-title":"J. Assoc. Comput. Mach."},{"issue":"No. 1","key":"10.1016\/S0065-2458(08)60498-2_bib69","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/spe.4380070102","article-title":"Modula: A language for modular multiprogramming","volume":"7","author":"Wirth","year":"1977","journal-title":"Software Pract. Exp."}],"container-title":["Advances in Computers","Advances in Computers Volume 20"],"original-title":[],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T19:43:34Z","timestamp":1559936614000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0065245808604982"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"references-count":70,"URL":"https:\/\/doi.org\/10.1016\/s0065-2458(08)60498-2","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[1981]]}}}