[fpunion] FPU meeting Friday 28 May, 1-2pm, ICT Building
1 view
Skip to first unread message
bjpop
May 25, 2010, 3:56:08 AM5/25/10
to fpunion
Location: Somewhere in the ICT Building. To be advised.
Presenter: Lee Naish
Topic: Computation is the information ordering.
Abstract:
A previously published three-valued semantics for logic programs aimed
at allowing programmers to reason about partial correctness in a
natural way. Here we shed new light on this semantics and adapt it to
functional programming. We argue that computation should not be
viewed as replacing expressions with equal or logically equivalent
expressions, but replacing expressions with expressions which have the
same or greater information content.
We hope to see you there.
--
To unsubscribe from this group, send email to fpunion-u...@googlegroups.com
Presenter: Lee Naish
Topic: Computation is the information ordering.
Abstract:
A previously published three-valued semantics for logic programs aimed
at allowing programmers to reason about partial correctness in a
natural way. Here we shed new light on this semantics and adapt it to
functional programming. We argue that computation should not be
viewed as replacing expressions with equal or logically equivalent
expressions, but replacing expressions with expressions which have the
same or greater information content.
We hope to see you there.
--
To unsubscribe from this group, send email to fpunion-u...@googlegroups.com
Bernie Pope
May 27, 2010, 4:29:36 AM5/27/10
to fpu...@googlegroups.com
Location: Room 4.04, ICT Building, The University of Melbourne
Reply all
Reply to author
Forward
0 new messages