1776 search results - page 240 / 356 » Using a Logic Programming Language with Persistence and Cont... |
230
click to vote
POPL
2004
ACM
16 years 3 months ago
2004
ACM
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
136
click to vote
ECBS
2008
IEEE
15 years 4 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
126
click to vote
PROMAS
2007
Springer
15 years 9 months ago
2007
Springer
Modular programming has the usual benefits associated with structured programming, information hiding and reusability, but also has additional benefits to offer when applied in ...
118
click to vote
WWW
2007
ACM
16 years 3 months ago
2007
ACM
As the data and ontology layers of the Semantic Web stack have achieved a certain level of maturity in standard recommendations such as RDF and OWL, the current focus lies on two ...
125
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...