default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Algebraic Methods in Programming, Volume 84
Volume 84, Number 1, January 2015
- Cristina Cerschi Seceleanu
, Paul Pettersson:
Foreword. 1 - Anh-Dung Phan, Michael R. Hansen:
An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic. 2-18 - Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson:
Verification and code generation for invariant diagrams in Isabelle. 19-36 - Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
A proof system for adaptable class hierarchies. 37-53 - Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen:
A succinct canonical register automaton model. 54-66 - Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Integrating deployment architectures and resource consumption in timed object-oriented models. 67-91 - Pontus Ekberg, Nan Guan, Martin Stigge, Wang Yi:
An optimal resource sharing protocol for generalized multiframe tasks. 92-105
- Ulrich Berger, Jens Blanck, Martín Escardó, Klaus Keimel:
Preface. 107 - Andrej Bauer, Matija Pretnar:
Programming with algebraic effects and handlers. 108-123 - Bo Xie, Ming Quan Fu, Jeffery I. Zucker:
Characterizations of semicomputable sets of real numbers. 124-154 - Jean Goubault-Larrecq:
Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases. 155-184 - Dongsheng Zhao, Weng Kin Ho:
On topologies defined by irreducible sets. 185-195
Volume 84, Number 2, March 2015
- Naoki Nishida, Germán Vidal:
A framework for computing finite SLD trees. 197-217 - Ming Quan Fu, Jeffery I. Zucker:
Models of computation for partial functions on the reals. 218-237 - Max Tschaikowski, Mirco Tribastone:
A unified framework for differential aggregations in Markovian process algebra. 238-258 - Marcel Jackson, Tim Stokes:
Monoids with tests and the algebra of possibly non-halting programs. 259-275 - Inge Bethke, Pieter Hendrik Rodenburg, Arjen Sevenster:
The structure of finite meadows. 276-282
Volume 84, Number 3, May 2015
- Wolfram Kahl, Timothy G. Griffin, Peter Höfner:
Relational and algebraic methods in computer science. 283-284 - Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Jules Villard, Akbar Hussain:
On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra. 285-302 - Han-Hing Dang, Bernhard Möller:
Extended transitive separation logic. 303-325 - Walter Guttmann:
Infinite executions of lazy and strict computations. 326-340 - Rudolf Berghammer, Sebastian Fischer:
Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures. 341-358 - Hitoshi Furusawa, Yasuo Kawahara:
Point axioms and related conditions in Dedekind categories. 359-376 - Nelma Moreira, David Pereira, Simão Melo de Sousa:
Deciding Kleene algebra terms equivalence in Coq. 377-401 - James Cranch, Michael R. Laurence, Georg Struth:
Completeness results for omega-regular algebras. 402-425 - Hitoshi Furusawa, Koki Nishizawa:
Multirelational representation theorems for complete idempotent left semirings. 426-439 - John G. Stell:
Symmetric Heyting relation algebras with applications to hypergraphs. 440-455 - Bernhard Möller, Patrick Roocks:
An algebra of database preferences. 456-481
Volume 84, Number 4, July 2015
- António Ravara, Josep Silva:
Editorial for the JLAMP Special Issue on automated specification and verification of web systems. 483-484 - Gabriel Ciobanu, Ross Horne, Vladimiro Sassone:
Minimal type inference for Linked Data consumers. 485-504 - Musab A. AlTurki, José Meseguer:
Executable rewriting logic semantics of Orc and formal analysis of Orc programs. 505-533 - Amir Jahangard Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi:
Lightweight formalization and validation of ORM models. 534-549
Volume 84, Number 5, September 2015
- Sándor Vágvölgyi:
Symbol different term rewrite systems. 551-575 - Behnam Sattarzadeh, Mehran S. Fallah:
Automated type-based analysis of injective agreement in the presence of compromised principals. 576-610 - Hanne Riis Nielson, Flemming Nielson, Roberto Vigo:
A calculus of quality for robustness against unreliable communication. 611-639 - Shohreh Ajoudanian, Seyed-Hassan Mirian-Hosseinabadi:
Automatic promotional specialization, generalization and analysis of extended feature models with cardinalities in Alloy. 640-667 - Ingo Battenfeld, Matthias Schröder:
Observationally-induced lower and upper powerspace constructions. 668-682
- Alastair F. Donaldson, Vasco T. Vasconcelos:
Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014). 683 - Francesco Tiezzi, Nobuko Yoshida:
Reversible session-based pi-calculus. 684-707 - Tzu-Chun Chen:
Lightening global types. 708-729
Volume 84, Number 6, November 2015
- Marco Bernardo, Daniel Gebler, Michele Loreti:
Editorial for the Special Issue on Open Problems in Concurrency Theory. 731 - Silvia Crafa:
The role of concurrency in an evolutionary view of programming abstractions. 732-741 - Hubert Garavel:
Revisiting sequential composition in process calculi. 742-762 - Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. 763-780 - Iain Phillips, Irek Ulidowski:
Reversibility and asymmetric conflict in event structures. 781-805 - Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu:
A behavioural theory for a π-calculus with preorders. 806-825 - Tomasz Brengos, Marino Miculan, Marco Peressotti:
Behavioural equivalences for coalgebras with unobservable moves. 826-852 - Roberto Bruni, Ugo Montanari, Matteo Sammartino:
A coalgebraic semantics for causality in Petri nets. 853-883 - Kim G. Larsen, Radu Mardare, Bingtian Xue:
Concurrent weighted logic. 884-897
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-11-04 00:26 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:
