值得尊敬
发表于 2025-3-26 23:44:25
http://reply.papertrans.cn/24/2313/231243/231243_31.png
墙壁
发表于 2025-3-27 01:24:26
A New One-Pass Transformation into Monadic Normal FormWe present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pass, duplicates no code, generates no chains of thunks, and is properly tail recursive. It makes a crucial use of symbolic computation at translation time.
endure
发表于 2025-3-27 06:33:54
Görel HedinIncludes supplementary material:
艺术
发表于 2025-3-27 11:24:30
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/231243.jpg
muffler
发表于 2025-3-27 13:46:41
http://reply.papertrans.cn/24/2313/231243/231243_35.png
闲聊
发表于 2025-3-27 19:38:40
Spielregeln für Beruf und Karriereimperative languages such as C, Java, or Eiffel. We show that this tool is extremely non-intrusive, lightweight and useful to implement tree transformations. It is also flexible enough to allow the reuse of existing data structures.
HIKE
发表于 2025-3-27 23:46:21
http://reply.papertrans.cn/24/2313/231243/231243_37.png
Critical
发表于 2025-3-28 05:41:03
0302-9743 o invited papers were carefully reviewed and selected from 83 submissions. The papers are organized in topical sections on register allocation, language constructs and their implementation, type analysis, Java, pot pourri, and optimization..978-3-540-00904-7978-3-540-36579-2Series ISSN 0302-9743 Series E-ISSN 1611-3349
incubus
发表于 2025-3-28 08:17:54
Howard Franklin,Joanne Koltnow,LeRoy Finkeleasy to color optimally. The exact algorithms presented not only produce better solutions than the traditional heuristic methods, but also, indeed, seem to perform surprisingly fast, according to the measurements on our implementations.
Insufficient
发表于 2025-3-28 14:15:35
Spielregeln für Beruf und Karriereage provides a low-level abstract machine model and a type system general enough to prove the safety of a variety of implementation techniques. We show that precise type preservation is within reach for real-world Java systems.