5096 search results - page 71 / 1020 » Associations as a Language Construct |
108
click to vote
ESOP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
117
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
117
click to vote
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
113
click to vote
ASWEC
2001
IEEE
15 years 3 months ago
2001
IEEE
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
LREC
2010
15 years 1 months ago
2010
In this paper, we propose GermanPolarityClues, a new publicly available lexical resource for sentiment analysis for the German language. While sentiment analysis and polarity clas...