1180 search results - page 120 / 236 » Total Functional Software Engineering - Overview Paper |
113
click to vote
KBSE
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
115
click to vote
TAPSOFT
1993
Springer
15 years 6 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
115
Voted
EDBTW
2010
Springer
15 years 5 months ago
2010
Springer
The capability of correlating streaming web data with internal data in near real time gives enterprises a tremendous competitive advantage by enabling them to be aware of external...
116
click to vote
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
123
click to vote
FSTTCS
2010
Springer
15 years 14 days ago
2010
Springer
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...