7288 search results - page 1261 / 1458 » On process rate semantics |
165
click to vote
WECWIS
2005
IEEE
16 years 4 days ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
201
click to vote
HASKELL
2005
ACM
16 years 3 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
193
click to vote
ICAIL
2005
ACM
16 years 3 days ago
2005
ACM
The potential of knowledge-based technological support for work in the legal domain has become widely recognized in recent time. This paper argues for an approach that is meant to...
178
click to vote
ICFP
2005
ACM
16 years 3 days ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
174
click to vote
MSR
2005
ACM
16 years 3 days ago
2005
ACM
Programmers often create similar code snippets or reuse existing code snippets by copying and pasting. Code clones —syntactically and semantically similar code snippets—can ca...