Suchergebnisse - "Programming language semantics"

Programming language semantics: It’s easy as 1,2,3 von HUTTON, GRAHAM

“… Programming language semantics is an important topic in theoretical computer science, but one that beginners often find challenging …”
Volltext

Mathematical Aspects of Logic Programming Semantics von Hitzler, Pascal, Seda, Anthony

“… Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for …”
Volltext

A Step-indexed Semantics of Imperative Objects von Hritcu, Catalin, Schwinghammer, Jan

“… Step-indexed semantic interpretations of types were proposed as an alternative to purely syntactic proofs of type safety using subject reduction …”
Volltext

The Fine Print of Security von Abadi, M

“… Computational-soundness theorems, which are the main subject of this lecture, can sometimes shed light on this question …”
Volltext

RASSMon: Realtime asynchronous service status monitoring von Neagu, Bianca, Dulea, Corina, Corcalciuc, Horia V.

“… The operation and maintenance of large distributed systems that are subject to high QoS conditions has led to the need of designing and developing advanced monitoring tools that facilitate …”
Volltext

The template and multiple inheritance approach into attribute grammars von Mernik, M., Lenic, M., Avdicausevic, E., Zumer, V.

“… Formal methods for describing programming language semantics, such as attribute grammars, operational semantics and denotational semantics, are not widely used since they are not modular, extensible and reusable …”
Volltext