default search action

combined dblp search
author search
venue search
publication search

ask others

23rd LOPSTR 2013: Madrid, Spain

> Home > Conferences and Workshops > LOPSTR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/2013
Gopal Gupta, Ricardo Peña:
Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8901, Springer 2014, ISBN 978-3-319-14124-4
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AransayD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AransayD13
Jesús Aransay, Jose Divasón:
Formalization and Execution of Linear Algebra: From Theorems to Algorithms. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BeckertBKSSU13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BeckertBKSSU13
Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich:
Information Flow in Object-Oriented Software. 19-37
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AlbertGG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AlbertGG13
Elvira Albert, Samir Genaim, Raúl Gutiérrez:
A Transformational Approach to Resource Analysis with Typed-Norms. 38-53
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/0001V13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/0001V13
Naoki Nishida, Germán Vidal:
A Finite Representation of the Narrowing Space. 54-71
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/LiqatKSGLGHE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/LiqatKSGLGHE13
Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder:
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. 72-90
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/DanvyJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/DanvyJ13
Olivier Danvy, Jacob Johannsen:
From Outermost Reduction Semantics to Abstract Machine. 91-108
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Vidal13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Vidal13
Germán Vidal:
Towards Erlang Verification by Term Rewriting. 109-126
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Seki13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Seki13
Hirohisa Seki:
Extending Co-logic Programs for Branching-Time Model Checking. 127-144
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/FakhrySA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/FakhrySA13
Ghada Fakhry, Nada Sharaf, Slim Abdennadher:
Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics. 145-163
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Saeedloei13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Saeedloei13
Neda Saeedloei:
A Logical Encoding of Timed $$\pi $$ -Calculus. 164-182
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/GonzalezIS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/GonzalezIS13
Juan González, David Insa, Josep Silva:
A New Hybrid Debugging Architecture for Eclipse. 183-201
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AntoyJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AntoyJ13
Sergio Antoy, Andy Jost:
Compiling a Functional Logic Language: The Fair Scheme. 202-219
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/PoulsenM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/PoulsenM13
Casper Bach Poulsen, Peter D. Mosses:
Generating Specialized Interpreters for Modular Structural Operational Semantics. 220-236

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.