1073 search results - page 87 / 215 » Formal Program Development with Approximations |
165
click to vote
POPL
2012
ACM
14 years 8 days ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
141
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
140
Voted
WIA
2009
Springer
15 years 11 months ago
2009
Springer
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
137
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
147
Voted
FORTE
2007
15 years 6 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...