Alfred V. Aho aho@cs. columbia. edu Programming Languages and Translators COMS W 4115 Lecture 1 January 18, 2012 1 Al Aho
Instructor Prof. Al Aho aho@cs. columbia. edu http: //www. cs. columbia. edu/~aho/cs 4115 https: //courseworks. columbia. edu Office hours: 1: 00 -2: 00 pm, Mondays & Wednesdays 513 Computer Science Building 2 Al Aho
TAs Jiabin Hu jh 3240@columbia. edu Shuai Sun ss 4088@columbia. edu Feng Zhou fz 2168@columbia. edu Yan Zou yz 2437@columbia. edu 3 Al Aho
Course Schedule Lectures: Mondays & Wednesdays, 2: 40− 3: 55 pm Room 309 Havemeyer Hall Spring recess: March 12 -16, 2012 Midterm: Wednesday, March 28, 2012 Final: Monday, April 30, 2012 Project demos: Mon - Wed, May 7 -9, 2012 4 Al Aho
Course Objectives Programming Language Design – kinds of programming languages – computational thinking in language design – syntactic and semantic elements of modern programming languages Compilers – principles – techniques – tools 5 Al Aho
Course Syllabus • Computational thinking • Syntax-directed translation • Kinds of programming languages • Semantic analysis • Principles of compilers • Code generation • Lexical analysis • Code optimization • Syntax analysis • Parallel and concurrent languages • Compiler tools 6 Al Aho • Run-time organization
What is Computational Thinking? The thought processes involved in formulating problems so their solutions can be represented as computation steps and algorithms. 7 Al Aho
Textbook A. V. Aho, M. S. Lam, R. Sethi, J. D. Ullman Compilers: Principles, Techniques and Tools Addison-Wesley, 2007. Second Edition. 8 Al Aho
Course Requirements Homework: 10% of final grade Midterm: 25% of final grade Final: 25% of final grade Course project: 40% of final grade 9 Al Aho
Course Prerequisites Fluency in C or Java or equivalent language COMS W 3157: Advanced Programming – makefiles – version control – testing COMS W 3261: Computer Science Theory – regular expressions – finite automata – context-free grammars 10 Al Aho
Project Form a team of five by January 30, 2012 Design a new innovative little language Build a compiler for it Examples of languages can be found on the course website http: //www. cs. columbia. edu/~aho/cs 4115 11 Al Aho
Some Previous Languages Easy. Pet: a language for creating electronic pets Feynstein: a language for physical simulation Nu-Droid: a language to create Android mobile applications Qu. ID: a quantum circuit description language Swift Fox: a language for programming sensor networks Upbeat: a language for auralizing data 12 Al Aho
Project Deliverables Feb. 22: Language whitepaper See http: //java. sun. com/docs/overviews/java-overview-1. html for a sample white paper on Java. Mar. 21: Language tutorial and reference manual See Chapter 1 of K&R for a sample language tutorial See Appendix A of K&R for a sample language reference manual May 9 -11: Final project report and demo K&R: Brian W. Kernighan and Dennis Ritchie, The C Programming Language, Prentice-Hall, 1988. Second Edition. 13 Al Aho
The Buzzwords of Java • Java: A – simple, – object-oriented, – network-savvy, – interpreted, – robust, – secure, – architecture neutral, – portable, – high-performance, – multithreaded, – dynamic language. http: //java. sun. com/docs/overviews/java-overview-1. html 14 Al Aho
Project Roles and Responsibilities Project Manager – timely completion of project deliverables Language Guru – language integrity and tools System Architect – compiler architecture System Integrator – execution environment Verification and Validation – test plan and test suites 15 Al Aho
Programming Languages A programming language is a notation for specifying computational tasks that a person can understand a computer can execute. Every programming language has a syntax and semantics. – The syntax specifies how a concept is expressed. – The semantics specifies what the concept means or does. 16 Al Aho
What does this C program do? #include <stdio. h> int main ( ) { int i, j; i = 1; j = i++ + ++i; printf("%dn", j); } 17 Al Aho
From the ISO-C Standard Implementation-defined behavior Unspecified behavior where each implementation documents how the choice is made An example of implementation-defined behavior is the propagation of the high-order bit when a signed integer is shifted right. Undefined behavior Behavior, upon use of a nonportable or erroneous program construct or of erroneous data, for which this International Standard imposes no requirements An example of undefined behavior is the behavior on integer overflow. Unspecified behavior Use of an unspecified value, or other behavior where this International Standard provides two or more possibilities and imposes no further requirements on which is chosen in any instance An example of unspecified behavior is the order in which the arguments to a function are evaluated. 18 Al Aho
From the ISO-C Standard ISO/IEC 9899: 201 x Committee Draft — November 16, 2010 N 1539 6. 5 Expressions If a side effect on a scalar object is unsequenced relative to either a different side effect on the same scalar object or a value computation using the value of the same scalar object, the behavior is undefined. If there are multiple allowable orderings of the subexpressions of an expression, the behavior is undefined if such an unsequenced side effect occurs in any of the orderings. This paragraph renders undefined statement expressions such as i = ++i + 1; a[i++] = i; while allowing i = i + 1; a[i] = i; 19 Al Aho
Programming Languages: Domains of Application Scientific • Fortran Business • COBOL Artificial intelligence • LISP Systems • C Web • Java General purpose • C++ 20 Al Aho
Kinds of Languages - 1 Imperative – Specifies how a computation is to be done. – Examples: C, C++, C#, Fortran, Java Declarative – Specifies what computation is to be done. – Examples: Haskell, ML, Prolog von Neumann – One whose computational model is based on the von Neumann architecture. – Basic means of computation is through the modification of variables (computing via side effects). – Statements influence subsequent computations by changing the value of memory. – Examples: C, C++, C#, Fortran, Java 21 Al Aho
Kinds of Languages - 2 Object-oriented – Program consists of interacting objects. – Each object has its own internal state and executable functions (methods) to manage that state. – Object-oriented programming is based on encapsulation, modularity, polymorphism, and inheritance. – Examples: C++, C#, Java, OCaml, Simula 67, Smalltalk Scripting – An interpreted language with high-level operators for "gluing together" computations. – Examples: AWK, Perl, PHP, Python, Ruby Functional – One whose computational model is based on the recursive definition of functions (lambda calculus). – Examples: Haskell, Lisp, ML 22 Al Aho
Kinds of Languages - 3 Parallel – One that allows a computation to run concurrently on multiple processors. – Examples • Libraries: POSIX threads, MPI • Languages: Ada, Cilk, Open. CL, Chapel, X 10 • Architecture: CUDA (parallel programming architecture for GPUs) Domain specific – Many areas have special-purpose languages to facilitate the creation of applications. – Examples • YACC for creating parsers • LEX for creating lexical analyzers • MATLAB for numerical computations • SQL for database applications Markup – Not programming languages in the sense of being Turing complete, but widely used for document preparation. – Examples: HTML, XML 23 Al Aho
Evolution of Programming Languages 1970 2012 Fortran Java Lisp C Cobol C# Algol 60 C++ APL Objective-C Snobol 4 PHP Simula 67 Visual Basic Python PL/1 Perl Pascal Java. Script [http: //www. tiobe. com, January 2012] 24 Al Aho
Programming Languages Today there are thousands of programming languages. The website http: //www. 99 -bottles-of-beer. net has programs in 1, 440 different programming languages to print the lyrics to the song “ 99 Bottles of Beer. ” 25 Al Aho
“ 99 Bottles of Beer” 99 bottles of beer on the wall, 99 bottles of beer. Take one down and pass it around, 98 bottles of beer on the wall, 98 bottles of beer. Take one down and pass it around, 97 bottles of beer on the wall. . 2 bottles of beer on the wall, 2 bottles of beer. Take one down and pass it around, 1 bottle of beer on the wall, 1 bottle of beer. Take one down and pass it around, no more bottles of beer wall. on the No more bottles of beer on the wall, no more bottles of beer. Go to the store and buy some more, 99 bottles of beer on the wall. [Traditional] 26 Al Aho
“ 99 Bottles of Beer” in AWK BEGIN { for(i = 99; i >= 0; i--) { print ubottle(i), "on the wall, ", lbottle(i) ". " print action(i), lbottle(inext(i)), "on the wall. " print } } function ubottle(n) { return sprintf("%s bottle%s of beer", n ? n : "No more", n - 1 ? "s" : "") } function lbottle(n) { return sprintf("%s bottle%s of beer", n ? n : "no more", n - 1 ? "s" : "") } function action(n) { return sprintf("%s", n ? "Take one down and pass it around, " : "Go to the store and buy some more, ") } function inext(n) { return n ? n - 1 : 99 } [Osamu Aoki, http: //people. debian. org/~osamu] 27 Al Aho
“ 99 Bottles of Beer” in Perl ''=~(. ('`'. '==' ^'+'). '; -'. ('['. '_\{' ). (('`')| ). ('['^'/') '\"'. ('['^ '{'^"["). ( ('{'^'['). ( '`'|"%"). ( '\"\}'. +( '+_, \", '. ( '`'|"+"). ( '{'^"["). ( '['). ("["^ ')'). ("["^ '. '). ("`"| '+'). ("!"^ '`'|('%')). '(? {' |'!'). ('['. '||'. '-'. ^'. '). '(\$' '/'). '. ('['^'/'). '#'). '!!--' '`'|"""). ( '`'|"/"). ( '{'^"["). ( '['^"+"). ( '{'^('[')). '`'|"%"). ( '`'|"$"). ( '+'). ("`"| '/'). ("{"^ '. '). ("`"| '+'). '\"'. '++\$="})' . ('`' ^'+'). ('; ' '\$'. ('`'. '; =('. . '\"'. +( ('`'|', '). (. '\$=. \"' '`'|"%"). ( '`'|". "). ( '['^", "). ( '['^")"). ( ('\$; !'). ( '{'^"["). ( '`'|"/"). ( '!'). ("["^ '['). ("`"| '$'). ", ". ( ('['^', '). ( ); $: =('. ')^ |'%') |', '). ('`' &'='). '=; ' |'"') '\$=|' '{'^'['). '`'|('%')). . ('{'^'['). '`'|"%"). ( '{'^"["). ( '`'|"!"). ( '`'|")"). ( '!'^"+"). ( '`'|"/"). ( '['^", "). ( '('). ("["^ '!'^('+')). '`'|"("). ( '~'; $~='@'| . ('['. '"'. |'/'). ('; '. ('['. ('!'. "|". ( ('`'|'"') '\". \"'. ( ('`'|'/'). ( '['^(')')). '['^"/"). ( '`'|", "). ( '`'|". "). ( '{'^"/"). ( '`'|". "). ( '`'|('. ')). '('). ("{"^ ')'). ("`"| '\", _, \"' '`'|")"). ( '('; $^=')'^ ^'-') '\$'. ('[' &'=') ^'(') ^'+') '`'^'. '. ('`'|'/' '['^('(')). '`'|"&"). ( '\"). \"'. '`'|"("). ( '`'|(', ')). '['^('/')). '`'|"!"). ( '`'|"%"). ( ', '. (('{')^ '['). ("`"| '/'). ("["^. '!'. ("!"^ '`'|", "). ( '['; $/='`'; [Andrew Savage, http: //search. cpan. org/dist/Acme-Eye. Drops/lib/Acme/Eye. Drops. pm] 28 Al Aho
“ 99 Bottles of Beer” in the Whitespace Language [Edwin Brady and Chris Morris, U. Durham] 29 Al Aho
Language Design Issues to Think About • Application domain – exploit domain restrictions for expressiveness, performance • Computational model – simplicity, ease of expression – incorporate a few primitives that can be elegantly combined to solve large classes of problems • Abstraction mechanisms – reuse, suggestivity • Type system – reliability, security • Usability – readability, writability, efficiency 30 Al Aho
To Do Start forming your project team immediately. Use Courseworks to publicize your interests. Contact Feng Zhou (fz 2168@columbia. edu) for help forming or finding a team. Once you have formed a team, give it a name. Once you have decided on a language to design, give it a name. 31 Al Aho
Скачать презентацию Alfred V Aho aho cs columbia edu Programming Languages
a53444eae8b2d9e1ab736840d6bd1d19.ppt