Skip to Main Content

Program Analysis: Journals

This course is an overview of program analysis including static analysis which involves reasoning about program source, dynamic analysis which involves reasoning about program execution traces, and formal methods which involve mathematical foundations of

Searching Tips

Journals are collections of articles that are published on a regular basis to report current research within a discipline. Use keywords, phrases, titles or authors or use Boolean operators (AND, OR, or, NOT) to construct a more complex query. Refine using these filters to narrow or expand your results most related to your topic. Keywords:  Computer, Software, Internet etc.

Search Articles

Once you have identified your topic, check to see if it is too specific, if it is, work toward a general focus. This will help you generate a list of keywords or concepts related to your topic. Use our Web Discovery service to search articles from databases subscribed by the LUMS Library. Keywords: Javaid Namia, Zarb-i-Mashriq etc.

Search Articles

Library Timings

  • Monday to Friday
  • 8:30 am - 2:00 am
  • Saturday
  • 10:00 am - 10:00 pm
  • Sunday
  • 10:00 am -10:00 pm

Important

  • Library remain opened around-the-clock during exams (mid-terms & finals)
  • Library Help Desk at both floors provides services from 8:30 am to 8:00 pm
  • Library remain closed (not more than two days) on public holidays.
  • Note: Library opening hours may be subject to change. Contact library for exact hours.

Contact Us

D.H.A, Lahore Cantt. 54792
Lahore, Pakistan
Phone: +92 42 3560 8167

Stay Connected

2023 © Lahore University of Management Sciences. All Rights Reserved.