1205 search results - page 112 / 241 » Program Extraction from Large Proof Developments |
132
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
116
click to vote
LION
2009
Springer
15 years 8 months ago
2009
Springer
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...
115
Voted
JILP
2000
15 years 1 months ago
2000
A major challenge of applying profile-based optimization on large real-world applications is how to capture adequate profile information. A large program, especially a GUI-based a...
144
click to vote
3DIM
2005
IEEE
15 years 7 months ago
2005
IEEE
Our goal is the production of highly accurate photorealistic descriptions of the 3D world with a minimum of human interaction and increased computational efficiency. Our input is...
102
click to vote
LOPSTR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...