#### Filter Results:

- Full text PDF available (83)

#### Publication Year

1985

2016

- This year (0)
- Last 5 years (22)
- Last 10 years (43)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Philippe Charles, Christian Grothoff, +5 authors Vivek Sarkar
- OOPSLA
- 2005

It is now well established that the device scaling predicted by Moore's Law is no longer a viable option for increasing the clock frequency of future uniprocessor systems at the rate that had been sustained during the last two decades. As a result, future systems are rapidly moving from uniprocessor to multiprocessor configurations, so as to use parallelism… (More)

- Vijay A. Saraswat, Martin C. Rinard
- POPL
- 1989

This paper presents a new and very rich class of (concurrent) programming languages, based on the notion of computing with <italic>partial information</italic>, and the concomitant notions of consistency and entailment.<supscrpt>1</supscrpt> In this framework, computation emerges from the interaction of concurrently executing agents that communicate by… (More)

Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of store-as-constraint and process as information transducer. The store-as-valuation conception of von Neumann computing is replaced by the notion that the store is a constraint (a finite representation of a possibly infinite set of… (More)

Sketching is a software synthesis approach where the programmer develops a partial implementation - a sketch - and a separate specification of the desired functionality. The synthesizer then completes the sketch to behave like the specification. The correctness of the synthesized implementation is guaranteed by the compiler, which allows, among other… (More)

- Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
- LICS
- 1994

We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of process algebras, we develop some combinators expressible in this model, and reconcile their operational, logical and denotational character. We show how programs may be compiled into… (More)

- Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
- Constraint Programming
- 1994

. This paper describes the design, implementation, and applications of the constraint logic language cc(FD). cc(FD) is a declarative nondeterministic constraint logic language over nite domains based on the cc framework [33], an extension of the CLP scheme [21]. Its constraint solver includes (non-linear) arithmetic constraints over natural numbers which… (More)

- Vijay A. Saraswat
- APLAS
- 2007

Two major trends are converging to reshape the landscape of concurrent object-oriented programming languages. First, trends in modern architectures (multi-core, accelerators, high performance clusters such as Blue Gene) are making concurrency and distribution inescapable for large classes of OO programmers. Second, experience with first-generation… (More)

- Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
- J. Symb. Comput.
- 1996

Synchronous programming (Berry (1989)) is a powerful approach to programming reactive systems. Following the idea that “processes are relations extended over time” (Abramsky (1993)), we propose a simple but powerful model for timed, determinate computation, extending the closure-operator model for untimed concurrent constraint programming (CCP). In… (More)

- Kenneth M. Kahn, Vijay A. Saraswat
- VL
- 1990

Constraint logic programming languages such as CHIP have demonstrated the practicality of declar ative languages supporting consistency techniques and nondeterminism Nevertheless they su er from the black box e ect the programmer must work with a monolithic unmodi able inextensible constraint solver This problem can be overcome within the logically and… (More)