04450nam 22007455 450 99646603460331620200704032312.03-540-45241-910.1007/3-540-45241-9(CKB)1000000000211441(SSID)ssj0000325784(PQKBManifestationID)11285612(PQKBTitleCode)TC0000325784(PQKBWorkID)10264730(PQKB)10417214(DE-He213)978-3-540-45241-6(MiAaPQ)EBC3072231(PPN)155165410(EXLCZ)99100000000021144120121227d2001 u| 0engurnn|008mamaatxtccrPractical Aspects of Declarative Languages[electronic resource] Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings /edited by I.V. Ramakrishnan1st ed. 2001.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2001.1 online resource (VIII, 352 p.) Lecture Notes in Computer Science,0302-9743 ;1990Bibliographic Level Mode of Issuance: Monograph3-540-41768-0 Includes bibliographical references and index.A Model Checker for Value-Passing Mu-Calculus Using Logic Programming -- Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog -- Frappé: Functional Reactive Programming in Java -- From Subject Directories to Subject Meta-directories via Declarative Programming -- Programming Goal-Driven Web Sites Using an Agent Logic Language -- High-Level Server Side Web Scripting in Curry -- Logic Programming Techniques for Dynamic VRML Web Content Generation -- Soft Constraints for Security Protocol Analysis: Confidentiality -- Secure Deductive Databases -- Specifying Authentication Protocols Using Rewriting and Strategies -- Interoperability between Bioinformatics Tools: A Logic Programming Approach -- An A-Prolog Decision Support System for the Space Shuttle -- tuProlog: A Light-Weight Prolog for Internet Applications and Infrastructures -- A Novel Implementation of the Extended Andorra Model -- Soundcheck for SQL -- Compiling High-Level Type Constructors in Constraint Programming -- Constraint Database Models Characterizing Timed Bisimilarity -- Spatio-temporal Annotated Constraint Logic Programming -- A Meta-heuristic for Subset Problems -- Construction and Optimization of a Parallel Engine for Answer Set Programming -- FVision: A Declarative Language for Visual Tracking -- A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces -- State Generation in the PARMC Model Checker.Lecture Notes in Computer Science,0302-9743 ;1990Programming languages (Electronic computers)Software engineeringComputer logicComputer programmingArtificial intelligenceProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming languages (Electronic computers).Software engineering.Computer logic.Computer programming.Artificial intelligence.Programming Languages, Compilers, Interpreters.Software Engineering.Logics and Meanings of Programs.Programming Techniques.Artificial Intelligence.005.13/1Ramakrishnan I.Vedthttp://id.loc.gov/vocabulary/relators/edtPADL 2001MiAaPQMiAaPQMiAaPQBOOK996466034603316Practical Aspects of Declarative Languages772495UNISA