3706 search results - page 460 / 742 » The Transformational Approach to Program Development |
161
click to vote
FORTE
1997
15 years 6 months ago
1997
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
127
click to vote
HASKELL
2008
ACM
15 years 6 months ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
157
Voted
ENTCS
2008
15 years 5 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
146
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
—Although many static-analysis techniques have been developed for automatically detecting bugs, such as null dereferences, fewer automated approaches have been presented for anal...
128
click to vote
DSL
2009
15 years 2 months ago
2009
Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key issues are (1) separation of traversal specifications ...