Selected Publications of Kim Marriott

· Books

· Visual Languages: Theory and Environments

· Visual Languages: Cognition

· Constraint Based Graphics: Layout & Adaptive Layout of Diagrams

· Constraint Based Graphics: Layout & Adaptive Layout of Documents

· Constraint Based Graphics: HCI, Algorithms, Toolkits, Etc

· Constraint Programming Languages: HAL and the G12 Project

· Programming Language Semantics, Debugging, Analysis & Optimisation

· Other

Books

A. Blackwell, K. Marriott and A. Shimo jima, editors. Diagrammatic Representation and Inference: Proceedings of the Third International Conference (Diagrams 2004), 2004. LNCS 2980 Springer-Verlag.
K. Marriott and P. Stuckey. Programming With Constraints: An Introduction. 1998. The MIT Press.
K. Marriott and B. Meyer, editors. Theory of Visual Languages. 1998. Springer-Verlag.

Visual Languages: Theory and Environments

B. Meyer, K. Marriott, A. Bickerstaffe and L. Knipping. Intelligent diagramming in the electronic online classroom. IEEE 2nd Int. Conf. on Human System Interaction (HSI' 09) pp. 177-183. (Best Paper in the area of Education and Training). IEEE, 2009
A C Bickerstaffe, A A Lane, B Meyer and K G Marriott. Developing domain-specific gesture recognizers for smart diagram environments. Proc. of the Seventh IAPR International Workshop on Graphics Recognition (GREC), Springer-Verlag LNCS 5046, pp. 145-156. 2008.
A. Jansen, K. Marriott, and B. Meyer. CIDER: A component-based toolkit for creating smart diagram environments. Proc. of the 2003 International Conference on Visual Languages and Computing (VLC 2003), Miami, Sep. 2003, pp 353-359. (PDF)
S.S. Chok and K. Marriott Automatic generation of intelligent diagram editors. ACM Trans. Computer-Human Interaction 10(3): 244-276, 2003. (PDF)
B. Meyer, K. Marriott and G. Allwein. Intelligent diagrammatic interfaces: State of the art. In Diagrammatic Formalisms and Reasoning. Springer-Verlag. 2001. (PDF)
P. Bottoni, B. Meyer, K. Marriott and F. P. Presicce. Deductive Parsing of Visual Languages. 4th Int. Conf. on Logical Aspects of Computational Linguistics (LACL), pages 79-94, Le Croisic, France, June 2001.
K. Marriott and B. Meyer. Using non-standard logics for diagram interpretation. Diagrams 2000: An International Conference on the Theory and Applications of Diagrams, pages 42-57, Edinburgh, Sep. 2000.
K. Marriott, B. Meyer and K. Wittenburg. A survey of visual language specification and recognition. In K. Marriott and B. Meyer, editors, Theory of Visual Languages. 78 pages. Springer-Verlag. 1998.
K. Marriott and B. Meyer. The CCMG visual language hierarchy. In K. Marriott and B. Meyer, editors, Theory of Visual Languages. 38 pages. Springer-Verlag. 1998.
S.S. Chok and K. Marriott. Automatic construction of intelligent diagram editors. ACM 11th Symposium on User Interface Software and Technology (UIST), pages 185-194. Orlando, Florida, Nov. 1998.
K. Marriott and B. Meyer. On the classification of visual languages by grammar hierarchies. Journal of Visual Languages and Computing 8(4): 375-402, 1997.
K. Marriott and B. Meyer. Towards a hierarchy of visual languages. IEEE Symposium on Visual Languages, pages 196-203, Boulder, USA. Sep. 1996.
S.S. Chok and K. Marriott. Automatic construction of user interfaces from constraint multiset grammars. IEEE Symposium on Visual Languages, pages 242-250. Darmstadt, Germany. Sep. 1995.
S.S. Chok and K. Marriott. Parsing visual languages. In R. Kotagiri, editor, Proc. Eighteenth Australasian Computer Science Conf., Australian Computer Science Comm. 17 (1): 90-98, 1995.
K. Marriott. Constraint multiset grammars. IEEE Symposium on Visual Languages, pages 118-125. St Louis, USA. Oct. 1994.
R. Helm and K. Marriott. A declarative specification and semantics for visual languages. Journal of Visual Languages and Computing 2: 311-331, 1991.
R. Helm, K. Marriott and M. Odersky. Building visual language parsers. Proc. ACM Conf. Human Factors in Computing. New Orleans, USA. ACM Press, 1991.
R. Helm and K. Marriott. Declarative specification of visual languages. Proc. 1990 IEEE Workshop on Visual Languages. Stokie, USA. IEEE Computing Society Press, 1990.
R. Helm and K. Marriott. Declarative graphics. In A. Bond, editor, Prolog and Its Applications: A Book of Readings. 14 pages. MIT Press, 1990.
R. Helm and K. Marriott. Declarative graphics. Proc. of the 3rd International Conference on Logic Programming, pages 513-527. Springer-Verlag LNCS 225. London, England. 1986.

Visual Languages: Cognition

T. Jansen, K. Marriott and G. Yelland. Parsing of algebraic expressions by experienced users of mathematics. The European Journal of Cognitive Psychology 19(2):286–320, 2007.
T. Jansen, K. Marriott and G. Yelland. Comprehension of algebraic expressions by experienced users of mathematics. The Quarterly Journal of Experimental Psychology (Section A: Human Experimental Psychology) 56A(1): 3-30, 2003.
T. Jansen, A. Blackwell and K. Marriott. A tool for tracking visual attention: The RFV. Journal of Behaviour Research Methods, Instruments and Computers 35(1): 57-69, 2003.
A. Blackwell, A. Jansen and K. Marriott. Restricted Focus Viewer: A tool for tracking visual attention. Diagrams 2000: An International Conference on the Theory and Applications of Diagrams, pages 162-177, Edinburgh, Sep. 2000. (PS)
A. Jansen, K. Marriott and G. Yelland. Constituent structure in mathematical expressions. Proceedings of the Twenty Second Annual Conference of the Cognitive Science Society, pages 238 -243, Philadelphia, August, 2000.
A. Jansen, K. Marriott and G. Yelland. Perceiving structure in mathematical expressions. Proceedings of the Twenty First Annual Conference of the Cognitive Science Society, pages 229-233. Vancouver, August, 1999.

Constraint Based Graphics: Layout & Adaptive Layout of Diagrams

K. Marriott, P. Sbarski, T. van Gelder, D. Prager and A. Bulka. Hi-trees and their layout. To appear IEEE Trans. on Visualization and Computer Graphics. (PDF)
F Schreiber, T Dwyer, K Marriott and M Wybrow. A generic algorithm for layout of biological networks. BMC Bioinformatics 10(1): 375, BioMed Central, 2009 (DOI)
M Wybrow, K Marriott and P Stuckey. Orthogonal connector routing. Proceedings of 17th International Symposium on Graph Drawing (GD'09), to appear 2010. (PDF)
T Dwyer, K Marriott, and M Wybrow. Topology preserving constrained graph layout. In Proc. 16th Intl. Symp. Graph Drawing (GD'08), volume 5417 of Lecture Notes in Computer Science, pages 230-241. Springer, 2009. (PDF)
T Dwyer, K Marriott, and M Wybrow. Dunnart: A constraint-based network diagram authoring tool. In Proc. 16th Intl. Symp. Graph Drawing (GD'08), volume 5417 of Lecture Notes in Computer Science, pages 420-431. Springer, 2009. (PDF)
T Dwyer, K Marriott, F Schreiber, P Stuckey, M Woodward, and M Wybrow. Exploration of networks using overview+detail with constraint-based cooperative layout. IEEE Transactions on Visualization and Computer Graphics, 14(6):1293-1300, 2008. (PDF)
P. Sbarski, K. Marriott, T. van Gelder, D. Prager and A. Bulka. Visualizing argument structure. Proc. 4th International Symposium on Visual Computing (ISVC08). Lecture Notes in Computer Science, Springer-Verlag, Berlin Germany, pp. 129-138, 2008.
T Dwyer, Y Koren and K Marriott: Constrained graph layout by stress majorization and gradient projection. Discrete Mathematics 309(7):1895 - 1908, 2009. (PDF)
T Dwyer and K Marriott. Constrained Stress Majorization Using Diagonally Scaled Gradient Projection. In Proc. 15th Intl. Symp. Graph Drawing (GD '07), volume 4875 of LNCS. Springer, 2008. (PDF)
K. Marriott and P. Sbarski. Compact layout of layered trees. Thirtieth Australasian Computer Science Conference (ACSC2007), Australian Computer Society Inc, Sydney NSW Australia, pp. 7-14. 2007.
T. Dwyer, K. Marriott and M. Wybrow. Integrating edge routing into force-directed layout. Proc. 14th Intl. Symp. Graph Drawing (GD 06), LNCS, vol 4372, Springer-Verlag, Germany, pp. 8-19, 2007.
T. Dwyer, Y. Koren, and K. Marriott. IPSep-CoLa: An incremental procedure for separation constraint layout of graphs. Accepted IEEE Symposium on Information Visualisation (InfoVis). Published in IEEE Trans. on Visualization and Computer Graphics. September/October 2006 (Vol. 12, No. 5) pp. 821-828 . (http)
T. Dwyer, Y. Koren and K. Marriott. Drawing Directed Graphs Using Quadratic Programming, IEEE Transactions on Visualization and Computer Graphics 12(4): 536-548, 2006.
M. Wybrow, K. Marriott, and P.J. Stuckey. Incremental connector routing. Proc. 13th Intl. Symp. Graph Drawing (GD 05), LNCS 3843, pages 446--457. Springer-Verlag, 2006. (PDF)
T. Dwyer, Y. Koren, and K. Marriott. Stress majorization with orthogonal ordering constraints. Proc. 13th Intl. Symp. Graph Drawing (GD 05), LNCS 3843, pp 141-152, Springer, 2006. (PDF)
T. Dwyer, K. Marriott, and P. Stuckey. Fast node overlap removal. Proc. 13th Intl. Symp. Graph Drawing (GD 05), LNCS 3843, pp 153-164. Springer, 2006. (PDF) Also please see a correction to one of the algorithms in T. Dwyer, K. Marriott, and P. Stuckey. Fast node overlap removal-Addendum (PDF)
K. Marriott, P. Moulder, L. Hope and C. Twardy. Layout of Bayesian networks. Twenty-Eighth Australasian Computer Science Conference (ACSC2005), Newcastle, Jan. 2005, pp 97-106. (PDF)
K. Marriott, B. Meyer and P. Stuckey. Towards flexible graphical communication using adaptive diagrams. Advances in Computer Science-ASIAN'04 (Ninth Asian Computing Science Conference), pages 380-394. Springer-Verlag. Chiang Mai, Thailand, Dec. 2004. (PDF)
K. Marriott and P.J. Stuckey. NP-completeness of unordered tree layout. Journal of Graph Algorithms and Applications. 8(3):295–312, 2004. (PDF)
C. McCormack, K. Marriott and B. Meyer. Adaptive layout using one-way constraints in SVG. 3rd Annual Conference on Scalable Vector Graphics (SVG Open). (24 pages). Japan, Sep. 2004. (HTML)
K. Marriott, P. Stuckey, V. Tam and W. He. Removing node overlapping in graph layout using constrained optimization. Constraints 8(2): 143-172, 2003. (PDF)
K. Marriott, B. Meyer, and L. Tardif. Fast and efficient client-side adaptivity for SVG. ACM Conference on the World Wide Web (WWW 2002), Honolulu, May 2002.
T. Hansen, K. Marriott, B. Meyer and P. Stuckey. Flexible Graph Layout for the Web. Journal of Visual Languages and Computing, 2002. (PDF)
G. Badros, J. Tirtowidjojo, K. Marriott, B. Meyer, W. Portnoy, and A. Borning. A constraint extension to scalable vector graphics. ACM Conference on the World Wide Web (WWW10), pages 489-498, Hong Kong, May 2001.
S.S. Chok, K. Marriott and T. Paton. Constraint-based diagram beautification. IEEE Symposium on Visual Languages (VL'99), pages 12-19. Tokyo, Sep. 1999. (PDF)
W. He and K. Marriott. Removing node overlapping using constrained optimisation Twenty-First Australasian Computer Science Conf.. pages 169-180. Perth, Feb. 1998
W. He and K. Marriott. Constrained graph layout. Constraints 3(4): 289-314. 1998. (PDF)
W. He and K. Marriott. Constrained graph layout. Graph Drawing '96, pages 217-232. Springer-Verlag (LNCS 1190). Berkely, USA. Sep. 1996.

Constraint Based Graphics: Layout & Adaptive Layout of Documents

N. Hurst, W. Li and K. Marriott. Review of automatic document formatting. Proc. of the 2009 ACM Symp. on Document Engineering (DocEng), pp. 99-108. ACM Press, 2009.
C Braganza, K Marriott, P Moulder, M Wybrow and T Dwyer. Scrolling behaviour with single- and multi-column layout. WWW '09: Proceedings of the 18th international conference on World Wide Web, pages 831–840. ACM Press, 2009. (PDF)
C. McCormack, K. Marriott and B. Meyer. Authoring adaptive diagrams. Proc. of the 2008 ACM Symp. on Document Engineering (DocEng), ACM, New York NY USA, pp. 154--163, 2008.
N. Hurst and K. Marriott. Satisficing scrolls: a shortcut to satisfactory layout. Proc. of the 2008 ACM Symp. on Document Engineering (DocEng), ACM, New York NY USA, pp. 131--140, 2008.
K Marriott, P Moulder and N Hurst. Automatic float placement in multi-column documents, Proc. of the 2007 ACM Symp. on Document Engineering, ACM, New York NY USA,, pp. 125-134. 2007
N Hurst and K Marriott. Approximating text by its area. Proc. of the 2007 ACM Symp. on Document Engineering, ACM, New York NY USA, pp. 147-149. 2007
N. Hurst, K. Marriott and D. Albrecht. Solving the simple continuous table layout problem. Proc. of the 2006 ACM Symposium on Document Engineering (DocEng), Amsterdam, The Netherlands. ACM Press, Oct. 2006, pp 28-30. (PDF)
N. Hurst, K. Marriott and P. Moulder Minimum size text containment shapes. Proc. of the 2006 ACM Symposium on Document Engineering (DocEng), Amsterdam, The Netherlands. ACM Press, Oct. 2006, pp 3-12. (PDF)
N Hurst, K Marriott and P Moulder. Toward Tighter Tables. Proceedings of the 2005 ACM Symposium on Document Engineering (DocEng 2005), Bristol, UK, Nov. 2005, ACM Press, pp 74-83. (PDF)
N. Hurst, K. Marriott and P. Moulder. COBWEB: A COnstraint-Based WEB browser. 26th Australasian Computer Science Conf. (ACSC), pages 247-254 Adelaide, Feb. 2003.
A. Borning, R. Lin and K. Marriott. Constraint-based document layout for the Web. ACM/Springer Verlag Multimedia Systems Journal 8(3): 177-189, 2000. (PDF)
R. Lin, K. Marriott and P. Stuckey. Flexible font-size specification in Web documents. Proceedings of the 22nd Australasian Computer Science Conference, pages 15-26, 1999.
G. Badros, A. Borning, K. Marriott and P. Stuckey. Constraint cascading style sheets for the Web. ACM 12th Symposium on User Interface Software and Technology (UIST), Nov. 1999.
A. Borning, R. Lin and K. Marriott. Constraints for the Web. Fifth ACM International Multi-Media Conference, pages 173-182. Seattle, Nov. 1997.

Constraint Based Graphics: HCI, Algorithms, Toolkits, Etc

G. Gange , K. Marriott, and P. Stuckey. Smooth linear approximation of non-overlap constraints. Proc. of 5th International Conference on the Theory and Application of Diagrams (Diagrams 2008). Springer Verlag LNAI 5223, pp. 45--59, 2008.
M. Wybrow, K. Marriott, L. McIver and P. Stuckey. Comparing one-way and multi-way constraints for diagram editing. ACM Trans. Computer-Human Interaction . 14(4) 2008. (PDF)
M. Christie, H. Hosobe, and K. Marriott. Problems and issues in using Constraint Programming for graphical applications. In Future and Trends of Constraint Programming. F. Benhamou, N. Jussien, and B. O’Sullivan (Eds.), ISTE Ltd, London UK, pp. 371-381. 2007.
M. Wybrow, K. Marriott, L. McIver and P. Stuckey. The usefulness of constraints for diagram editing. Proc. of the 2003 Australasian Computer Human Interaction Conference (OzCHI 2003), Brisbane, Nov. 2003, pp 192-201. (PDF)
K. Marriott and S.S. Chok. QOCA: A constraint solving toolkit for interactive graphical applications. Constraints 7(3/4): 229-254, 2002. (PDF)
N. Hurst, K. Marriott and P. Moulder. Dynamic approximation of complex graphical constraints by linear constraints. 15th ACM Symposium on User Interface Software and Technology (UIST), pages 191-200, Paris, Nov. 2002. (PDF)
K. Marriott, P. Moulder, P. Stuckey and A. Borning. Solving disjunctive constraints for interactive graphical applications. International Conference on Principles and Practice of Constraint Programming, CP01. Paphos, Cyprus, Nov. 2001.
K. Marriott, S.S. Chok and A. Finlay. A tableau based constraint solving toolkit for interactive graphical applications. International Conference on Principles and Practice of Constraint Programming, CP98, pages 340-354. Pisa, Italy, Nov. 1998.
A. Borning, K. Marriott, P. Stuckey, and Y. Xiao. Solving linear arithmetic constraints for user interface applications. ACM 10th Symposium on User Interface Software and Technology (UIST), pages 87-96. Banff, Canada, Oct. 1997.
T. Huynh and K. Marriott. Incremental constraint deletion in systems of linear constraints. Information Processing Letters. 55 111-115, 1995.
R. Helm, K. Marriott and M. Odersky. Spatial query optimization: From Boolean constraints to range queries. Journal of Computer and System Science 51 (2): 197 - 210, 1995.
R. Helm, K. Marriott, T. Huynh and J. Vlissides. An object-oriented architecture for constraint-based graphical editing. In C. Laffra, E. Blake, V. de Mey and X. Pintado, editors, Object-Oriented Programming for Graphics, pages 217-238. Springer-Verlag. 1995.
R. Helm, T. Huynh, C. Lassez and K. Marriott. A linear constraint technology for user interfaces. In Proc. Graphics Interface '92. Vancouver, Canada. 1992.

Constraint Programming Languages: HAL and the G12 Project

K.Marriott, N. Nethercote, R. Rafeh, P. Stuckey, M. Garcia de la Banda and M. Wallace. The design of the Zinc modelling language. Constraints 13: 229--267, 2008.
R. Rafeh, K. Marriott, M. Garcia de la Banda, N. Nethercote and M. Wallace. Adding Search to Zinc. Proc. of 14th International Conference Principles and Practice of Constraint Programming (CP 2008), LNCS, vol 5202, Springer-Verlag, pp. 624-629, 2008.
R. Rafeh, M. Garcia de la Banda, K. Marriott and M. Wallace. From Zinc to design model. Proc. of the Ninth International Symposium on Practical Aspects of Declarative Languages (PADL), LNCS, vol 4354, Springer-Verlag, Germany, pp. 215-229. 2007
M. Garcia de la Banda, K. Marriott, R. Rafeh and M. Wallace. The modelling language Zinc. Proc. of 12th International Conference Principles and Practice of Constraint Programming (CP 2006), LNCS, vol 4204, Springer-Verlag, pp. 700-705. 2006.
K. Marriott, P. Stuckey, M. Wallace. Constraint Logic Programming. Handbook of Constraint Programming. F. Rossi, P. van Beek and T. Walsh (Eds.), Elsevier, Amsterdam, pp. 409-452. 2006.
P. J. Stuckey, M. García de la Banda, M. Maher, K. Marriott, J. Slaney, Z. Somogyi, M. Wallace and T. Walsh. The G12 Project: Mapping Solver Independent Models to Efficient Solutions. Proc. of 11th International Conference Principles and Practice of Constraint Programming (CP 2005), pages 13--16, Springer-Verlag LNCS 3709, Sitges, Spain, October 2005.
R. Becket, M. Garcia de la Banda, K. Marriott, Z. Somogyi, P. J. Stuckey and M. Wallace. Adding constraint solving to Mercury. Proc. of the Eighth International Symposium on Practical Aspects of Declarative Languages (PADL), Charleston, South Carolina, January 2006, Pages 118-133. Springer Verlag, LNCS 3819. (PDF)
B. Demoen, M. García de la Banda, W. Harvey, K. Marriott and P.J. Stuckey. Checking modes of HAL programs. Theory and Practice of Logic Programming 5(6):623--667, 2005. (PDF)
B. Demoen, M. Garcia de la Banda, W. Harvey, K. Marriott, D. Overton and P. Stuckey. Herbrand constraint solving in HAL. Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development. Bruynooghe, Maurice; Lau, Kung-Kiu (Eds.). Pages 499-538. Springer-Verlag, LNCS, Vol. 3049. 2004.
M. García de la Banda, B. Demoen, Kim Marriott, P. Stuckey. To the Gates of HAL: a HAL tutorial. 6th International Conference on Functional and Logic Programming (FLOPS), Japan, Sep. 2002. (PDF)
M. García de la Banda, D. Jeffery, K. Marriott, N. Nethercote, P. Stuckey, and C. Holzbaur. Building constraint solvers with HAL. International Conference on Logic Programming (ICLP), pages 90-104, Cyprus, November 2001.
M. García de la Banda, P. Stuckey, W. Harvey and K. Marriott. Mode checking in HAL. Proceedings of the First International Conference on Computational Logic (CL'2000), pages 1270-1284, London, June 2000.
B. Demoen, M. Garcia de la Banda, W. Harvey, K. Marriott, and P. Stuckey. An overview of HAL. International Conference on Principles and Practice of Constraint Programming, CP99, pages 174-188. Alexandria, Virginia, USA, Oct. 1999.
B. Demoen, M. Garcia de la Banda, W. Harvey, K. Marriott, and P. Stuckey. Herbrand constraint solving in HAL. International Conference on Logic Programming (ICLP), pages 260-274. Los Cruces, New Mexico, USA, Dec. 1999.

Programming Language Semantics, Debugging, Analysis & Optimisation

K. Marriott, P. Stuckey, M. Wallace. Constraint Logic Programming. In Handbook of Constraint Programming. F. Rossi, P. van Beek and T. Walsh (Eds.), Elsevier, Amsterdam, pp. 409-452. 2006.
G. Puebla, J. Correas, M. Hermenegildo, F. Bueno, M. Garcia de la Banda, K. Marriott and P. Stuckey. A generic framework for context-sensitive analysis of modular programs. Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development. Bruynooghe, Maurice; Lau, Kung-Kiu (Eds.). Pages 233-260. Springer-Verlag, LNCS, Vol. 3049. 2004.
K. Marriott, P. Stuckey, M. Sulzmann. Resource Usage Verification. First Asian Symposium on Programming Languages and Systems (APLAS 2003), pages 212-229, Beijing, China, November 2003. (PDF)
M. Cameron, M. García de la Banda, K. Marriott and P. Moulder. ViMer: A Visual Debugger for Mercury. Proc. of the Fifth ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming (PPDP'03), Uppsala, Sweden, August 2003, ACM Press. pp 56-66.
F. Bueno, M. Garcia de la Banda, M. Hermenegildo, K. Marriott, G. Puebla, and P. Stuckey. A model for inter-module analysis and optimizing compilation. Proceedings of LOPSTR 2000, page 86-102, 2001.
M. Codish, K. Marriott and C. Taboch. Improving program analyses by structure untupling. The Journal of Logic Programming 43(3): 251-263, 2000.
M. Garcia de la Banda, M. Hermenegildo and K. Marriott. Independence in CLP languages. ACM Trans. Programming Languages and Systems 22(2): 269-339, 2000.
M. Hermenegildo, G. Puebla, K. Marriott and P. Stuckey. Incremental analysis of constraint logic programs. ACM Trans. Programming Languages and Systems 22(2): 187-223, 2000.
A. Kelly, A. Macdonald, K. Marriott, P. Stuckey and R. Yap. CLP(R) optimizing compilation. ACM Trans. Programming Languages and Systems 20(6): 1223-1250, 1998.
A. Kelly, K. Marriott, H. Søndergaard and P. Stuckey. A practical object-oriented analysis engine for CLP. Software Practice and Experience 28(2): 188-224, 1998.
J. Jaffar, M. Maher, K. Marriott and P. Stuckey. The semantics of constraint logic programs. The Journal of Logic Programming 37(1-3):1-46, 1998.
T. Armstrong, K. Marriott, P. Schachte and H. Søndergaard. Two classes of Boolean functions for dependency analysis. Science of Computer Programming. 31: 3-45, 1998.
M. Garcia de la Banda, K. Marriott, P. Stuckey and H. Søndergaard Differential methods in logic program analysis. The Journal of Logic Programming 35:1-37, 1998.
K. Marriott. Abstract interpretation: A theory of approximate computation. P. Van Hentenrych, editor, Proc. of Static Analysis Symposium (SAS). (Lecture Notes in Computer Science 982), pages 24-35. Springer-Verlag. Paris, 1997.
K. Marriott. Algebraic and logical semantics for CLP languages with dynamic scheduling. The Journal of Logic Programming 32(1): 71-84, 1997.
M. Falaschi, M. Gabbrielli, K. Marriott and C. Palamidessi. Constraint logic programming with dynamic scheduling: A semantics based on closure operators. Information and Computation, 137(1):41-67, 1997
M. Falaschi, M. Gabbrielli, K. Marriott, C. Palamidessi. Confluence in concurrent constraint programming. Theoretical Computer Science 183:281-315, 1997.
K. Marriott and M. Odersky. A confluent calculus for concurrent constraint programming. Theoretical Computer Science 173(1): 209-233. 1997.
M. Codish, M. Falaschi, K. Marriott and W. Winsborough. A confluent semantic basis for the analysis of concurrent constraint logic programs. Journal of Logic Programming 30(1): 53-81. 1997.
G. Puebla, M. Garcia de la Banda, K. Marriott, and P. Stuckey. Optimization of logic programs with dynamic scheduling. International Conference on Logic Programming (ICLP). Leuven, Belgium, June. 1997.
A. Kelly, K. Marriott, H. Søndergaard and P. Stuckey. A generic object-oriented incremental analyser for constraint logic programs. Twentieth Australasian Computer Science Conf., pages 92-101, Sydney, Feb. 1997.
M. Garcia de la Banda, K. Marriott, and M. Hermenegildo. Independence in dynamically scheduled logic languages. Fifth International Conference on Algebraic and Logic Programming (ALP'96), pages 47-61. Springer-Verlag (LNCS 1139). Aachen, Germany. Sep. 1996.
A. Kelly, A. Macdonald, K. Marriott, P. Stuckey, R. Yap. Effectiveness of optimizing compilation for CLP(R). Logic Programming: Proc. Joint Int. Conf. Symp. Logic Programming, pages 37-51. MIT Press. Bonn, Germany. Sep, 1996.
M. Garcia de la Banda, K. Marriott, and P. Stuckey. Efficient analysis of logic programs with dynamic scheduling. International Symposium on Logic Programming, pages 417-431. MIT Press. Portland, USA. Dec 1995.
A. Kelly, A. Macdonald, K. Marriott, H. Søndergaard, P. Stuckey, R. Yap. An optimizing compiler for CLP(R). International Conference on Principles and Practice of Constraint Programming, CP95, pages 222-239. Springer-Verlag (LNCS 976). Marseille, France. Sep. 1995.
K. Marriott and M. Odersky. A confluent calculus for concurrent constraint programming with guarded choice. International Conference on Principles and Practice of Constraint Programming, CP95, pages 310-327. Springer-Verlag (LNCS 976). Marseille, France. Sep. 1995.
M. Hermenegildo, K. Marriott, G. Puebla and P. Stuckey. Incremental analysis of logic programs. Twelfth International Conference on Logic Programming, pages 797-811. MIT Press. Tokyo, Japan. June 1995.
M. Falaschi, M. Gabbrielli, K. Marriott, C. Palamidessi. Confluence and concurrent constraint programming. In V.S. Alagar and M. Nivat, editors, Proc. of the Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95). Lecture Notes in Computer Science 936, pages 531-545. Springer-Verlag. Montreal, Canada. June 1995.
K. Marriott, M. Falaschi, M. Gabbrielli and C. Palamidessi. A simple semantics for logic programming languages with delay. In R. Kotagiri, editor, Proc. Eighteenth Australasian Computer Science Conf., Australian Computer Science Comm. 17 (1): 356-363, 1995.
M. Codish, M. Falaschi and K. Marriott. Suspension Analyses for Concurrent Logic Programs. ACM Trans. Programming Languages and Systems 16 (3): 649-686, 1994.
K. Marriott, H. Søndergaard and N. D. Jones. Denotational abstract interpretation of logic programs. ACM Trans. Programming Languages and Systems 16 (3): 607-648, 1994.
K. Marriott and P. Stuckey. Approximating possible interaction between linear arithmetic constraints. International Symposium on Logic Programming, pages 558-71. MIT Press. Ithaca, USA. Nov. 1994.
T. Armstrong, K. Marriott, P. Schachte and H. Søndergaard. Boolean functions for dependency analysis: Algebraic properties and efficient representation. Proc. Static Analysis Symposium (SAS), pages 266-280. Namur, Belgium. LNCS 724. Springer Verlag. 1994.
K. Marriott, M. Garcia de la Banda and M. Hermenegildo. Analyzing logic programs with dynamic scheduling. Proc. 21st ACM Symp. Principles of Programming Languages, pages 240-253. Portland, USA. ACM Press, 1994.
M. Falaschi, M. Gabbrielli, K. Marriott and C. Palamidessi. Confluence and concurrent constraint programming. Proc. GULP-PRODE 1994 Joint Conference on Declarative Programming. M. Alpuente, R. Barbuti and I. Ramos (Eds.). Pages 140-154. Peñiscola, Spain. 1994.
K. Marriott, H. Søndergaard, P. Stuckey and R.Yap. Optimizing compilation for CLP(_). In G. Gupta, editor, Proc. Seventeenth Australasian Computer Science Conf., Australian Computer Science Comm. 16 (1): 551-560, 1994.
K. Marriott. Frameworks for abstract interpretation. Acta Informatica 30, 103-129, 1993.
M. Garcia de la Banda, M. Hermenegildo and K. Marriott. Independence in constraint logic programs. International Logic Programming Symposium, In D. Miller, editor, Logic Programming: Proc. of the 1993 Int. Symp., pages 130-146. Vancouver, Canada. MIT Press, 1993.
M. Falaschi, M. Gabbrielli, K. Marriott and C. Palamidessi. Compositional analysis for concurrent constraint programming. Proc. Eighth IEEE Symposium on Logic in Computer Science (LICS), pages 210-221. Montreal, Canada. June 1993.
M. Codish, M. Falaschi, K. Marriott and W. Winsborough. Efficient analysis of concurrent constraint logic programs. Proc. of Twentieth Int. Coll. Automata, Languages and Programming, A. Lingus and R. Karlsson and S. Carlsson (Ed.), LNCS Springer Verlag, pages 633-644, 1993.
K. Marriott and P. Stuckey. The 3 R's of optimizing constraint logic programs: Refinement, removal and reordering. Proc. Twentieth ACM Symp. Principles of Programming Languages, pages 334-344. Charleston, USA. ACM Press, 1993.
K. Marriott and H. Søndergaard. Precise and efficient groundness analysis for logic programs. ACM Letters on Programming Languages and Systems. 2 (1-4): 181-196, 1993.
K. Marriott and P. Stuckey. Semantics of constraint logic programs with optimization. ACM Letters on Programming Languages and Systems 2 (1-4): 197-212, 1993.
K. Marriott and H. Søndergaard. Difference-list transformation for Prolog. New Generation Computing 11 (2): 125-157, 1993.
K. Marriott and H. Søndergaard. Bottom-up dataflow analysis of normal logic programs. The Journal of Logic Programming 13 (2,3): 181-204, 1992.
P. Bigot, S. Debray and K. Marriott. Understanding finiteness analysis using abstract interpretation. K. Apt, editor, Logic Programming: Proc. Joint Int. Conf. Symp. Logic Programming, pages 735-749. Washington, USA. MIT Press 1992.
M. Codish, M. Falaschi and K. Marriott. Suspension analysis for concurrent logic programs. In K. Furukawa, editor, Logic Programming: Proc. Eighth Int. Conf., pages 331-345. Paris, France. MIT Press, 1991.
N. Jørgensen, K. Marriott and S. Michaylov. Some global compile-time optimizations for CLP(R). In V. Saraswat and K. Ueda, editors, Logic Programming: Proc. 1991 Int. Symp., pages 420-434. San Diego, USA. MIT Press, 1991.
K. Marriott, L. Naish and J.-L. Lassez. Most specific logic programs. Annals of Mathematics and Artificial Intelligence 1: 303-338, 1990.
K. Marriott and H. Søndergaard. Abstract interpretation of logic programs: The denotational approach. A. Bossi, editor, Proc. Fifth Italian Conf. Logic Programming, pages 399-425. Padova, Italy, 1990.
K. Marriott and H. Søndergaard. Analysis of constraint logic programs. In S. Debray and M. Hermenegildo, editors, Logic Programming: Proc. 1990 North American Conf., pages 531-547. Austin, USA. MIT Press, 1990.
K. Marriott, H. Søndergaard and P. Dart. A characterization of non-floundering logic programs. In S. Debray and M. Hermenegildo, editors, Logic Programming: Proc. 1990 North American Conf., pages 661-680. Austin, USA. MIT Press, 1990.
K. Marriott and H. Søndergaard. Semantics-based dataflow analysis of logic programs. In G. X. Ritter, editor, Information Processing 89, pages 601-606. San Francisco, USA. North-Holland, 1989.
K. Marriott, L. Naish and J.-L. Lassez. Most specific logic programs. In R. Kowalski and K. Bowen, editors, Logic Programming: Proc. Fifth Int. Conf. Symp., pages 909-923. Seattle, USA. MIT Press, 1988.
K. Marriott and H. Søndergaard. Bottom-up abstract interpretation of logic programs. In R. Kowalski and K. Bowen, editors, Logic Programming: Proc. Fifth Int. Conf. Symp., pages 733-748. Seattle, USA. MIT Press, 1988.
K. Marriott and H. Søndergaard. Prolog program transformation by introduction of difference-lists. In Proc. Int. Computer Science Conf. 88, pages 206-213. IEEE Computer Society, Hong Kong, 1988.

Other

K. Marriott and M. Odersky. Negative Boolean constraints. Theoretical Computer Science 160(1-2): 365-380, 1996.
J.-L. Lassez, M. Maher and K. Marriott. Elimination of negation in term algebras. A. Tarlecki, editor, Mathematical Foundations of Computer Science 1991 (Lecture Notes in Computer Science 520), pages 1-16. Springer-Verlag, Warsaw, 1991.
R. Helm, K. Marriott and M. Odersky. Constraint-based query optimization for spatial databases. Proc. Tenth ACM Symp. Principles of Database Systems, pages 181-191. Denver, USA. ACM Press, 1991.
R. Cremonini, K. Marriott and H. Søndergaard. A general theory for abstraction. In C. P. Tsang, editor, AI '90: Proc. Fourth Australian Joint Conf. Artificial Intelligence, pages 121-134. World Scientific Publishing, 1990.
R. Helm, C. Lassez and K. Marriott. Prolog for expert systems: An evaluation. In A. Gupta and B. Prasad, editors, Microcomputer-Based Expert Systems. 10 pages. IEEE Press, 1988.
J.-L. Lassez, M. Maher and K. Marriott. Unification revisited. In J. Minker, editor, Foundations of deductive Databases and Logic Programming, pages 587-626. Morgan Kaufmann Publ., 1988. Also in Foundations of Logic and Functional Programming, pages 67-113. (Lecture Notes in Computer Science 306), Springer-Verlag, Trento, Italy, 1987.
J.-L. Lassez and K. Marriott. Explicit representation of terms defined by counter examples. Journal of Automated Reasoning 3: 301-317, 1987.
J.-L. Lassez and K. Marriott. Explicit representation of terms defined by counter examples. In Proc. of the 6th Conf. on Foundations of Software Technology and Theoretical Computer Science. New Delhi, India. Springer-Verlag LNCS 241, 1986.
R. Helm, C. Lassez and K. Marriott. Prolog for expert systems: an evaluation. In IEEE Expert Systems in Government Symposium, pages 284-294. K. Karna (Ed.). Washington, USA. IEEE Comp. Soc. Press, 1985.