Buch, Englisch, 342 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1120 g
Buch, Englisch, 342 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1120 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-540-33095-0
Verlag: Springer-Verlag GmbH
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Daten / Datenbanken Zeichen- und Zahlendarstellungen
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
Weitere Infos & Material
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.