Pdf Version - Ajay Kumar Garg Engineering College

More documents

Recommendations

Info

About the College Ajay Kumar Garg Engineering College, Ghaziabad is affiliated to Mahamaya Technical University (MTU) and is approved by the All India Council for Technical Education. The College was established in 1998 and offers B.Tech. courses in six disciplines of Engineering. The college also offers postgraduate courses in Computer Application (MCA) and M.Tech. in Computer Science and Engineering, Automation & Robotics, Electronics and Communication Engineering and Electrical Power Energy Systems. The college strives for excellence and has the distinction of receiving Academic Excellence Award for Best Engineering College in UPTU consecutively for two years. The college has the distinction of being the only Engineering College in the state of Uttar Pradesh to have received approval from Deptt. of Science & Technology, Government of India, for establishment of Centre of Relevance and Excellence (CORE) in the field of Automation & Robotics under the mission REACH of TIFAC. The college has also established India's first industrial robotics training centre in collaboration with Kuka Robotics to train the students & technical manpower in advance robotics technologies. Why Functioanl Programming matters As software becomes more and more complex, it is more and more important to structure it well. Wellstructured software is easy to write, easy to debug, and provides a collection of modules that can be re-used to reduce future programming costs. Conventional languages place conceptual limits on the way problems can be modularized. Functional languages push those limits back. Functional programming is very different from imperative programming. The most significant differences stem from the fact that functional programming avoids side effects, which are used in imperative programming to implement state and I/O. Pure functional programming disallows side effects completely and so provides referential transparency, which makes it easier to verify, optimize, and parallelize programs, and easier to write automated tools to perform those tasks. To assist modular programming, a language must provide good glue. Functional programming languages provide two new kinds of glue - higher-order functions and lazy evaluation. Using these glues one can modularize programs in new and exciting ways. PROGRAMMING IMPERATIVE Functional programming has long been popular in academia, but with few industrial applications. However, recently several prominent functional programming languages have been used in commercial or industrial systems. For example, the Erlang programming language, which was developed by the Swedish company Ericsson in the late 1980s, was originally used to implement fault-tolerant telecommunications systems. It has since become popular for building a range of applications at companies such as T-Mobile, Nortel, Facebook and EDF. The Scheme dialect of Lisp was used as the basis for several applications on early Apple Macintosh computers, and has more recently been applied to problems such as training simulation software and telescope control. Objective Caml, which was introduced in the mid 1990s, has seen commercial use in areas such as financial analysis, driver verification, industrial robot programming, and static analysis of embedded software. Haskell, although initially intended as a research language, has also been applied by a range of companies, in areas such as aerospace systems, hardware design, and web programming. Other functional programming languages that have seen use in industry include Scala, F#, Lisp, Standard ML, and Clojure. DECLARATIVE PROCEDURAL E.G. FORTRAN,C OBJECT ORIENTED E.G. C++,JAVA LOGIC E.G. PROLOG FUNCTIONAL E.G. HASKELL, ERLANG This FDP is an attempt to demonstrate to the “ real world ” that functional programming is vitally important, and also to help functional programmers exploit its advantages to the full by making it clear what those advantages are.
Resource Person Prof. S. Arun Kumar Department of Computer Science and Engineering Indian Institute of Technology, Delhi Prof. S. Arun Kumar is Ph.D. in Computer Science, Tata Institute of Fundamental Research, University of Bombay. He completed MTech in Computer Science from Indian Institute of Technology, Bombay and B.Tech. in Mechanical Engineering from Indian Institute of Technology, Kanpur. His areas of interest include Programming Languages, Mobile Computation, Distributed Systems, Concurrency Theory, Logic, Program Verification, Formal Methods and Model-checking. Prof. Kumar's extensive teaching and research experience has been with Indian Institute of Technology, Delhi, North Carolina State University, USA and University of Sussex, UK. He has a total experience of 23 years and is presently working with Indian Institute of Technology, Delhi since 1998. He has been associated with a number of research projects as Principal Investigator and Co-Investigator; the projects were funded by MHRD, Government of India; European Aeronautic Defence and Space Company, Netherlands; and Sun Microsystems, USA. He was also honored with Young Scientist Award from Department of Science and Technology, Govt. of India, for his contribution to the project “Efficiency Based Correctness Criteria for Concurrent Systems”. Prof. Kumar has also created web based courses on “Introduction to Computer Science” and a 40 hour video course on “Programming Languages”. He has a number of research papers published in reputed International journals to his credit. Program Details: (12-13 April 2012) th Day 1: 12 April 2012 9:00 – 10:00 Registration & Tea 10:00 – 10:30 Inaugural Session 10:30 – 12:30 First Session- Introduction to Functional Programming, Overview of Standard ML 12:30-13:30 Lunch Break 13:30-14:30 Second Session- Some simple Standard ML programs 14:30-14:45 Tea Break 14:45-16:00 Third Session- Scope Rules and Recursion Registration Participants can register by sending the duly filled registration form along with registration fee of Rs. 1000/- in form of demand draft in favour of “Ajay Kumar Garg Engineering College”, payable at Ghaziabad to the following address latest by April 7, 2012 : The Co-ordinator Faculty Development Programme Department of Computer Science and Engineering Ajay Kumar Garg Engineering College 27 km Stone, Delhi-Hapur Bypass Road, NH-24 P.O. Adhyatmik Nagar Ghaziabad – 201009 (U.P.) PROGRAMMING The registration fee includes the FDP kit, course material and tea and lunch for the duration of the lectures. Candidates attending the full course will be awarded a certificate of participation at the end of the programme. Any queries may be forwarded to fpd_cse@akgec.org. Limited boarding and lodging facilities are available on the campus at nominal charges on first come first served basis. Organizing Committee IMPERATIVE DECLARATIVE Ÿ Prof. B.M. Kalra, Head of Department, CSE Ÿ Ms. Mamta Bhusry, Associate Professor, CSE Ÿ Mr. Akhilesh Verma, Assistant Professor, CSE, Contact : +919971897996 th Day 2: 13 April 2012 10:00-12:00 First Session- Higher-order functions , Data types, constructors and pattern matching 12:00-13:00 Lunch Break 13:00-15:00 Second Session- Abstract Datatypes and PROCEDURAL E.G. FORTRAN,C Modularity, Signatures and Structures 15:00-15:15 Tea Break 15:15 -16:00 Concluding Session OBJECT ORIENTED E.G. C++,JAVA LOGIC E.G. PROLOG FUNCTIONAL E.G. HASKELL, ERLANG
Page 1: AKGEC Ajay Kumar Garg Engineering C

Pdf Version - Ajay Kumar Garg Engineering College

Create successful ePaper yourself

Delete template?

Save as template?