4067 search results - page 252 / 814 » Programs for Applying Symmetries |
185
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This article examines rules of style for text, graphics, and mathematics and applies these rules to spreadsheets. The article describes the new style in detail with an example and...
145
click to vote
JAPLL
2007
15 years 6 months ago
2007
Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means...
166
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
193
click to vote
WCRE
2005
IEEE
16 years 8 days ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
179
Voted
SCAM
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug [1]. W...