Logic-Based Program Synthesis and Transformation Bishoksan Kafle
Titel: Logic-Based Program Synthesis and Transformation, Untertitel: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings, Einband: Taschenbuch, Autor: Bishoksan Kafle, Verlag: Springer Nature Switzerland, Springer Nature Switzerland, Sprache: Englisch, Seiten: 224, Maße: 235x155x13 mm, Gewicht: 347 g, Verkäufer: buch-mimpf, Schlagworte: Constrained Horn Clauses Deep Neural Network Logic Programming Predicate Anti-unification Program Specialization Program Synthesis Program Transformation Program Verification Propositional Formula Simplification Synthesis Term Matching Transformation Type system applications, tools and industrial practice logic-based program development partial evaluation program inversion program optimization program semantics transformational techniques in software engineering.
Jetzt bei Ebay:
