Results 31 to 40 of about 112,498 (311)
Formalizing Homogeneous Language Embeddings [PDF]
Electronic Notes in Theoretical Computer Science, 2010 The cost of implementing syntactically distinct Domain Specific Languages (DSLs) can be reduced by homogeneously embedding them in a host language in cooperation with its compiler. Current homogeneous embedding approaches either restrict the embedding of multiple DSLs in order to provide safety guarantees, or allow multiple DSLs to be embedded but ...
Tony Clark 0001, Laurence Tratt
openaire +6 more sources
Overview on agent-based social modelling and the use of formal languages [PDF]
, 2013 Transdisciplinary Models and Applications investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation.
Kaplan Marcusan, Adriana +4 more
core +1 more source
Relations linguistiques et mathématiques chez Leibniz
Methodos, 2014 Leibniz's theory of universal expression focuses on the notion of relationship and introduces a link between the words of a natural language and the mind which is not only that of representation. It also establishes similarities between natural languages
Marc Parmentier
doaj +1 more source
Timing diagrams requirements modeling using Event-B formal methods [PDF]
, 2010 Timing diagrams provide an intuitive graphical specification for time constraints and causal dependencies between a system’s objects. Such a view can provide useful insight during Requirements Engineering (RE).
Snook, Colin +7 more
core +1 more source
A Formal Account of WS-BPEL [PDF]
, 2008 We introduce B lite, a lightweight language for web services orchestration designed around some of WS-BPEL peculiar features like partner links, process termination, message correlation, long-running business transactions and compensation handlers.
R. Pugliese +4 more
core +1 more source
A Component-Based Formal Language Workbench [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely.
Peter D. Mosses
doaj +1 more source
NILE: Formalizing Natural-Language Descriptions of Formal Languages
CoRRThis paper explores how natural-language descriptions of formal languages can be compared to their formal representations and how semantic differences can be explained. This is motivated from educational scenarios where learners describe a formal language (presented, e.g., by a finite state automaton, regular expression, pushdown automaton, context ...
Tristan Kneisel +3 more
openaire +2 more sources
Unique decipherability in formal languages [PDF]
Theoretical Computer Science, 2020 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Paul C. Bell +2 more
openaire +3 more sources
A formal model of the Semantic Web Service Ontology (WSMO) [PDF]
, 2012 Semantic Web Service, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry.
Payne, T.R. +11 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Cerebellar ataxia after pediatric brain tumor treatment can cause persistent gait, balance, and speech impairment, yet no established rehabilitation strategy exists. Somato‐cognitive coordination therapy (SCCT) is a virtual reality–guided intervention designed to promote sensorimotor integration through visually constrained reaching
Masanobu Takeuchi +10 more
wiley +1 more source