5451 search results - page 640 / 1091 » Typed Operational Semantics |
187
click to vote
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
208
click to vote
LCPC
2005
Springer
16 years 8 days ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
162
Voted
PPDP
2005
Springer
16 years 8 days ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
217
click to vote
SAMOS
2004
Springer
16 years 3 days ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
178
click to vote
ACSD
2003
IEEE
16 years 2 days ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...