211 search results - page 24 / 43 » 04491 Abstracts Collection - Synchronous Programming - SYNCH... |
191
click to vote
ECOOP
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. It is common for large-scale Java applications to suffer memory problems, whether inefficient designs that impede scalability, or lifetime bugs such as leaks. Making sens...
100
click to vote
ILP
2004
Springer
15 years 5 months ago
2004
Springer
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. Our research has focused on Information Extraction (IE), a task that typically invol...
102
click to vote
ENTCS
2008
14 years 11 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...