1264 search results - page 36 / 253 » Abstract machines for programming language implementation |
ESOP
2011
Springer
13 years 21 days ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
VL
1995
IEEE
14 years 21 days ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
ECOOP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
HOPL
2007
14 years 1 months ago
2007
Emerald is an object-based programming language and system designed and implemented in the Department of Computer Science at the University of Washington in the early and mid-1980...