4690 search results - page 679 / 938 » An operational semantics for Scheme |
180
click to vote
OOPSLA
2004
Springer
16 years 23 days ago
2004
Springer
In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the langua...
203
click to vote
CP
2003
Springer
16 years 19 days ago
2003
Springer
Abstract. This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspire...
231
click to vote
FMCO
2003
Springer
16 years 19 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
235
click to vote
LICS
2002
IEEE
16 years 9 days ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
199
click to vote
WCRE
2002
IEEE
16 years 9 days ago
2002
IEEE
Today, software-engineering research and industry alike recognize the need for practical tools to support reverseengineering activities. Most of the well-known CASE tools support ...