Logic Based Program Synthesis and Transformation (vol. # 3573) : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers / edited by Sandro Etalle

Mitwirkende(r):

Etalle, Sandro [oth]

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Lecture notes in computer science ; 3573Verlag: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Beschreibung: Online-Ressource (VIII, 279 p. Also availabe online, digital)ISBN:

9783540316831

Schlagwörter:

Genre/Form:

Konferenzschrift -- 2004 -- Verona

Andere physische Formen: 9783540266556 | Buchausg. u.d.T.: Logic based program synthesis and transformation. Berlin : Springer, 2005. VIII, 277 S.DDC-Klassifikation:

005.1015113
004.0151 23
005.115
004

MSC: MSC: *68-06 | 68N30 | 00B25LOC-Klassifikation:

QA76.9.L63 QA76.5913 QA76.63
QA76.63

DOI: DOI: 10.1007/b137785Online-Ressourcen:

Zugang im Netz des KIT

Zusammenfassung: Verification and Analysis -- Searching Semantically Equivalent Code Fragments in Logic Programs -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs -- Fully Automatic Binding-Time Analysis for Prolog -- Theory and Security -- Logical Mobility and Locality Types -- Unwinding Conditions for Security in Imperative Languages -- Natural Rewriting for General Term Rewriting Systems -- Transformations -- Negation Elimination for Finite PCFGs -- Specialization of Concurrent Guarded Multi-set Transformation Rules -- Efficient Local Unfolding with Ancestor Stacks for Full Prolog -- Program Development -- Schema-Guided Synthesis of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive Specifications for Compositional Units -- Termination -- Input-Termination of Logic Programs -- On Termination of Binary CLP Programs -- Program Development and Synthesis -- From Natural Semantics to Abstract Machines -- Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.PPN: PPN: 1647643686Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB

Exemplare ( 0 )

Dieser Titel hat keine Exemplare