T. K. Lakshman

Learn More
In this paper we propose a rich notion of directionality of predicates that combines modes and regular tree types. We provide a semantic soundness result for this notion and give inference systems to decide well-modedness of logic programs and goals. We show how this rich notion of directionality can be used to prove the universal termination of(More)
This paper describes the design, implementation, deployment, and ongoing management of a cross-platform native mobile application that empowers the Field (Sales, Marketing, Systems Engineers) in an Enterprise to collaborate with Customers through sharing "the right enterprise content & services: anytime, anywhere, from many mobile devices". The mobile(More)
  • 1