1205 search results - page 81 / 241 » Program Extraction from Large Proof Developments |
138
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
125
Voted
SAC
2005
ACM
15 years 7 months ago
2005
ACM
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...
120
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
115
Voted
CONSTRAINTS
2004
15 years 1 months ago
2004
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...
159
click to vote
WWW
2010
ACM
15 years 8 months ago
2010
ACM
With the prosperity of tourism and Web 2.0 technologies, more and more people have willingness to share their travel experiences on the Web (e.g., weblogs, forums, or Web 2.0 comm...