Sciweavers

6794 search results - page 80 / 1359
» Semantics of Visual Languages
Sort
View
DATESO
2009
155views Database» more  DATESO 2009»
13 years 6 months ago
Tequila - a query language for the Semantic Web
In order to realize the idea of the Semantic Web, many tools and technologies need to be developed, including a query language. One of the most important technologies that creates ...
Jakub Galgonek
RE
2009
Springer
14 years 3 months ago
Semantic Criteria for Choosing a Language for Big-Step Models
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. At...
AAAI
2000
13 years 10 months ago
Semantics of Agent Communication Languages for Group Interaction
Group communication is the core of societal interactions. Therefore, artificial agents should be able to communicate with groups as well as individuals. However, most contemporary...
Sanjeev Kumar, Marcus J. Huber, David McGee, Phili...
APLAS
2008
ACM
13 years 11 months ago
An Operational Semantics for JavaScript
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...
Sergio Maffeis, John C. Mitchell, Ankur Taly
ENTCS
2007
91views more  ENTCS 2007»
13 years 9 months ago
Rule-Based Operational Semantics for an Imperative Language
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...
Florent Kirchner, François-Régis Sin...