## Andy King

*Revised Selected Papers of the 17th International Symposium on Logic-Based Program Synthesis and Transformation*

LOPSTR, 2007.

@proceedings{LOPSTR-2007, address = "Kongens Lyngby, Denmark", editor = "Andy King", isbn = "978-3-540-78768-6", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Revised Selected Papers of the 17th International Symposium on Logic-Based Program Synthesis and Transformation}", volume = 4915, year = 2007, }

### Contents (14 items)

- LOPSTR-2007-Codish #proving #termination
- Proving Termination with (Boolean) Satisfaction (MC), pp. 1–7.
- LOPSTR-2007-NguyenGSS #analysis #dependence #graph #logic programming #source code #termination
- Termination Analysis of Logic Programs Based on Dependency Graphs (MTN, JG, PSK, DDS), pp. 8–22.
- LOPSTR-2007-AlbertGGP #online #partial evaluation #type system
- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation (EA, JPG, MGZ, GP), pp. 23–42.
- LOPSTR-2007-DegraveV #normalisation #source code #towards
- Towards a Normal Form for Mercury Programs (FD, WV), pp. 43–58.
- LOPSTR-2007-WeertSD #program transformation
- Aggregates for CHR through Program Transformation (PVW, JS, BD), pp. 59–73.
- LOPSTR-2007-FischerSTV #functional #lazy evaluation #partial evaluation #source code
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (SF, JS, ST, GV), pp. 74–89.
- LOPSTR-2007-BrasselC
- Denotation by Transformation (BB, JC), pp. 90–105.
- LOPSTR-2007-AbdennadherS #approach #constraints #generative #rule-based #theorem proving
- Generation of Rule-Based Constraint Solvers: Combined Approach (SA, IS), pp. 106–120.
- LOPSTR-2007-ZhangN #constraints #scalability #theorem proving #unification #using
- A Scalable Inclusion Constraint Solver Using Unification (YZ, FN), pp. 121–137.
- LOPSTR-2007-CasasCH #algorithm #independence #logic programming #source code #strict
- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs (AC, MC, MVH), pp. 138–153.
- LOPSTR-2007-Mendez-LojoNH #analysis #approach #flexibility #object-oriented #source code
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs (MML, JAN, MVH), pp. 154–168.
- LOPSTR-2007-FerrariFMO #generative #modelling #object-oriented
- Snapshot Generation in a Constructive Object-Oriented Modeling Language (MF, CF, AM, MO), pp. 169–184.
- LOPSTR-2007-Poernomo #communication #process #synthesis
- Synthesis of Data Views for Communicating Processes (IP), pp. 185–200.
- LOPSTR-2007-BossiPR #algebra #process #refinement #security
- Action Refinement in Process Algebra and Security Issues (AB, CP, SR), pp. 201–217.

5 ×#source code

2 ×#analysis

2 ×#approach

2 ×#constraints

2 ×#generative

2 ×#logic programming

2 ×#object-oriented

2 ×#partial evaluation

2 ×#process

2 ×#termination

2 ×#analysis

2 ×#approach

2 ×#constraints

2 ×#generative

2 ×#logic programming

2 ×#object-oriented

2 ×#partial evaluation

2 ×#process

2 ×#termination