7 Hits in 0.96 sec

Program Optimizations and Transformations in Calculation Form [chapter]

Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi
2006 Lecture Notes in Computer Science  
forms such as homomorphisms and mutumorphisms that enjoy a collection of generic algebraic laws for program manipulation.  ...  The world of program optimization and transformation takes on a new fascination when viewed through the lens of program calculation.  ...  We believe that more optimizations and transformations can be formalized in calculational form to gain the advantages discussed above, and we are looking forward to see more practical applications.  ... 
doi:10.1007/11877028_5 fatcat:yg2ftladibbstbmu4jhzwfts2a

Strongly Typed Rewriting For Coupled Software Transformation

Alcino Cunha, Joost Visser
2007 Electronical Notes in Theoretical Computer Science  
These representations are then subjected to program calculation rules, harnessed in typesafe, type-preserving strategic rewrite systems.  ...  For ease of calculation, we use point-free representations and corresponding calculation rules. Thus, coupled transformations are carried out in two steps.  ...  Program transformation in calculational form Several systems have been developed for performing program transformation in calculational form using fusion laws.  ... 
doi:10.1016/j.entcs.2006.10.019 fatcat:2fncyq6le5eefjbfhcwbvdylrm

Coupled Transformation of Schemas, Documents, Queries, and Constraints

Joost Visser
2008 Electronical Notes in Theoretical Computer Science  
The 2LT project is aimed at providing a formal basis for coupled transformation. This formal basis is found in data refinement theory, point-free program calculation, and strategic term rewriting.  ...  Point-free program calculation is applied to optimized synthesize conversion function, to migrate queries, and to normalize data type constraints.  ...  Program transformation in calculational form Several systems have been developed for performing program transformation in calculational form using fusion laws.  ... 
doi:10.1016/j.entcs.2008.04.090 fatcat:kb6vicjstngwblurbbiulrh32m

Program Calculation in Coq [chapter]

Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi
2011 Lecture Notes in Computer Science  
We design and implement a set of tactics for the Coq proof assistant to help the user to derive programs by program calculation and to write proofs in calculational form.  ...  Different from many existing systems, we show in this paper that Coq, a popular theorem prover, provides a cheap way to implement a powerful system to support program calculation, which has not been recognized  ...  Secondly, our system allows the rich set of theories in Coq to be used in program calculation for free.  ... 
doi:10.1007/978-3-642-17796-5_10 fatcat:qk7yojjbejd25lbhblyqcmrvze

The Long Tail and Its Implications for Media Audience Measurement

Scott McDonald
2008 Journal of Advertising Research  
A similar hybrid system is beginning to take shape in the television sector. Program ratings still come from Nielsen panels built according to the rules of con- ventional probability sampling.  ...  Even if one had a complete cen- sus of the program viewing of all of the subscribers to every cable system, this would still exclude information about those who get their TV signal from other sources (  ... 
doi:10.2501/s0021849908080379 fatcat:mmhjn5twbzdlhno4aehvwmj7xi

How functional programming mattered

Zhenjiang Hu, John Hughes, Meng Wang
2015 National Science Review  
In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly "why functional programming matters". More than two decades have passed.  ...  Has functional programming really mattered? Our answer is a resounding "Yes!".  ...  Systems for Program Derivation Many systems have been developed for supporting program derivation and calculation. Examples are KIDS (106) , MAG (29) , Yicho (54) , and so on.  ... 
doi:10.1093/nsr/nwv042 fatcat:j4ya3w2nt5e3di5gawsuc53bxy

The Hunger Games

Thomas Pogge
2016 Food Ethics  
Citizens ought to insist that the eradication of severe deprivations is a human-rights correlative duty that permits no avoidable delay.  ...  Governments and their international agencies (FAO, World Bank) conceive of the eradication of hunger and poverty as a worthy wish that will eventually be realized through economic growth.  ...  of the global trading and financial systems produces.  ... 
doi:10.1007/s41055-016-0006-9 fatcat:nh754h7ryfhu3b6yzwu532ko6u