1205 search results - page 112 / 241 » Program Extraction from Large Proof Developments |
188
click to vote
POPL
2012
ACM
14 years 1 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...
175
click to vote
LION
2009
Springer
16 years 28 days 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 ...
177
click to vote
JILP
2000
15 years 6 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...
205
click to vote
3DIM
2005
IEEE
16 years 8 hour 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...
156
click to vote
LOPSTR
2005
Springer
15 years 12 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...