3844 search results - page 133 / 769 » Modular interpreted systems |
110
Voted
CROSSROADS
2006
15 years 3 months ago
2006
Program transformation techniques have reached a maturity level that allows processing high-level language sources in new ways. Not only do they revolutionize the implementation o...
173
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
143
click to vote
WABI
2009
Springer
15 years 10 months ago
2009
Springer
Comparative analysis of biomolecular networks constructed using measurements from different conditions, tissues, and organisms offer a powerful approach to understanding the stru...
122
click to vote
SLE
2009
Springer
15 years 9 months ago
2009
Springer
Modularisation can reduce the effort in designing and maintaining language specifications. Existing approaches to language modularisation are typically either focused on language ...
115
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...