6016 search results - page 854 / 1204 » The semantics of graphical languages |
149
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
166
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents an algorithm for reverse engineering semantically sound object-oriented data models from programs written in weakly-typed languages like Cobol. Our inference i...
300
click to vote
AISADM
2007
Springer
16 years 1 months ago
2007
Springer
An unsolved problem in AIS is adaptive ontologies. Semantic Web requires flexible ontologies adaptive to user needs and to Web contents. The paper describes emotional intelligent a...
149
click to vote
VMCAI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
203
click to vote
QEST
2006
IEEE
16 years 26 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...