default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 31
Volume 31, Number 1, May 1998
- Tania Armstrong, Kim Marriott, Peter Schachte
, Harald Søndergaard:
Two Classes of Boolean Functions for Dependency Analysis. 3-45 - Anindya Banerjee, David A. Schmidt:
Stackability in the Simply-Typed Call-by-Value lambda Calculus. 47-73 - Nicolas Halbwachs:
About Synchronous Programming and Abstract Interpretation. 75-89 - Laurent Mauborgne:
Abstract Interpretation Using Typed Decision Graphs. 91-112 - Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson:
Strictness and Totality Analysis. 113-145 - Kwangkeun Yi:
An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs. 147-173
Volume 31, Numbers 2-3, July 1998
- Jean-Marc Andreoli, François Pacull, Daniele Pagani, Remo Pareschi:
Multiparty Negotiation of Dynamic Distributed Object Services. 179-203 - Jan A. Bergstra, Paul Klint:
The Discrete Time TOOLBUS - A Software Coordination Architecture. 205-229 - Paolo Ciancarini, M. Mazza, L. Pazzaglia:
A Logic for a Coordination Model with Multiple Spaces. 231-261 - Pascal Fradet, Daniel Le Métayer:
Structured Gamma. 263-289 - Munehiro Fukuda, Lubomir Bic, Michael B. Dillencourt, Fehmina Merchant:
Distributed Coordination with MESSENGERS. 291-311 - Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink:
Coordination in the ImpUNITY Framework. 313-334 - Antony I. T. Rowstron, Alan Wood:
Solving the Linda Multiple rd Problem Using the Copy-Collect Primitive. 335-358 - Robert Tolksdorf:
Laura - A Service-Based Coordination Language. 359-381
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-12-13 19:00 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:
