default search action
Journal of Logic and Algebraic Methods in Programming, Volume 85
Volume 85, Number 1, Part 1, January 2016
- Santiago Escobar
:
Rewriting logic and its applications (extended selected papers from WRLA 2014). 1-2 - Thomas Genet:
Termination criteria for tree automata completion. 3-33 - Si Liu
Modeling and analyzing mobile ad hoc networks in Real-Time Maude. 34-66 - Salvador Lucas
Normal forms and normal theories in conditional rewriting. 67-97 - Vlad Rusu, Dorel Lucanu
Language definitions as rewrite theories. 98-120
Volume 85, Number 1, Part 2, January 2016
- Don S. Batory:
Foreword to the Special Issue on Formal Methods for Software Product Line Engineering. 121-122 - Maurice H. ter Beek
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering. 123-124 - Alexander von Rhein
Variability encoding: From compile-time to load-time variability. 125-145 - Qinglei Zhang, Ridha Khédri
On the weaving process of aspect-oriented product family algebra. 146-172 - Damiano Zanardini
Resource-usage-aware configuration in software product lines. 173-199 - Fatemeh Ghassemi, Mohammad Reza Mousavi:
Product line process theory. 200-226 - Carlos Camacho
Cost-related interface for software product lines. 227-244 - Malte Lochau, Stephan Mennicke
Incremental model checking of delta-oriented software product lines. 245-267
Volume 85, Number 2, February 2016
- Rudolf Berghammer, Peter Höfner, Insa Stucke:
Cardinality of relations and relational approximation algorithms. 269-286 - Maurice H. ter Beek
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. 287-315 - Gulay Ünel:
Incremental reasoning on monadic second-order logics with logic programming. 316-331 - Jesús Manuel Almendros-Jiménez
PTL: A model transformation language based on logic programming. 332-366
Volume 85, Number 3, April 2016
- Ivan Lanese, Alberto Lluch-Lafuente
Preface for the special issue on Interaction and Concurrency Experience 2014. 367 - Håkon Normann, Christian Johansen
Declarative event based models of concurrency and refinement in psi-calculi. 368-398 - Massimo Bartoletti, Tiziana Cimoli
Contracts as games on event structures. 399-424 - Davide Basile
Relating two automata-based models of orchestration and choreography. 425-446
Volume 85, Number 4, June 2016
- Peter Höfner, Peter Jipsen
Relational and algebraic methods in computer science. 447-448 - José Nuno Oliveira
"Keep definition, change category" - A practical approach to state-based system calculi. 449-474 - Alexander Kurz
Relation lifting, a survey. 475-499 - John G. Stell, Renate A. Schmidt
A bi-intuitionistic modal logic: Foundations and automation. 500-519 - Walter Guttmann
An algebraic approach to computations with progress. 520-539 - Tadeusz Litak
Relational lattices: From databases to universal algebra. 540-573 - Paul Brunet
Algorithms for Kleene algebra with converse. 574-594 - Takeo Uramoto
Canonical finite models of Kleene algebra with tests. 595-616 - Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu:
Developments in concurrent Kleene algebra. 617-636 - Peter Jipsen
Concurrent Kleene algebra with tests and branching automata. 637-652
Volume 85, Number 5, Part 1, August 2016
- Maurice H. ter Beek
Automated verification of programs and Web systems. 653-654 - Lorenzo Bettini
Implementing type systems for the IDE with Xsemantics. 655-680 - Gabriel Ciobanu
A descriptive type foundation for RDF Schema. 681-706 - María Alpuente
Debugging Maude programs via runtime assertion checking and trace slicing. 707-736 - Sylvain Hallé
Declarative layout constraints for testing web applications. 737-758 - Ramaswamy Ramanujam, S. Sheerazuddin
Realizable temporal logics for web service choreography. 759-781 - Antonina Nepeivoda
Ping-pong protocols as prefix grammars: Modelling and verification via program transformation. 782-804
Volume 85, Number 5, Part 2, August 2016
- Luís Soares Barbosa
Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira. 805 - Bernhard K. Aichernig
Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. 806-823 - Roland Carl Backhouse
Factor theory and the unity of opposites. 824-846 - Gilles Barthe
Product programs and relational program logics. 847-859 - Eerke A. Boiten
Diversity and adjudication. 860-866 - Raymond T. Boute
Why mathematics needs engineering. 867-878 - Yu-Hsi Chiang, Shin-Cheng Mu
Formal derivation of Greedy algorithms from relational specifications: A tutorial. 879-905 - João F. Ferreira
A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra. 906-920 - Jeremy Gibbons
Kernels, in a nutshell. 921-930 - Ralf Hinze
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. 931-951 - Peter Höfner, Bernhard Möller:
Extended Feature Algebra. 952-971 - Cliff B. Jones
Possible values: Exploring a concept for concurrency. 972-984 - Peter Gorm Larsen
The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA. 985-998 - Hugo Daniel Macedo
Gaussian elimination is not optimal, revisited. 999-1010 - Alexandre Madeira
An exercise on the generation of many-valued dynamic logics. 1011-1037 - David A. Naumann
Towards patterns for heaps and imperative lambdas. 1038-1056 - Renato Neves
Continuity as a computational effect. 1057-1085 - Tarmo Uustalu
A divertimento on MonadPlus and nondeterminism. 1086-1094 - Michael Winter
Dependencies in relational models of databases. 1095-1107
Volume 85, Number 6, October 2016
- Tarmo Uustalu
Guest editors' foreword. 1109 - Abel Armas-Cervantes
Reduction of event structures under history preserving bisimulation. 1110-1130 - Harsh Beohar, Mohammad Reza Mousavi
Input-output conformance testing for software product lines. 1131-1153 - Alexandru F. Iosif-Lazar, Andrzej Wasowski
Trustworthy variant derivation with translation validation for safety critical product lines. 1154-1176 - Wolfgang Jeltsch:
Abstract categorical semantics for resourceful functional reactive programming. 1177-1200 - Christian Johansen
ST-structures. 1201-1233 - Ka I Pun, Martin Steffen, Volker Stolz:
Effect-polymorphic behaviour inference for deadlock checking. 1234-1267 - Jurriaan Rot, Marcello M. Bonsangue
Structural congruence for bialgebraic semantics. 1268-1291 - Olli Saarikivi
LCTD: Test-guided proofs for C programs on LLVM. 1292-1317
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-19 22:17 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: