--- Log opened Mon May 13 00:00:48 2013
04:30 < amiller> http://arxiv.org/pdf/cs.LO/0312015.pdf
04:30 < amiller> With the advent of global computing there are an increasing variety of situations
04:30 < amiller> where one would need to be able to obtain formal bounds on resource usage by
04:30 < amiller> programs: for instance before running code originating from untrusted source or
04:30 < amiller> in settings where memory or time is constrained, like in embedded systems or
04:30 < amiller> synchronous systems
04:30 < amiller> this is a paper called Soft lambda-calculus: a language for
04:30 < amiller> polynomial time computation
--- Log closed Mon May 13 10:34:56 2013
--- Log opened Mon May 13 10:35:12 2013
--- Log closed Mon May 13 13:35:04 2013
--- Log opened Mon May 13 13:35:20 2013
--- Log closed Tue May 14 00:00:51 2013