2763 search results - page 52 / 553 » The Dangerous 'All' in Specifications |
JFP
2008
13 years 9 months ago
2008
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
AIS
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
CLEIEJ
2004
13 years 9 months ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...
CCS
2006
ACM
14 years 26 days ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
WWW
2001
ACM
14 years 9 months ago
2001
ACM
Recently, the IMS Learning Resource Meta-Data Specification [1] was released, paving the way for efficient repurposing of educational multimedia in a multitude of learning environ...