2777 search results - page 280 / 556 » Example centric programming |
243
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
rrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, c...
215
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
The SLG-WAM of XSB Prolog soundly implements the Well-Founded Semantics (WFS) for logic programs, but in a few pathological cases its engine treats atoms as undefined that are true...
243
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
131
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
150
Voted
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
Aspect oriented programming has been proposed as a way to improve modularity of software systems by allowing encapsulation of cross-cutting concerns. To do so, aspects specify whe...