3738 search results - page 596 / 748 » Parametrized Logic Programming |
195
Voted
POPL
2008
ACM
16 years 24 days ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
219
Voted
POPL
2002
ACM
16 years 24 days ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
125
Voted
CADE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
102
Voted
PODS
2008
ACM
16 years 18 days ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
95
Voted
ICSE
2005
IEEE-ACM
16 years 17 days ago
2005
IEEE-ACM
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...