Sciweavers

10871 search results - page 183 / 2175
» A stable programming language
Sort
View
154
Voted
TOOLS
2000
IEEE
15 years 11 months ago
A Metacomponent Model to Support the Extensibility and Evolvability of Networked Applications
Glêdson Elias da Silveira, Silvio Romero de ...
118
Voted
ICFP
2000
ACM
15 years 11 months ago
An operational semantics for parallel lazy evaluation
Ï ÔÖ × ÒØ Ò ÓÔ Ö Ø ÓÒ Ð × Ñ ÒØ × ÓÖ Ô Ö ÐÐ Ð Ð ÞÝ Ú Ð¹ Ù Ø ÓÒ Ø Ø ÙÖ Ø ÐÝ ÑÓ Ð× Ø Ô Ö ÐÐ Ð Ú ÓÙÖ Ó Ø ÒÓÒ¹×ØÖ ...
Clement A. Baker-Finch, David J. King, Philip W. T...
141
Voted
ICFP
2000
ACM
15 years 11 months ago
Regular expression types for XML
Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
142
Voted
ICFP
2000
ACM
15 years 11 months ago
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems
ÁÒ Ø × Ô Ô Ö Û ÔÖÓÔÓ× Ò Û Ñ Ø Ó ÓÖ Ö Ú Ò ÔÖ Ø ¹ Ð Ð Ò Ö¹Ø Ñ Ð ÓÖ Ø Ñ ÖÓÑ Ø ×Ô ¬ Ø ÓÒ Ó Ñ Ü ÑÙÑ¹Û Ø×ÙÑ ÔÖÓ Ð Ñ Ö...
Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhi...
PLDI
2000
ACM
15 years 11 months ago
Bitwidth analysis with application to silicon compilation
Mark Stephenson, Jonathan Babb, Saman P. Amarasing...