2661 search results - page 230 / 533 » A Semantics for Abstraction |
210
click to vote
IANDC
2011
15 years 1 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
238
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
155
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
paper we present an abstract agent programming language and its operational semantics which can be used to implement cognitive agents. This language consists of programming constr...
179
click to vote
APLAS
2005
ACM
16 years 7 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
236
click to vote
ERCIMDL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Today, digital libraries more and more have to rely on semantic techniques during the workflows of metadata generation, search and navigational access. But, due to the st...