default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPLAS 2008: Bangalore, India
- G. Ramalingam:
Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings. Lecture Notes in Computer Science 5356, Springer 2008, ISBN 978-3-540-89329-5 - Dino Distefano:
Abductive Inference for Reasoning about Heaps. 1-2 - Liqian Chen, Antoine Miné, Patrick Cousot:
A Sound Floating-Point Polyhedra Abstract Domain. 3-18 - Alexandru Stefan, Florin Craciun, Wei-Ngan Chin:
A Flow-Sensitive Region Inference for CLI. 19-35 - Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid:
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. 36-52 - Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma:
Static Detection of Place Locality and Elimination of Runtime Checks. 53-74 - Gilles Barthe, César Kunz, Jorge Luis Sacchini:
Certified Reasoning in Memory Hierarchies. 75-90 - Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar:
The Complexity of Coverage. 91-106 - Xin Chen, Yuxin Deng
:
Game Characterizations of Process Equivalences. 107-121 - Kazuyuki Asada:
Extensional Universal Types for Call-by-Value. 122-137 - Simon L. Peyton Jones:
Harnessing the Multicores: Nested Data Parallelism in Haskell. 138 - Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen:
Minimal Ownership for Active Objects. 139-154 - Kohei Suenaga:
Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. 155-170 - Christian Haack, Marieke Huisman, Clément Hurlin:
Reasoning about Java's Reentrant Locks. 171-187 - Stefan Wehr, Manuel M. T. Chakravarty:
ML Modules and Haskell Type Classes: A Constructive Comparison. 188-204 - Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop:
The Essence of Form Abstraction. 205-220 - Roberto M. Amadio, Mehdi Dogguy:
On Affine Usages in Signal-Based Communication. 221-236 - Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet:
Abstraction of Clocks in Synchronous Data-Flow Systems. 237-254 - Radha Jagadeesan:
From Authorization Logics to Types for Authorization. 255 - Peter Thiemann, Stefan Wehr:
Interface Types for Haskell. 256-272 - Matthias Blume, Umut A. Acar, Wonseok Chae:
Exception Handlers as Extensible Cases. 273-289 - Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith:
Sound and Complete Type Inference for a Systems Programming Language. 290-306 - Sergio Maffeis, John C. Mitchell, Ankur Taly:
An Operational Semantics for JavaScript. 307-325 - Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov:
JavaScript Instrumentation in Practice. 326-341
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 2025-12-23 00:31 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:
