Coordinator: chris cain
Introduction to the fundamental principles of programming language design, semantics, and implementation. Structure and vocabulary of modern programming languages. Programming language topics include formal semantics of programming, name binding, scope, data types, type systems, control flow, object orientation, scripting languages, functional languages, polymorphism, and concurrency. Labs and assignments will include experience in writing programs in a nonprocedural programming paradigm.
Prerequisite or Corequisite
C- or higher in CSCI 362
At the end of this course, a successful student will be able to
- Apply syntax-related concepts such as context-free grammars and parse trees.
- Apply semantics-related concepts such as denotational mapping functions and weakest preconditions.
- Understand and differentiate between various models for data control, scope, lifetime, and type checking of variables.
- Analyze and apply various parameter passing techniques.
- Explain and compare various models of run-time storage management.
- Compare non-procedural programming paradigms to the procedural programming paradigm.
- Design and implement programs in a non-procedural programming paradigm.
- Distinguish between compile-time vs. run-time activities
- Write a technical paper on a Programming Languages topic.
- Give an oral presentation on a Programming Languages topic.
Major Topics Covered
- History and overview of programming languages
- Early languages
- Modern procedural languages
- Non-procedural languages
- History and overview of Software Engineering
- Early programming techniques
- Origin and definition of Software Engineering
- Software development paradigms
- Relationship of paradigms to languages
- Binding time
- Static binding
- Dynamic binding
- Name bindings
- Storage bindings
- Type bindings
- Data control, sharing, and type checking
- Type checking strategies
- Storage allocation strategies
- Strategies for recovery and reuse of heap-based storage
- Sequence control
- Exception handling
- Error checking and defensive programming
- Parallel programming constructs
- Implementation of parameter passing mechanisms
- Non-recursive call and return mechanism
- Recursive call and return mechanism
- Co-routine call and resume mechanism
- Software development
- Requirements and specification
- Verification and validation
- Programming paradigms and related languages
- Abstract data type
- Object-oriented languages
- Functional languages
- Logical languages
Sample Laboratory Projects
- Test the relationship between name access and structure access for a program written in a non-ADT language and an ADT language. Use experimental results to determine: (1) what is the extent that information hiding can be enforced in non-ADT languages and what are the conditions for doing so? (2) what is required for a language to be an ADT-language?
- Implement a parallel algorithm in a programming language supporting concurrent processes. (1 week.)
- Implement error checking in a programming language supporting exception handling.
- Test the difference between static type binding and dynamic type binding in an object-oriented language. Use experimental results to determine the necessity of dynamic type binding for code that is intended to be reusable.
- Design a program using functional design tools (data flow diagrams and structure charts). (1 week.)
- Implement the functional design (1 week).
- Design a program using object-oriented design tools (informal strategy, object/operation table, class hierarchy diagram, message interface table). (2 weeks.)
- Implement the object-oriented design. (2 weeks.)
- Implement a recursive-descent parser. (1 week.)