113 reputation
4
bio website cse.chalmers.se/~josefs
location Gothenburg, Sweden
age 38
visits member for 1 year, 10 months
seen Jun 29 at 11:26

Researcher in Computer Science. Interested in compiler technology, program optimization, functional programming and algorithms.


Jun
29
comment Name the property $f(x) \ge x$
It's an interesting suggestion since the question came up in the context of a program analysis which is indeed computed using fixed points. However, the $f$ in our case in not the transfer function we wish to compute the fix point of, but rather part of the property we wish to establish about the program. So using the post-fixed point term would most likely lead to confusion.
Jun
27
awarded  Scholar
Jun
27
accepted Name the property $f(x) \ge x$
Jun
25
comment Name the property $f(x) \ge x$
@GitGud what would be the the converse of expansion? Contraction?
Jun
24
awarded  Student
Jun
24
comment Name the property $f(x) \ge x$
Thanks! Never heard the term inflationary in this context before but it makes sense.
Jun
24
asked Name the property $f(x) \ge x$
Nov
4
awarded  Supporter
Nov
4
awarded  Autobiographer