265 search results - page 30 / 53 » entcs 2007 |
108
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
134
click to vote
ENTCS
2007
15 years 4 months ago
2007
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...
143
click to vote
ENTCS
2007
15 years 4 months ago
2007
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
120
click to vote
ENTCS
2007
15 years 4 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
116
click to vote
ENTCS
2007
15 years 4 months ago
2007
We present a new specification/implementation of the mobile agent language Mobile Maude. This new version uses the external sockets provided by Maude since its 2.2 version, thus ...