Titlebook: Applied Semantics; International Summer Gilles Barthe,Peter Dybjer,Jo?o Saraiva Conference proceedings 2002 Springer-Verlag Berlin Heidelbe

粘上

書目名稱Applied Semantics影響因子(影響力)




書目名稱Applied Semantics影響因子(影響力)學科排名




書目名稱Applied Semantics網(wǎng)絡(luò)公開度




書目名稱Applied Semantics網(wǎng)絡(luò)公開度學科排名




書目名稱Applied Semantics被引頻次




書目名稱Applied Semantics被引頻次學科排名




書目名稱Applied Semantics年度引用




書目名稱Applied Semantics年度引用學科排名




書目名稱Applied Semantics讀者反饋




書目名稱Applied Semantics讀者反饋學科排名

archenemy

吞沒

expire

Ballad

0302-9743 g H: Semantics-based optimization I: Domain theory and real number computation These themes were identi?ed as promising for pro?table interaction between semantic theory and practice, and were 978-3-540-44044-4978-3-540-45699-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

Ventilator

flammable

上腭

BRAWL

Gerhard Eschelbeck,Christian Hartlnalysis..We present here precise theorems, that should hopefully help the reader to understand to which extent statements like “introducing dependent types in a programming language implies that type checking is undecidable”, are justified.

enchant

P. H. Osanna,D. Prostrednik,A. Osanna notion of binding time, and explain the method of type-directed partial evaluation for a small PCF-style functional programming language. We give algorithms for both call-by-name and call-by-value versions of this language.