default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Algebraic Methods in Programming, Volume 100

> Home > Journals > Journal of Logic and Algebraic Methods in Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 100, November 2018

Special issue on PLACES 2017

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Prasad18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Prasad18
Sanjiva Prasad:
Best-by-simulations: A framework for comparing efficiency of reconfigurable architectures on workloads with deadlines. 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Padovani18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Padovani18
Luca Padovani:
A type checking algorithm for concurrent object protocols. 16-35

Special issue on NWPT 2016

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/BacciBLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BacciBLM18
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare:
On the metric-based approximate minimization of Markov Chains. 36-56
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/ApinisVV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ApinisVV18
Kalmer Apinis, Varmo Vene, Vesal Vojdani:
Demand-driven interprocedural analysis for map-based abstract domains. 57-70
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/LaneseNPV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LaneseNPV18
Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal:
A theory of reversibility for Erlang. 71-97

Special issue on RAMiCS-17

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Joosten18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Joosten18
Sebastiaan J. C. Joosten:
Finding models through graph saturation. 98-112
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Joosten18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Joosten18a
Stef Joosten:
Relation Algebra as programming language using the Ampersand compiler. 113-129

Special issue on PLACES 2017

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/CastegrenWW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/CastegrenWW18
Elias Castegren, Joel Wallin, Tobias Wrigstad:
Bestow and atomic: Concurrent programming using isolation, delegation and grouping. 130-151
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Gregorio-Rodriguez18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Gregorio-Rodriguez18
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres:
An axiomatic semantics for iocos_ conformance relation. 152-184
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/LiQ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LiQ18
Dechao Li, Sijia Qin:
The quintuple implication principle of fuzzy reasoning based on interval-valued S-implication. 185-194

Special issue on DataMod 2017

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/AndreiC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/AndreiC18
Oana Andrei, Muffy Calder:
Data-driven modelling and probabilistic analysis of interactive software usage. 195-214
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/NastiM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/NastiM18
Lucia Nasti, Paolo Milazzo:
A Hybrid Automata model of social networking addiction. 215-229

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.