Titlebook: Mathematics of Program Construction; 8th International Co Tarmo Uustalu Conference proceedings 2006 Springer-Verlag Berlin Heidelberg 2006

BROOD

书目名称Mathematics of Program Construction影响因子(影响力)




书目名称Mathematics of Program Construction影响因子(影响力)学科排名




书目名称Mathematics of Program Construction网络公开度




书目名称Mathematics of Program Construction网络公开度学科排名




书目名称Mathematics of Program Construction被引频次




书目名称Mathematics of Program Construction被引频次学科排名




书目名称Mathematics of Program Construction年度引用




书目名称Mathematics of Program Construction年度引用学科排名




书目名称Mathematics of Program Construction读者反馈




书目名称Mathematics of Program Construction读者反馈学科排名

扩张

Refunctionalization at Worked or it could be the deliberate result of a form of “firstification” such as closure conversion, (super)combinator conversion, or defunctionalization. In the latter case, they are higher-order programs in disguise, just as iterative programs with accumulators are often recursive programs in disguis

Habituate

Towards Generic Programming with Sized Typesf the instantiation type. In practice, the programs obtained from a generic program are usually terminating, but the proof of termination cannot be carried out with traditional methods as term orderings alone, since termination often crucially relies on the program type. This problem is tackled by a

Lobotomy

INERT

MODE

frenzy

法律

Loopless Functional Algorithmsch subsequent element in constant time. Loopless algorithms arise in the enumeration of combinatorial patterns such as permutations or subsequences. The elements of the generated list describe transitions that determine how the next combinatorial pattern is to be determined from its predecessor. Loo

婴儿

谎言

Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guardss form an extension to the calculational method of Feijen and van Gasteren using a UNITY style progress logic. We stress the role of stable guards, and we illustrate the derivation techniques on some examples in which progress plays an essential role.