Programming Languages and Systems
Springer Berlin (Verlag)
978-3-540-33095-0 (ISBN)
Peter Sestoft is Professor of Software Development at the IT University of Copenhagen, Denmark.
Types for Hierarchic Shapes.- Linear Regions Are All You Need.- Type-Based Amortised Heap-Space Analysis.- Haskell Is Not Not ML.- Coinductive Big-Step Operational Semantics.- Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types.- Approaches to Polymorphism in Classical Sequent Calculus.- Pure Pattern Calculus.- A Verification Methodology for Model Fields.- ILC: A Foundation for Automated Reasoning About Pointer Programs.- Bisimulations for Untyped Imperative Objects.- A Typed Assembly Language for Confidentiality.- Flow Locks: Towards a Core Calculus for Dynamic Flow Policies.- A Basic Contract Language for Web Services.- Types for Dynamic Reconfiguration.- Size-Change Termination Analysis in k-Bits.- Path Optimization in Programs and Its Application to Debugging.- Inference of User-Defined Type Qualifiers and Qualifier Rules.- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions.- Embedding Dynamic Dataflow in a Call-by-Value Language.- Polymorphic Type Inference for the JNI.- Type Safety of Generics for the .NET Common Language Runtime.- The Weird World of Bi-directional Programming.
Erscheint lt. Verlag | 16.3.2006 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | XII, 342 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 1120 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | Assembly language • computer language • Debugging • Formal Languages • Language Implementation • .NET • Polymorphism • programming • programming calculi • Programming language • Programming Language Design • Programming Languages • Programming Systems • Programming Theory • Program Semantics • Semantics • Software Security • Type Theory • verification |
ISBN-10 | 3-540-33095-X / 354033095X |
ISBN-13 | 978-3-540-33095-0 / 9783540330950 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich