default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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, Peter Csaba Ölveczky, José Meseguer:
Modeling and analyzing mobile ad hoc networks in Real-Time Maude. 34-66 - Salvador Lucas, José Meseguer:
Normal forms and normal theories in conditional rewriting. 67-97 - Vlad Rusu, Dorel Lucanu, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu:
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, Dave Clarke, Ina Schaefer:
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering. 123-124 - Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig, Sven Apel:
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, Elvira Albert, Karina Villela:
Resource-usage-aware configuration in software product lines. 173-199 - Fatemeh Ghassemi, Mohammad Reza Mousavi:
Product line process theory. 200-226 - Carlos Camacho, Luis Llana, Alberto Núñez:
Cost-related interface for software product lines. 227-244 - Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck:
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, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
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, Luis Iribarne, Jesús J. López-Fernández, Ángel Mora Segura:
PTL: A model transformation language based on logic programming. 332-366
Volume 85, Number 3, April 2016
- Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira:
Preface for the special issue on Interaction and Concurrency Experience 2014. 367 - Håkon Normann, Christian Johansen, Thomas T. Hildebrandt:
Declarative event based models of concurrency and refinement in psi-calculi. 368-398 - Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
Contracts as games on event structures. 399-424 - Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto:
Relating two automata-based models of orchestration and choreography. 425-446
Volume 85, Number 4, June 2016
- Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller:
Relational and algebraic methods in computer science. 447-448 - José Nuno Oliveira, Victor Cacciari Miraldo:
"Keep definition, change category" - A practical approach to state-based system calculi. 449-474 - Alexander Kurz, Jirí Velebil:
Relation lifting, a survey. 475-499 - John G. Stell, Renate A. Schmidt, David E. Rydeheard:
A bi-intuitionistic modal logic: Foundations and automation. 500-519 - Walter Guttmann:
An algebraic approach to computations with progress. 520-539 - Tadeusz Litak, Szabolcs Mikulás, Jan Hidders:
Relational lattices: From databases to universal algebra. 540-573 - Paul Brunet, Damien Pous:
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, M. Andrew Moshier:
Concurrent Kleene algebra with tests and branching automata. 637-652
Volume 85, Number 5, Part 1, August 2016
- Maurice H. ter Beek, Alexei Lisitsa, Andrei P. Nemytykh, António Ravara:
Automated verification of programs and Web systems. 653-654 - Lorenzo Bettini:
Implementing type systems for the IDE with Xsemantics. 655-680 - Gabriel Ciobanu, Ross Horne, Vladimiro Sassone:
A descriptive type foundation for RDF Schema. 681-706 - María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña:
Debugging Maude programs via runtime assertion checking and trace slicing. 707-736 - Sylvain Hallé, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton, Oussama Beroual:
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, Alcino Cunha, Alexandra Silva:
Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira. 805 - Bernhard K. Aichernig, Elisabeth Jöbstl, Martin Tappler:
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, Juan Manuel Crespo, César Kunz:
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, Alexandra Mendes:
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, Dan Marsden:
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, Ian J. Hayes:
Possible values: Exploring a concept for concurrency. 972-984 - Peter Gorm Larsen, John S. Fitzgerald:
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, Renato Neves, Manuel A. Martins:
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, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins:
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, Jüri Vain:
Guest editors' foreword. 1109 - Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos:
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, Keijo Heljanko:
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 2025-12-01 23:23 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:
