850 search results - page 44 / 170 » A Logic Programming Language Based on Binding Algebras |
RTA
2010
Springer
15 years 5 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
103
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
137
click to vote
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
127
click to vote
DALT
2003
Springer
15 years 6 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agentās architecture (in parti...
114
click to vote
CALCO
2007
Springer
15 years 5 months ago
2007
Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...