3713 search results - page 512 / 743 » Constructing a Calculus of Programs |
119
Voted
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...
225
Voted
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
136
click to vote
COORDINATION
2009
Springer
16 years 3 months ago
2009
Springer
Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A process-oriented design is typically ...
223
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
202
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...