3671 search results - page 32 / 735 » On Garbage and Program Logic |
SIGCSE
2005
ACM
14 years 2 months ago
2005
ACM
Many instructors use program runtimes to illustrate and reinforce algorithm complexity concepts. Hardware, operating system and compilers have historically influenced runtime resu...
ICDCS
2002
IEEE
14 years 1 months ago
2002
IEEE
We focus on an important problem in the space of ubiquitous computing, namely, programming support for the distributed heterogeneous computing elements that make up this environme...
ECAI
2006
Springer
14 years 5 days ago
2006
Springer
An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingl...
AMAI
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...
ITCC
2002
IEEE
14 years 1 months ago
2002
IEEE
Due to its portability and popularity for Internet applications, Java has become one of the major programming languages. The similar syntax inherited from the C language and the p...