Journal: Journal of Computer Languages

Volume 22, Issue 1

1 -- 2Philip T. Cox, Andrew Fish, John Howse. Special Issue on Visual Languages and Logic: Guest editors introduction
3 -- 29Harald Störrle. VMQL: A visual language for ad-hoc model querying
30 -- 55Ahmed Awad, Matthias Weidlich, Mathias Weske. Visually specifying compliance rules and explaining their violations for business processes
56 -- 65Dave Barker-Plummer, Nik Swoboda. Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity
66 -- 89Steffen Mazanek, Michael Hanus. Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language
90 -- 105Jim Burton, Gem Stapleton, Ali Hamie. A decision procedure for a decidable fragment of generalized constraint diagrams