default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 30
Volume 30, Numbers 1-2, January 1998
- Philippe Codognet:
Foreword: Concurrent Constraint Programming. 1-2 - Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Computing with Continuous Change. 3-49 - Francisco Bueno, Manuel V. Hermenegildo
, Ugo Montanari, Francesca Rossi:
Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. 51-82 - Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou:
Newton - Constraint Programming over Nonlinear Constraints. 83-118 - Roberto Bagnara:
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages. 119-155 - Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock:
GOFFIN: Higher-Order Functions Meet Concurrent Constraints. 157-199 - Uwe M. Borghoff, Remo Pareschi, Francesca Arcelli Fontana, Ferrante Formato:
Constraint-Based Protocols for Distributed Problem Solving. 201-225 - Thang Nguyen, Yves Deville:
A Distributed Arc-Consistency Algorithm. 227-250
Volume 30, Number 3, March 1998
- Eric W. van Ammers:
Program Families: Program Construction by Context Independent Refinements. 251-286 - Mark Moir:
Fast, Long-Lived Renaming Improved and Simplified. 287-308 - Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
State Space Reduction by Non-Standard Semantics for Deadlock Analysis. 309-338
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
