4690 search results - page 66 / 938 » An operational semantics for Scheme |
116
click to vote
LOGCOM
1998
14 years 11 months ago
1998
Sound and complete modal propositional logic C is presented, in which 2P has the interpretation “ P is true in all states”. The interpretation is already known as the Carnapia...
EDOC
2003
IEEE
15 years 5 months ago
2003
IEEE
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
When copying and pasting data between applications using the operating system clipboard, the semantics of the transfered information is usually lost. Using Semantic Web technologie...
111
click to vote
LOPSTR
1994
Springer
15 years 4 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
IFL
2001
Springer
15 years 4 months ago
2001
Springer
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...