208 search results - page 27 / 42 » Software for Annotating Argument Structure |
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
ICWE
2010
Springer
14 years 10 days ago
2010
Springer
The recent proliferation of crowd computing initiatives on the web calls for smarter methodologies and tools to annotate, query and explore repositories. There is the need for scal...
VMCAI
2004
Springer
14 years 27 days ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
APLAS
2010
ACM
13 years 7 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
ACISICIS
2008
IEEE
14 years 2 months ago
2008
IEEE
Design of accessible applications is often a challenge for software architects and developers. Development usually starts with structure and functionality of the planned applicati...