Search results for "PADL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Olof Torgersson	Declarative Programming and Clinical Medicine.	PADL	2002	DBLP DOI BibTeX RDF	Definitional programming, Clinical Medicine, Integration with GUIs and Objective-C
1	Catherine Meadows 0001	Using a Declarative Language to Build an Experimental Analysis Tool.	PADL	2002	DBLP DOI BibTeX RDF
1	Gopal Gupta 0001, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou	Semantics-Based Filtering: Logic Programming's Killer App?	PADL	2002	DBLP DOI BibTeX RDF
1	Morten Rhiger	Compiling Embedded Programs to Byte Code.	PADL	2002	DBLP DOI BibTeX RDF	domain-specific language, Just-in-time compilation, embedded language, OCaml
1	Kish Shen, Joachim Schimpf, Stefano Novello, Josh Singer	A High-Level Generic Interface to External Programming Languages for ECLiPSe.	PADL	2002	DBLP DOI BibTeX RDF	Logic Programming, implementation, application development, language interfaces
1	Peter Bunus, Peter Fritzson	A Debugging Scheme for Declarative Equation Based Modeling Languages.	PADL	2002	DBLP DOI BibTeX RDF	Declarative equation based language, graph decomposition techniques, static analysis, debugging, bipartite graphs, modeling languages, Modelica
1	Bharat Jayaraman, Pallavi Tambay	Modeling Engineering Structures with Constrained Objects.	PADL	2002	DBLP DOI BibTeX RDF
1	Shriram Krishnamurthi, C. R. Ramakrishnan 0001 (eds.)	Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings	PADL	2002	DBLP DOI BibTeX RDF
1	Peter Thiemann 0001	WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms.	PADL	2002	DBLP DOI BibTeX RDF	CGI Programming, Haskell, Monads
1	Chuck C. Liang	Compiler Construction in Higher Order Logic Programming.	PADL	2002	DBLP DOI BibTeX RDF
1	Oleg Kiselyov	A Better XML Parser through Functional Programming.	PADL	2002	DBLP DOI BibTeX RDF	tree fold, Haskell, Scheme, traversal, XML parsing
1	Supratik Mukhopadhyay, Andreas Podelski	Constraint Database Models Characterizing Timed Bisimilarity.	PADL	2001	DBLP DOI BibTeX RDF
1	Giampaolo Bella, Stefano Bistarelli	Soft Constraints for Security Protocol Analysis: Confidentiality.	PADL	2001	DBLP DOI BibTeX RDF
1	Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva	A Novel Implementation of the Extended Andorra Model.	PADL	2001	DBLP DOI BibTeX RDF
1	Pierre Flener, Brahim Hnich, Zeynep Kiziltan	A Meta-heuristic for Subset Problems.	PADL	2001	DBLP DOI BibTeX RDF
1	Hendrik Decker	Soundcheck for SQL.	PADL	2001	DBLP DOI BibTeX RDF
1	Horatiu Cirstea	Specifying Authentication Protocols Using Rewriting and Strategies.	PADL	2001	DBLP DOI BibTeX RDF	model-checking, strategy, rewriting, authentication protocols
1	Antony Courtney	Frappé: Functional Reactive Programming in Java.	PADL	2001	DBLP DOI BibTeX RDF
1	Michael Leuschel	Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog.	PADL	2001	DBLP DOI BibTeX RDF	Implementation and Compilation, Verification, Concurrency, Specification
1	Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson 0003, Matthew Barry	An A-Prolog Decision Support System for the Space Shuttle.	PADL	2001	DBLP DOI BibTeX RDF	logic programming, planning, answer set programming
1	John Peterson, Paul Hudak, Alastair Reid 0001, Gregory D. Hager	FVision: A Declarative Language for Visual Tracking.	PADL	2001	DBLP DOI BibTeX RDF
1	I. V. Ramakrishnan (eds.)	Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings	PADL	2001	DBLP DOI BibTeX RDF
1	Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti	Programming Goal-Driven Web Sites Using an Agent Logic Language.	PADL	2001	DBLP DOI BibTeX RDF
1	Owen Kaser	State Generation in the PARMC Model Checker.	PADL	2001	DBLP DOI BibTeX RDF
1	Pierre Flener, Brahim Hnich, Zeynep Kiziltan	Compiling High-Level Type Constructors in Constraint Programming.	PADL	2001	DBLP DOI BibTeX RDF
1	Steve Barker	Secure Deductive Databases.	PADL	2001	DBLP DOI BibTeX RDF
1	Satyam Tyagi, Paul Tarau	A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces.	PADL	2001	DBLP DOI BibTeX RDF
1	Enrico Pontelli, Omar El-Khatib	Construction and Optimization of a Parallel Engine for Answer Set Programming.	PADL	2001	DBLP DOI BibTeX RDF
1	Alessandra Raffaetà, Thom W. Frühwirth	Spatio-temporal Annotated Constraint Logic Programming.	PADL	2001	DBLP DOI BibTeX RDF	constraint logic programming, Spatio-temporal reasoning, annotated logics
1	Juan Raymundo Iglesias, Gopal Gupta 0001, Enrico Pontelli, Desh Ranjan, Brook Milligan	Interoperability between Bioinformatics Tools: A Logic Programming Approach.	PADL	2001	DBLP DOI BibTeX RDF
1	Anima Gupta, Paul Tarau	Logic Programming Techniques for Dynamic VRML Web Content Generation.	PADL	2001	DBLP DOI BibTeX RDF	Internet Programming with Prolog, Dynamic VRML content, Logic Programming Tools, Prolog based Client-Server Programming, Prolog Networking, Definite Clause Grammars, Web Architectures
1	Enrico Denti, Andrea Omicini, Alessandro Ricci	tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures.	PADL	2001	DBLP DOI BibTeX RDF
1	C. R. Ramakrishnan 0001	A Model Checker for Value-Passing Mu-Calculus Using Logic Programming.	PADL	2001	DBLP DOI BibTeX RDF
1	Antonio Brogi, Gianluca Caruso	From Subject Directories to Subject Meta-directories via Declarative Programming.	PADL	2001	DBLP DOI BibTeX RDF	subject directories, Prolog, Web-programming
1	Michael Hanus	High-Level Server Side Web Scripting in Curry.	PADL	2001	DBLP DOI BibTeX RDF
1	Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke	Transformation-by-Example for XML.	PADL	2000	DBLP DOI BibTeX RDF
1	Julio Mariño, Juan José Moreno-Navarro	Using Static Analysis to Compile Non-sequential Functional Logic Programs.	PADL	2000	DBLP DOI BibTeX RDF	Interpretation, Sequentiality, Functional Logic Programming
1	Michael Hanus	A Functional Logic Programming Approach to Graphical User Interfaces.	PADL	2000	DBLP DOI BibTeX RDF
1	Peter Thiemann 0001	Modeling HTML in Haskell.	PADL	2000	DBLP DOI BibTeX RDF
1	I. V. Ramakrishnan	Current Trends in Logic Programming: Prospects and Promises.	PADL	2000	DBLP DOI BibTeX RDF
1	Gopal Gupta 0001, Shameem F. Akhter	Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs.	PADL	2000	DBLP DOI BibTeX RDF
1	Juan José Moreno-Navarro, Susana Muñoz-Hernández	How to Incorporate Negation in a Prolog Compiler.	PADL	2000	DBLP DOI BibTeX RDF	Semantics of Negation, Implementation of Negation, Global Analysis
1	Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi	Calculating a New Data Mining Algorithm for Market Basket Analysis.	PADL	2000	DBLP DOI BibTeX RDF
1	Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You	Implementation of a Linear Tabling Mechanism.	PADL	2000	DBLP DOI BibTeX RDF
1	Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi 0001	Labeling and Partial Local Consistency for Soft Constraint Programming.	PADL	2000	DBLP DOI BibTeX RDF
1	Daniel Diaz 0001, Philippe Codognet	GNU Prolog: Beyond Compiling Prolog to C.	PADL	2000	DBLP DOI BibTeX RDF
1	Tee Yong Chew, Martin Henz, Ka Boon Ng	A Toolkit for Constraint-Based Inference Engines.	PADL	2000	DBLP DOI BibTeX RDF
1	Timothy J. Hickey	CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving.	PADL	2000	DBLP DOI BibTeX RDF
1	John Peterson, Valery Trifonov, Andrei Serjantov	Parallel Functional Reactive Programming.	PADL	2000	DBLP DOI BibTeX RDF
1	Ching-Long Yeh	A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database.	PADL	2000	DBLP DOI BibTeX RDF
1	Enrico Pontelli, Vítor Santos Costa (eds.)	Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings	PADL	2000	DBLP DOI BibTeX RDF
1	Tallys H. Yunes, Arnaldo Vieira Moura, Cid C. de Souza	A Hybrid Approach for Solving Large Scale Crew Scheduling Problems.	PADL	2000	DBLP DOI BibTeX RDF
1	Peter Lee 0001	Production-Quality Proof-Carrying Code.	PADL	2000	DBLP DOI BibTeX RDF
1	Bart Demoen, Konstantinos Sagonas	Heap Garbage Collection in XSB: Practice and Experience.	PADL	2000	DBLP DOI BibTeX RDF
1	Salvador Abreu	A Logic-Based Information System.	PADL	2000	DBLP DOI BibTeX RDF
1	Chris J. Hinde, Richard J. Reader, Kath Phelps	HIPPO - A Declarative Graphical Modelling System.	PADL	2000	DBLP DOI BibTeX RDF	model, interaction, integrate, software, declarative
1	Mark Tullsen	First Class Patterns.	PADL	2000	DBLP DOI BibTeX RDF
1	Christian Schulte 0001	Programming Deep Concurrent Constraint Combinators.	PADL	2000	DBLP DOI BibTeX RDF
1	Tyng-Ruey Chuang, Shin-Cheng Mu	Out-of-Core Functional Programming with Type-Based Primitives.	PADL	2000	DBLP DOI BibTeX RDF
1	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	Or-Parallelism within Tabling.	PADL	1999	DBLP DOI BibTeX RDF	Tabling, Or-Parallelism, Parallel Logic Programming
1	John Peterson, Paul Hudak, Conal Elliott	Lambda in Motion: Controlling Robots with Haskell.	PADL	1999	DBLP DOI BibTeX RDF
1	Wamberto Weber Vasconcelos	A Flexible Framework for Dynamic and Static Slicing of Logic Programs.	PADL	1999	DBLP DOI BibTeX RDF	Logic program slicing, program analysis & understanding
1	Michel Ferreira, Luís Damas	Multiple Specialization of WAM Code.	PADL	1999	DBLP DOI BibTeX RDF	Prolog Compilation, Code Specialization, Program Analysis
1	Marcio G. Silva, Inês de Castro Dutra, Ricardo Bianchini, Vítor Santos Costa	The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems.	PADL	1999	DBLP DOI BibTeX RDF
1	Raul Hakli, Matti Nykänen, Hellis Tamm, Esko Ukkonen	Implementing a Declarative String Query Language with String Restructuring.	PADL	1999	DBLP DOI BibTeX RDF
1	Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini	Multi-agent Systems Development as a Software Engineering Enterprise.	PADL	1999	DBLP DOI BibTeX RDF
1	Hans-Joachim Goltz, Dirk Matzke	University Timetabling Using Constraint Logic Programming.	PADL	1999	DBLP DOI BibTeX RDF
1	Timo Soininen, Ilkka Niemelä	Developing a Declarative Rule Language for Applications in Product Configuration.	PADL	1999	DBLP DOI BibTeX RDF
1	David A. Schmidt	A Return to Elegance: The Reapplication of Declarative Notation to Software Design.	PADL	1999	DBLP DOI BibTeX RDF
1	Babu Siddabathuni, Suzanne W. Dietrich, Susan Darling Urban	An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language.	PADL	1999	DBLP DOI BibTeX RDF
1	David Jeffery, Tyson Dowd, Zoltan Somogyi	MCORBA: A CORBA Binding for Mercury.	PADL	1999	DBLP DOI BibTeX RDF
1	Wolfram Kahl	Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators.	PADL	1999	DBLP DOI BibTeX RDF
1	Marco Cadoli, Luigi Palopoli 0001, Andrea Schaerf, Domenico Vasile	NP-SPEC: An Executable Specification Language for Solving All Problems in NP.	PADL	1999	DBLP DOI BibTeX RDF
1	Bart Demoen, Konstantinos Sagonas	CHAT: The Copy-Hybrid Approach to Tabling.	PADL	1999	DBLP DOI BibTeX RDF
1	Conal Elliott	From Functional Animation to Sprite-Based Display.	PADL	1999	DBLP DOI BibTeX RDF
1	Mats Carlsson, Per Kreuger, Emil Åström	Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing.	PADL	1999	DBLP DOI BibTeX RDF	flow maximization, steel manufacturing, scheduling, finite domain constraints
1	Claude Laï	Using Constraints in Local Proofs for CLP Debugging.	PADL	1999	DBLP DOI BibTeX RDF
1	Mark Wallace 0001, Joachim Schimpf	ECLiPSe: Declarative Specification and Scaleable Implementation.	PADL	1999	DBLP DOI BibTeX RDF
1	Erik Meijer 0001, Daan Leijen, James Hook	Client-Side Web Scripting with HaskellScript.	PADL	1999	DBLP DOI BibTeX RDF
1	Patricio Letelier 0001, Pedro Sánchez, Isidro Ramos	Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program.	PADL	1999	DBLP DOI BibTeX RDF
1	Hongwei Xi	Dead Code Elimination through Dependent Types.	PADL	1999	DBLP DOI BibTeX RDF
1	Arvind K. Bansal, Peer Bork	Applying Logic Programming to Derive Novel Functional Information of Genomes.	PADL	1999	DBLP DOI BibTeX RDF
1	Graeme E. Moss, Colin Runciman	Automated Benchmarking of Functional Data Structures.	PADL	1999	DBLP DOI BibTeX RDF
1	Håkan Mattsson, Hans Nilsson, Claes Wikström	Mnesia - A Distributed Robust DBMS for Telecommunications Applications.	PADL	1999	DBLP DOI BibTeX RDF
1	Richard Watson 0003	An Application of Action Theory to the Space Shuttle.	PADL	1999	DBLP DOI BibTeX RDF
1	Gopal Gupta 0001 (eds.)	Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings	PADL	1998	DBLP DOI BibTeX RDF

Publications at "PADL"( http://dblp.L3S.de/Venues/PADL )