297 search results - page 25 / 60 » ATS: A Language That Combines Programming with Theorem Provi... |
105
click to vote
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
108
click to vote
ERSHOV
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
161
click to vote
ICLP
2011
Springer
14 years 4 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
101
click to vote
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
JCSS
2010
14 years 11 months ago
2010
Nominal techniques were introduced to represent in a simple and natural way that involve binders. The syntax includes an abstraction operator and a primitive notion of name swappin...