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.