« Tech Talk: Comprehensive Analysis of the Android Ecosystem | Main | Why Do Airplanes Crash? Building an Open-Source Aircraft Sensor System »

Tech Talk: Programming with Narrowing

Galois is pleased to host the following tech talk. These talks are open to the interested public--please join us! (There is no need to pre-register for the talk.)

title: Programming with Narrowing

speaker: Sergio Antoy, Portland State University

time: Tuesday, 3 July 2012, 10:30am

Galois Inc.
421 SW 6th Ave. Suite 300,
Portland, OR, USA
(3rd floor of the Commonwealth building)

In this talk, I will introduce narrowing, the characterizing feature of functional logic programming, from the programmer's viepoint. Narrowing promotes non-determinism and it enables computing with incomplete or unknown information. After a short and informal presentation of Curry, the leading functional logic language, I will discuss a few examples showing that narrowing and its associated non-determinism support programming at a very high level of abstraction.

bio: Sergio Antoy is a professor of Computer Science at Portland State University, that he joined in 1990, and an associate chair for graduate education. He regularly teaches undergraduate and graduate courses in the area of programming. He received a PhD degree in Computer Science for the University of Maryland in 1987. Sergio's research is on narrowing strategies and the implementation of functional logic programming languages.

Reader Comments

There are no comments for this journal entry. To create a new comment, use the form below.

PostPost a New Comment

Enter your information below to add a new comment.

My response is on my own website »
Author Email (optional):
Author URL (optional):
Some HTML allowed: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong>