213 search results - page 31 / 43 » Automated Termination Analysis for Logic Programs with Cut |
118
Voted
CADE
2009
Springer
16 years 8 days ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
112
click to vote
CADE
2004
Springer
15 years 12 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
102
Voted
IJCAI
1993
15 years 1 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
102
click to vote
WWW
2002
ACM
16 years 10 days ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
101
click to vote
EUROSYS
2007
ACM
15 years 3 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...