2135 search results - page 247 / 427 » An Operational Semantics for JavaScript |
140
click to vote
WADT
2004
Springer
15 years 8 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
137
click to vote
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
120
click to vote
AAAI
2008
15 years 5 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
140
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
114
click to vote
ENTCS
2008
15 years 3 months ago
2008
In the framework of graph transformation, simulation rules define the operational behavior of visual models. Moreover, it has been shown already how to construct animation rules f...