Sciweavers

7124 search results - page 256 / 1425
» Programming Languages and Operating Systems
Sort
View
POS
1998
Springer
15 years 10 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
15 years 4 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
14 years 2 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
ERLANG
2004
ACM
16 years 1 days 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...
ENTCS
2006
121views more  ENTCS 2006»
15 years 6 months ago
A Hierarchy of SOS Rule Formats
nary abstract) Jan Friso Groote 1 MohammadReza Mousavi 2 Michel A. Reniers 3 Department of Computer Science, Eindhoven University of Technology (TU/e), P.O. Box 513, NL-5600 MB Ein...
Jan Friso Groote, Mohammad Reza Mousavi, Michel A....