An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering.
Prantik ChatterjeePankaj Kumar KalitaSumit LahiriSujit Kumar MuduliVishal SinghGourav TakharSubhajit RoyPublished in: ASE (2023)
Keyphrases
- programming language
- software engineering
- strongly typed
- object oriented
- general purpose
- software development
- design patterns
- programming environment
- reverse engineering
- software architecture
- denotational semantics
- artificial intelligence
- specification language
- computer science
- high level
- software systems
- logic programming
- formal model
- database languages
- programming paradigms
- lambda calculus