Tech Talk: Programming with Narrowing

  • Date  Time 12:00 AM
  • Speaker
  • Location

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

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

abstract:
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.