1776 search results - page 281 / 356 » Using a Logic Programming Language with Persistence and Cont... |
WCRE
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Enterprise Applications are complex software systems that manipulate much persistent data and interact with the user through a vast and complex user interface. In partic...
DAGSTUHL
2007
13 years 10 months ago
2007
Abstract Current, data-driven applications have become more dynamic in nature, with the need to respond to events generated from distributed sources or to react to information extr...
DAGSTUHL
1996
13 years 10 months ago
1996
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalua...
SIGSOFT
1996
ACM
14 years 1 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...