Modelling destructive assignments

Kathryn Francis; Jorge Navas; Peter J. Stuckey

doi:10.1007/978-3-642-40627-0_26

Modelling destructive assignments

Kathryn Francis, Jorge Navas, Peter J. Stuckey

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

2 Citations (Scopus)

Abstract

Translating procedural object oriented code into constraints is required for many processes that reason about the execution of this code. The most obvious is for symbolic execution of the code, where the code is executed without necessarily knowing the concrete values. In this paper, we discuss translations from procedural object oriented code to constraints in the context of solving optimisation problems defined via simulation. A key difficulty arising in the translation is the modelling of state changes. We introduce a new technique for modelling destructive assignments that outperforms previous approaches. Our results show that the optimisation models generated by our technique can be as efficient as equivalent hand written models.

Original language	English
Title of host publication	Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings
Publisher	Springer
Pages	315-330
Number of pages	16
ISBN (Print)	9783642406263
DOIs	https://doi.org/10.1007/978-3-642-40627-0_26
Publication status	Published - 22 Oct 2013
Externally published	Yes
Event	International Conference on Principles and Practice of Constraint Programming 2013 - Uppsala, Sweden Duration: 16 Sept 2013 → 20 Sept 2013 Conference number: 19th http://cp2013.a4cp.org/

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8124 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Conference on Principles and Practice of Constraint Programming 2013
Abbreviated title	CP 2013
Country/Territory	Sweden
City	Uppsala
Period	16/09/13 → 20/09/13
Internet address	http://cp2013.a4cp.org/

Access to Document

10.1007/978-3-642-40627-0_26

Cite this

Francis, K., Navas, J., & Stuckey, P. J. (2013). Modelling destructive assignments. In Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings (pp. 315-330). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8124 LNCS). Springer. https://doi.org/10.1007/978-3-642-40627-0_26

@inproceedings{0e83fa8c404541ec9dc4d5223242d74a,

title = "Modelling destructive assignments",

abstract = "Translating procedural object oriented code into constraints is required for many processes that reason about the execution of this code. The most obvious is for symbolic execution of the code, where the code is executed without necessarily knowing the concrete values. In this paper, we discuss translations from procedural object oriented code to constraints in the context of solving optimisation problems defined via simulation. A key difficulty arising in the translation is the modelling of state changes. We introduce a new technique for modelling destructive assignments that outperforms previous approaches. Our results show that the optimisation models generated by our technique can be as efficient as equivalent hand written models.",

author = "Kathryn Francis and Jorge Navas and Stuckey, {Peter J.}",

year = "2013",

month = oct,

day = "22",

doi = "10.1007/978-3-642-40627-0_26",

language = "English",

isbn = "9783642406263",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "315--330",

booktitle = "Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings",

note = "International Conference on Principles and Practice of Constraint Programming 2013, CP 2013 ; Conference date: 16-09-2013 Through 20-09-2013",

url = "http://cp2013.a4cp.org/",

}

Francis, K, Navas, J & Stuckey, PJ 2013, Modelling destructive assignments. in Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8124 LNCS, Springer, pp. 315-330, International Conference on Principles and Practice of Constraint Programming 2013, Uppsala, Sweden, 16/09/13. https://doi.org/10.1007/978-3-642-40627-0_26

Modelling destructive assignments. / Francis, Kathryn; Navas, Jorge; Stuckey, Peter J.
Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings. Springer, 2013. p. 315-330 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8124 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - Modelling destructive assignments

AU - Francis, Kathryn

AU - Navas, Jorge

AU - Stuckey, Peter J.

N1 - Conference code: 19th

PY - 2013/10/22

Y1 - 2013/10/22

N2 - Translating procedural object oriented code into constraints is required for many processes that reason about the execution of this code. The most obvious is for symbolic execution of the code, where the code is executed without necessarily knowing the concrete values. In this paper, we discuss translations from procedural object oriented code to constraints in the context of solving optimisation problems defined via simulation. A key difficulty arising in the translation is the modelling of state changes. We introduce a new technique for modelling destructive assignments that outperforms previous approaches. Our results show that the optimisation models generated by our technique can be as efficient as equivalent hand written models.

AB - Translating procedural object oriented code into constraints is required for many processes that reason about the execution of this code. The most obvious is for symbolic execution of the code, where the code is executed without necessarily knowing the concrete values. In this paper, we discuss translations from procedural object oriented code to constraints in the context of solving optimisation problems defined via simulation. A key difficulty arising in the translation is the modelling of state changes. We introduce a new technique for modelling destructive assignments that outperforms previous approaches. Our results show that the optimisation models generated by our technique can be as efficient as equivalent hand written models.

UR - http://www.scopus.com/inward/record.url?scp=84885790001&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-40627-0_26

DO - 10.1007/978-3-642-40627-0_26

M3 - Conference Paper

AN - SCOPUS:84885790001

SN - 9783642406263

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 315

EP - 330

BT - Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings

PB - Springer

T2 - International Conference on Principles and Practice of Constraint Programming 2013

Y2 - 16 September 2013 through 20 September 2013

ER -

Francis K, Navas J, Stuckey PJ. Modelling destructive assignments. In Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings. Springer. 2013. p. 315-330. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-40627-0_26

Modelling destructive assignments

Abstract

Publication series

Conference

Access to Document

Other files and links

Cite this