A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a pr...A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a procedure with the given labels, and then captures the callees＇ influence on callers when analyzing call statements. Phase 2 captures the callees＇ dependence on callers by replacing all given labels appearing in the corresponding sets of formal parameters. By the introduction of given labels, this slice method can obtain similar summary information in system-dependence-graph（SDG）-based algorithms for addressing the calling-context problem. With the use of the slice monad transformer, this monadic slicing approach achieves a high level of modularity and flexibility. It shows that the monadic interprocedural algorithm has less complexity and it is not less precise than SDG algorithms.展开更多
My claim is that Bourdieu＇s concept of habitus is not consistent and its ambiguities conceal an imprecision concerning the subject of social action. Indeed, Bourdieu defines habitus in three different ways： as a cap...My claim is that Bourdieu＇s concept of habitus is not consistent and its ambiguities conceal an imprecision concerning the subject of social action. Indeed, Bourdieu defines habitus in three different ways： as a capacity, as a set of dispositions, and as a scheme for practice. That is why he cannot solve the problem of the duality of agent and habitus and produces a problem offundamentation, as we can see in his troubles to determine which is the substratum of social actions. Though Bourdieu claims he borrows the concept of habitus from Husserl and other phenomenologists, many divergences can be stated in the way they conceive it. Unlike Bourdieu, phenomenology can establish precise relations of fundamentation between agent, habitus, and the ego because it avoids the fallacy of the wrong level involved in the attribution of systemic properties to personal eogic structures. Accordingly, it provides a consistent and precise concept of the habitus,展开更多
基金The National Outstanding Young Scientist Foundation by NSFC(No.60703086,60503020)
文摘A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a procedure with the given labels, and then captures the callees＇ influence on callers when analyzing call statements. Phase 2 captures the callees＇ dependence on callers by replacing all given labels appearing in the corresponding sets of formal parameters. By the introduction of given labels, this slice method can obtain similar summary information in system-dependence-graph（SDG）-based algorithms for addressing the calling-context problem. With the use of the slice monad transformer, this monadic slicing approach achieves a high level of modularity and flexibility. It shows that the monadic interprocedural algorithm has less complexity and it is not less precise than SDG algorithms.
文摘My claim is that Bourdieu＇s concept of habitus is not consistent and its ambiguities conceal an imprecision concerning the subject of social action. Indeed, Bourdieu defines habitus in three different ways： as a capacity, as a set of dispositions, and as a scheme for practice. That is why he cannot solve the problem of the duality of agent and habitus and produces a problem offundamentation, as we can see in his troubles to determine which is the substratum of social actions. Though Bourdieu claims he borrows the concept of habitus from Husserl and other phenomenologists, many divergences can be stated in the way they conceive it. Unlike Bourdieu, phenomenology can establish precise relations of fundamentation between agent, habitus, and the ego because it avoids the fallacy of the wrong level involved in the attribution of systemic properties to personal eogic structures. Accordingly, it provides a consistent and precise concept of the habitus,
