jimburton's constraint-diagrams [18 articles] Export

Recent papers added to jimburton's library classified by the tag constraint-diagrams. You can also see everyone's constraint-diagrams.

Hide details

	Transforming constraint diagrams [My Copy] In Visual Languages and Logic (20 September 2009), pp. 62-80. by Jim Burton edited by Philip Cox, Andrew Fish, John Howse posted to diagrams constraint-diagrams by jimburton on 2009-09-21 20:16:43 as
	Reasoning with Constraint Diagrams [My Copy] (August 2004) by G. Stapleton posted to constraint-diagrams diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	A Decidable Constraint Diagram Reasoning System [My Copy] Journal of Logic and Computation, Vol. 15, No. 6. (December 2005), pp. 975-1008. by G. Stapleton, J. Howse, J. Taylor posted to constraint-diagrams diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	A Constraint Diagram Reasoning System [My Copy] In Proceedings of International Conference on Visual Languages and Computing (2003), pp. 263-270. by G. Stapleton, J. Howse, J. Taylor posted to constraint-diagrams diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	Precise Visual Modelling [My Copy] Journal of Software and Systems Modeling, Vol. 4 (2005), pp. 310-325. by J. Howse, S. Schuman posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	The Constraint Diagrams Editor [My Copy] by J. Gil, Y. Sorkin posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Towards a formalization of constraint diagrams [My Copy] In Proc IEEE Symposia on Human-Centric Computing (HCC '01), Stresa, Italy (September 2001), pp. 72-79. by J. Gil, J. Howse, S. Kent posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Constraint Diagrams: A step beyond UML [My Copy] In Proceedings of TOOLS USA 1999, Santa Barbara, California, USA (August 1999), pp. 453-463. by J. Gil, J. Howse, S. Kent posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Generating Constraint Diagrams [My Copy] (2000) by J. Flower posted to automated-reasoning constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 as
	The Semantics of Augmented Constraint Diagrams [My Copy] Journal of Visual Languages and Computing, Vol. 16 (2005), pp. 541-573. by A. Fish, J. Flower, J. Howse posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 as
	Towards a Default Reading for Constraint Diagrams [My Copy] In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Vol. 2980, pp. 51-65. by A. Fish, J. Howse posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 as
	Investigating Reasoning with Constraint Diagrams [My Copy] In Visual Language and Formal Methods 2004, Vol. 127 (2005), pp. 53-69. by A. Fish, J. Flower posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 as
	Do Monkeys Like Elephants or Do Elephants like Monkeys? An Empirical Study into the Default Reading of Constraint Diagrams [My Copy] (2005) by A. Fish, J. Masthoff posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 as
	Computing Reading Trees for Constraint Diagrams [My Copy] In AGTIVE '03, Applications of Graph Transformations with Industrial Relevance, Charlottesville, Virginia, September (2003), pp. 260-274. by A. Fish, J. Howse posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 as
	A Reading Algorithm for Constraint Diagrams [My Copy] In IEEE Symposium on Human Centric Computing Languages and Environments, Auckland, New Zealand (September 2003), pp. 161-168. by A. Fish, J. Flower, J. Howse posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 as
	An Experimental Study into the Default Reading of Constraint Diagrams [My Copy] In Visual Languages and Human Centric Computing (September 2005), pp. 287-289. by A. Fish, J. Masthoff posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 as
	Evaluating and Generalizing Constraint Diagrams [My Copy] Journal of Visual Languages and Computing, Vol. 19, No. 4. (2008), pp. 499-521. by G. Stapleton, A. Delaney posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 13:50:53 as
	Constraint Diagrams: Visualizing Invariants in Object Oriented Modelling [My Copy] In Proceedings of OOPSLA97 (October 1997), pp. 327-341. by S. Kent posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 13:50:52 as

Note: You may cite this page as: http://www.citeulike.org/user/jimburton/tag/constraint-diagrams

diagrams	212
vmg-bibtex-file	193
file-import-09-01-22	86
functional-programming	70
logic	52
type-theory	48
dependent-types	36
haskell	35
euler-diagrams	34
spider-diagrams	20
constraint-diagrams	18
automated-reasoning	12
dsel	9
ocl	9
theorem-proving	6
agda	5
models-of-computation	5
category-theory	4
coq	4
formal-methods	4
generics	4
ocaml	4
epigram	3
maths	3
uml	3
arrows	2
curry-howard	2
lambda-calculus	2
meta-programming	2
ml	2
monads	2
conceptual-graphs	1
erlang	1
frp	1
z	1

jimburton's constraint-diagrams [18 articles] Export

jimburton's tags