![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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
, 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.