About the Talk
July 22, 2010 10:50 AM
Portland, OregonPortland, Oregon
Mainstream programming languages are imperative: the programmer dictates the order of reads and writes to memory. Declarative languages (for example functional and logic languages) remove this major cause of complexity and error. Unfortunately, declarative languages impose severe constraints on the structure and variability of data.