3693 search results - page 531 / 739 » Splitting a Logic Program |
103
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
353
click to vote
JTRES
2010
ACM
15 years 2 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
105
click to vote
PPDP
2010
Springer
15 years 22 days ago
2010
Springer
Control operators for delimited continuations are useful in various fields such as partial evaluation, CPS translation, and representation of monadic effects. While many works in...
160
click to vote
ICFEM
2009
Springer
15 years 2 days ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
174
click to vote
ICSE
2011
IEEE-ACM
14 years 5 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...