researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Journal of Computer Languages
Home
Index
Info
Issue
Volume
22
, Issue
1
1
--
2
Philip T. Cox
,
Andrew Fish
,
John Howse
.
Special Issue on Visual Languages and Logic: Guest editors introduction
3
--
29
Harald Störrle
.
VMQL: A visual language for ad-hoc model querying
30
--
55
Ahmed Awad
,
Matthias Weidlich
,
Mathias Weske
.
Visually specifying compliance rules and explaining their violations for business processes
56
--
65
Dave Barker-Plummer
,
Nik Swoboda
.
Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity
66
--
89
Steffen Mazanek
,
Michael Hanus
.
Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language
90
--
105
Jim Burton
,
Gem Stapleton
,
Ali Hamie
.
A decision procedure for a decidable fragment of generalized constraint diagrams