Results 261 to 270 of about 1,360,419 (300)
Some of the next articles are maybe not open access.
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support
International Conference on Business Process Management, 2018F. Corradini +4 more
semanticscholar +1 more source
Towards a Formal TMQL Semantics
2007TMQL, the upcoming standardized Topic Maps query language, may become the main work horse for semantic web applications based on the Topic Maps paradigm. While the current specification uses prose to declare the intended meaning of various language constructs, this work is an approach to a complete formal semantics. It details the static semantics as a
openaire +1 more source
KJS: a complete formal semantics of JavaScript
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2015D. Park +2 more
semanticscholar +1 more source
Formal semantics for perceptual classification
Journal of Logic and Computation, 2015Staffan Larsson
semanticscholar +1 more source
Towards Formal Semantics for ODRL Policies
International Web Rule Symposium, 2015Simon Steyskal, A. Polleres
semanticscholar +1 more source
Bridging the gap between formal semantics and implementation of triple graph grammars
2010 Workshop on Model-Driven Engineering, Verification, and Validation, 2014H. Giese +2 more
semanticscholar +1 more source
Formal semantics in modern type theories with coercive subtyping
Linguistics and Philosophy, 2013Luo Zhaohui, Zhaohui Luo
exaly