4386 search results - page 96 / 878 » A Tamper-Resistant Programming Language System |
100
click to vote
SAIG
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
118
click to vote
ENTCS
2006
15 years 1 months ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
113
click to vote
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
126
click to vote
JMLC
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
131
click to vote
PROPOR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This work is part of the effort to develop a speech recognition system for Brazilian Portuguese. The resources for the training and test stages of this system, such as c...