6016 search results - page 74 / 1204 » The semantics of graphical languages |
141
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
159
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
143
click to vote
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
123
click to vote
BCS
2008
15 years 5 months ago
2008
We argue that the mathematics developed for the semantics of computer languages can be fruitfully applied to problems in human communication and action.
117
click to vote
PROMAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...