This course covers concepts and techniques for the design and implementation of large software systems that can be adapted to uses not anticipated by the designer. Applications include compilers, computer-algebra systems, deductive systems, and some artificial intelligence applications. Topics include combinators, generic operations, pattern matching, pattern-directed invocation, rule systems, backtracking, dependencies, indeterminacy, memoization, constraint propagation, and incremental refinement. Substantial weekly programming assignments are an integral part of the subject. There will be extensive programming assignments, using MIT/GNU Scheme . Students should have significant programming experience in Scheme, Common Lisp, Haskell, CAML or some other "functional" language.
BITS Pilani has great news for its students and faculty, allowing them to take a year off to establish a startup. Know more.
Norway has lifted the requirement of not receiving financial assistance from the government for the last 12 months when applying for a permanent resid
The Management Aptitude Test (MAT) 2024 is a crucial gateway for aspiring MBA candidates in India. As one of the most widely accepted MBA entrance exa
Read on to know more on the career prospects for Social media Manager in the USA
NEED HELP?
2K Views
Report Spam
9 Answers
