SPEAKER DETAILS

img

Roshan Naik

www.mpprogramming.com
Roshan is a leading expert in multi-paradigm programming techniques and the author of Castor, an open source library which brings the Logic Paradigm to C++. He has worked on a wide range of systems including HP-UX virtual memory, search engines and ad serving engines. Roshan received a Master’s degree in Computer Science from Oregon State University, specializing in programming languages.

Sessions

Logic Paradigm for C++ [ Part 1 ]

Level :
Beginner
Date :
1:45 PM Saturday
Room :
4220
Track :
C++ and C++11
Interested : (-) - Registered : (53)

Speakers: Roshan Naik

The Logic paradigm (LP) is a powerful, Turing-complete programming paradigm that has seen little representation in mainstream languages. LP is an important approach in Computer Science towards what is sometimes referred to as the Holy-Grail of programming "The user states the problem, the computer solves it". Origins of Logic theory dates back to about 300 B.C. when Aristotle founded Formal Logic to bring rigor to logical inferencing. The theory matured into Modern Logic more recently (early 1900s) when Russell & Whitehead showed that all of Mathematics could be reduced to Logic. This talk will provide a fast track introduction to the basics of LP in C++ without indulging too much in arcane theory. We will observe how blending LP into existing C++ concepts allows programmers to come up with really cool solutions. For this talk we shall use Castor, an open source C++ library which introduces LP into standard C++.

Details

Logic Paradigm for C++ [ Part 2 ]

Level :
Beginner
Date :
3:30 PM Saturday
Room :
4220
Track :
C++ and C++11
Interested : (-) - Registered : (20)

Speakers: Roshan Naik

This talk will build on top of the foundations laid in part 1. We will cover more examples to get a better feel for using the Logic paradigm and how to combine it with other paradigms. We will also see how an elegant multiparadigm framework can lead to powerful solutions by examining the impact on the design of a game and the ability to write query expressions in C++.

Details
  • Not Interested
  • Interested
  • Attending

SPONSORS List