V. Gupta, R. Jagadeesan, V.A. Saraswat  Home/Search
Context Related
| luc.edu/~radha/ftp/SCPHybridcc.ps.gz depaul.edu/rjagadee...SCPHybridcc.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: luc.edu/~radha/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory of differential equations and real analysis on the one hand, and the theory of programming languages on the other. We take the first steps towards such an integrated theory by presenting a recipe for the construction of continuous programming languages --- languages in which state dynamics can be described by... (Update)
Cited by: More
jcc: Integrating Timed Default Concurrent Constraint.. - Saraswat, Jagadeesan.. (2003) (Correct)
On the Decidability of Timed CCP - Valencia (Correct)
A Temporal Concurrent Constraint Programming Calculus - Valencia, Valencia (2001) (Correct)
Similar documents (at the sentence level):
7.1%: Timed Default Concurrent Constraint Programming - Saraswat, Jagadeesan, Gupta (1996) (Correct)
7.0%: Programming in Hybrid Constraint Languages - Gupta, Jagadeesan, Saraswat.. (1995) (Correct)
Active bibliography (related documents): More All
0.9: Models for Concurrent Constraint Programming - Gupta, Jagadeesan, Saraswat (1996) (Correct)
0.6: Stochastic Processes as Concurrent Constraint Programs.. - Gupta, al. (1999) (Correct)
0.5: Hybrid cc, Hybrid Automata and Program Verification.. - Gupta, Jagadeesan.. (Correct)
Similar documents based on text: More All
0.3: Programming in Timed Concurrent Constraint Languages - Saraswat, Jagadeesan, Gupta (1994) (Correct)
0.1: Constraint Logic Programming with Dynamic Scheduling: A.. - Falaschi, Gabbrielli (1996) (Correct)
0.1: Probabilistic Concurrent Constraint Programming - Gupta, Jagadeesan, Saraswat (1997) (Correct)
Related documents from co-citation: More All
18: Timed Default Concurrent Constraint Programming - Saraswat, Jagadeesan et al. - 1996
17: Foundations of timed concurrent constraint programming - Saraswat, Jagadeesan et al. - 1994
15: Semantic foundation of concurrent constraint programming - Saraswat, Rinard et al. - 1991
BibTeX entry: (Update)
Vineet Gupta, Radha Jagadeesan, and Vijay Saraswat. Computing with continuous change. Science of Computer Programming. To appear. http://citeseer.ist.psu.edu/39240.html More
@article{ gupta98computing,
author = "Vineet Gupta and Radha Jagadeesan and Vijay A. Saraswat",
title = "Computing with Continuous Change",
journal = "Science of Computer Programming",
volume = "30",
number = "1-2",
pages = "3-49",
year = "1998",
url = "citeseer.ist.psu.edu/39240.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1991
850 A logic for default reasoning (context) - Reiter - 1980
216 Theoretical Computer Science (context) - Milner, synchrony - 1983
216 Semantic foundations of concurrent constraint programming - Saraswat, Rinard et al. - 1991
211 The synchronous approach to reactive and realtime systems (context) - Benveniste, Berry
175 Logics and models of real time: a survey - Alur, Henzinger
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1993
139 From timed to hybrid systems - Maler, Manna et al.
131 Readings in Qualitative Reasoning about Physical Systems (context) - Weld, de Kleer - 1989
121 Programming real time applications with signal (context) - Le Guernic, Le Borgne et al.
117 Qualitative Simulation - Kuipers - 1994
116 From ATP to timed graphs and hybrid systems - Nicollin, Sifakis et al.
114 Programming Paradigms of the Andorra Kernel Language - Janson, Haridi - 1991
112 Statecharts: A visual approach to complex systems (context) - Harel - 1987
72 Fully abstract models of typed lambda-calculi (context) - Milner - 1977
72 Hytech : The cornell hybrid technology tool - Henzinger, Ho
65 Communicating reactive processes - Berry, Ramesh et al. - 1993
55 volume 736 of Lecture Notes in Computer Science (context) - Grossman, Nerode et al. - 1993
50 Timed Default Concurrent Constraint Programming - Saraswat, Jagadeesan et al. - 1995
49 Preemption in concurrent systems - Berry - 1993
38 A formal approach to reactive systems software: A telecommun.. (context) - Jagadeesan, Puchol et al. - 1996
33 A language for compositional specification and verification .. (context) - Clarke, Long et al.
31 Real-time programming: General purpose or special-purpose la.. (context) - Berry - 1989
28 Safety property verification of esterel programs and applica.. - Jagadeesan, Puchol et al. - 1995
28 Multiple agent hybrid control architecture (context) - Nerode, Kohn
28 Programming in timed concurrent constraint languages - Saraswat, Jagadeesan et al. - 1994
27 Computer Science Department (context) - Van Hentenryck, Saraswat et al. - 1992
25 Tbag: A high level framework for interactive - Elliott, Schechter et al. - 1994
25 Towards refining temporal specifications into hybrid systems - Henzinger, Manna et al.
24 The Kluwer international series in Engineering and Computer .. (context) - Halbwachs, of - 1993
19 The synchronous programming language lustre (context) - Halbwachs, Caspi et al.
17 The esterel programming language: Design (context) - Berry, Gonthier - 1992
16 Incremental development of an HDLC entity in esterel (context) - Berry, Gonthier - 1991
14 Hybrid systems: The signal approach (context) - Benveniste, Le Borgne et al.
14 A model of a photocopier paper path (context) - Gupta, Saraswat et al. - 1995
13 Another Look at Real-time Systems (context) - Benveniste, Berry - 1991
13 Doctoral Dissertation Award and Logic Programming Series (context) - Saraswat, programming - 1993
12 A compositional approach to the design of hybrid systems (context) - Hooman
10 Real time: Theory in Practice (context) - de Bakker, Huizing et al. - 1992
9 Hybrid dynamical systems and the signal language (context) - Benveniste, Le Guernic - 1990
7 A fully-abstract semantics for a first order functional lang.. (context) - Jagadeesan, Panangaden et al. - 1991
7 chapter On the development of reactive systems (context) - Harel, Pnueli et al. - 1985
7 chapter Object-oriented programming in Oz (context) - Smolka, Werz et al. - 1994
6 Semantical paradigms (context) - Meyer - 1988
5 hybrid automata and program verification (context) - Gupta, Jagadeesan et al. - 1996
4 LCF considered a programming language (context) - Plotkin - 1977
3 Utilisation d'esterel dans un contexte ansynchrone: une appl.. (context) - Coste-Maniere - 1989
1 Abridged version appeared as Parallelism as a Structuring Te.. (context) - Murakami, Sethi et al. - 1990
1 Programming in hybrid concurrent constraint languages (context) - Gupta, Jagadeesan et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.luc.edu/~radha/pubs.html): More
Design and Implementation of Triveni: a.. - Colby.. (1998) (Correct)
Full Abstraction for PCF (Extended Abstract) - Abramsky, Malacaria, Jagadeesan (Correct)
Hybrid cc, Hybrid Automata and Program Verification.. - Gupta, Jagadeesan.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC