Titlebook: Implementation of Functional Languages; 15th International W Phil Trinder,Greg J. Michaelson,Ricardo Pe?a Conference proceedings 2005 Sprin

trace-mineral

書目名稱Implementation of Functional Languages影響因子(影響力)




書目名稱Implementation of Functional Languages影響因子(影響力)學(xué)科排名




書目名稱Implementation of Functional Languages網(wǎng)絡(luò)公開度




書目名稱Implementation of Functional Languages網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Implementation of Functional Languages被引頻次




書目名稱Implementation of Functional Languages被引頻次學(xué)科排名




書目名稱Implementation of Functional Languages年度引用




書目名稱Implementation of Functional Languages年度引用學(xué)科排名




書目名稱Implementation of Functional Languages讀者反饋




書目名稱Implementation of Functional Languages讀者反饋學(xué)科排名

landfill

Lazy Assertions should be lazy – not forcing evaluation, but only examining what is evaluated by other parts of the program. We explore the subtle semantics of lazy assertions and describe sequential and concurrent variants of a method for checking lazy assertions. All variants are implemented in Haskell.

alcohol-abuse

intolerance

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/462564.jpg

Entropion

978-3-540-23727-3Springer-Verlag Berlin Heidelberg 2005

整理

Implementation of Functional Languages978-3-540-27861-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

harbinger

0302-9743 Overview: 978-3-540-23727-3978-3-540-27861-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

Parameter

inferno

Lazy Assertions should be lazy – not forcing evaluation, but only examining what is evaluated by other parts of the program. We explore the subtle semantics of lazy assertions and describe sequential and concurrent variants of a method for checking lazy assertions. All variants are implemented in Haskell.

IRS