255 search results - page 27 / 51 » Proving BDI Properties of Agent-Oriented Programming Languag... |
152
click to vote
CC
2004
Springer
15 years 11 months ago
2004
Springer
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
170
click to vote
PROVSEC
2007
Springer
16 years 3 days ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
141
click to vote
APAL
2005
15 years 5 months ago
2005
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...
191
click to vote
ENTCS
2002
15 years 5 months ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...
160
click to vote
LATA
2009
Springer
16 years 23 days ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...