Sciweavers

5377 search results - page 594 / 1076
» Programming Languages For Interactive Computing
Sort
View
OOPSLA
2009
Springer
16 years 1 months ago
The design of a task parallel library
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
ICFP
2004
ACM
16 years 6 months ago
Translating dependency into parametricity
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
Stephen Tse, Steve Zdancewic
DATESO
2006
106views Database» more  DATESO 2006»
15 years 8 months ago
GeKon - Applying Novel Approaches to GIS Development
Abstract. This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is ...
Tomas Richta
218
Voted
ITA
2007
153views Communications» more  ITA 2007»
15 years 6 months ago
Deciding inclusion of set constants over infinite non-strict data structures
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
Manfred Schmidt-Schauß, David Sabel, Marko S...
HUC
2000
Springer
15 years 10 months ago
EVENTMANAGER: Support for the Peripheral Awareness of Events
EVENTMANAGER is a tool that supports peripheral awareness by enabling users to be notified when events of interest take place within their workplace environment. Our initial implem...
Joseph F. McCarthy, Theodore D. Anagnost