Sciweavers

4386 search results - page 104 / 878
» A Tamper-Resistant Programming Language System
Sort
View
POS
1998
Springer
15 years 5 months ago
Evaluating Usability Aspects of PJama Based on Source Code Measurements
PJama is a system that provides orthogonal persistence defined by reach
Stein Grimstad, Dag I. K. Sjøberg, Malcolm ...
IFIP
2009
Springer
14 years 11 months ago
Specification and Verification of Side Channel Declassification
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
Josef Svenningsson, David Sands
VMCAI
2012
Springer
13 years 9 months ago
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
Tobias Nipkow
122
Voted
ERLANG
2004
ACM
15 years 7 months ago
Erlang's exception handling revisited
This paper describes the new exception handling in the Erlang programming language, to be introduced in the forthcoming Release 10 of the Erlang/OTP system. We give a comprehensiv...
Richard Carlsson, Björn Gustavsson, Patrik Ny...
ANLP
1994
105views more  ANLP 1994»
15 years 2 months ago
The Delphi Natural Language Understanding System
This paper presents Delphi, the natural language component of the BBN Spoken Language System. Delphi is a domainindependent natural language question answering system that is soli...
Madeleine Bates, Robert J. Bobrow, Robert Ingria, ...