<p><font face="′PrimaSans BT,Verdana,sans–serif′">Software plays a crucial role in modern society. While software keeps on growing in size and complexity, it is more than ever required to be delivered on time, free of error and meeting the most stringent efficiency requirements. Thus more demands are placed on the software developer, and consequently, the need for methods and tools that support the programmer in every aspect of the software development process is widely recognized.</font><br><font face="′PrimaSans BT,Verdana,sans–serif′">Practical logic–based software development methods and tools are the main topic of this workshop. Logic plays a fundamental role in analysis, verification and optimization in all programming languages, not only in those based directly on logic. The use of logic–based techniques in software development is a very active area in computing; emerging programming paradigms and growing complexity of the properties to be verified pose new challenges for the community, while emerging reasoning techniques can be exploited.</font><br></p>
Abbrevation
WLPE
City
Pasadena
Country
United States
Deadline Paper
Start Date
End Date
Abstract