Coordinator: William Killian
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
- Represent elementary and structured data types.
- Explain various models for data control, scope, lifetime, and type checking of variables.
- Explain and use various parameter passing techniques.
- Illustrate the flexibility of dynamic type binding over static type binding.
- Explain and compare various models of run-time storage management.
- Summarize non-procedural programming paradigms; compare non-procedural programming paradigms to the procedural programming paradigm.
- Perform software requirements analysis and develop and/or interpret software specifications.
- Describe various software design and implementation techniques and be able to use at least two of them to design and implement software.
- Describe a software verification/validation technique and use it to verify a software artifact.
- Explain risks of computing with examples.
- Give a description of the History of Programming Languages.
- 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.)