Search results for "Declarative Programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Rafael del Vado Vírseda	A higher-order logical framework for the algorithmic debugging and verification of declarative programs.	PPDP	2009	DBLP DOI BibTeX RDF	algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus
3	Michael Leuschel	Declarative programming for verification: lessons and outlook.	PPDP	2008	DBLP DOI BibTeX RDF	model checking, verification, formal methods, animation, logic programming
3	Michael Hanus	Putting declarative programming into the web: translating curry to javascript.	PPDP	2007	DBLP DOI BibTeX RDF	user interfaces, javascript, web programming, functional logic programming, curry
3	G. Rossi, E. Poleo	javaset: declarative programming in Java with sets.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	Java, constraint programming, nondeterminism, declarative programming
3	J. Rajesh, D. Janakiram	JIAD: a tool to infer design patterns in refactoring.	PPDP	2004	DBLP DOI BibTeX RDF	facts-base, intent-aspects (IAs), predicate-templates, design pattern (DP), prolog, refactoring, object-oriented systems, rule-base, declarative programming
3	Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf	Alma-O: An Imperative Language That Supports Declarative Programming.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	search, declarative programming, imperative programming
3	Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo	A Rewriting Logic for Declarative Programming.	ESOP	1996	DBLP DOI BibTeX RDF	non-deterministic functions, constructor-based rewriting logic, lazy narrowing, Declarative programming
3	Thomas Kunstmann, Martin Frisch, Robert Müller	A Declarative Programming Environment Based on Constraints. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	declarative programming environment, commercial spreadsheets, declarative visual languages, simulation, software engineering, constraints, planning, planning, programming environments, visual programming, visual languages, digital simulation, data visualisation, constraint handling, spreadsheet programs
2	Rafael del Vado Vírseda, Fernando Pérez Morente	A modular semantics for higher-order declarative programming with constraints.	PPDP	2011	DBLP DOI BibTeX RDF
2	Peter Alvaro, Tyson Condie, Neil Conway, Khaled Elmeleegy, Joseph M. Hellerstein, Russell Sears	Boom analytics: exploring data-centric, declarative programming for the cloud.	EuroSys	2010	DBLP DOI BibTeX RDF	cloud computing, datalog, mapreduce
2	Bruce Lucas, Rahul P. Akolkar, Charles Wiecha	Collage: A Declarative Programming Model for Compositional Development of Web Applications.	HCI	2009	DBLP DOI BibTeX RDF	Cross-organizational applications, Constraint-based programming, Distributed Computing, Declarative languages, Resource Description Framework
2	Michael Codish, Samir Genaim, Peter J. Stuckey	A declarative encoding of telecommunications feature subscription in SAT.	PPDP	2009	DBLP DOI BibTeX RDF	sat solving, telecommunications feature subscription, declarative modelling
2	Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda	Cooperation of constraint domains in the TOY system.	PPDP	2008	DBLP DOI BibTeX RDF	constraint domains and solvers, domain cooperation, functional and logic programming
2	Mark Proctor	Relational Declarative Programming with JBoss Drools.	SYNASC	2007	DBLP DOI BibTeX RDF
2	Sebastian Fischer, Herbert Kuchen	Systematic generation of glass-box test cases for functional logic programs.	PPDP	2007	DBLP DOI BibTeX RDF	testing, declarative programming, code coverage
2	David G. Mitchell, Faraz Hach, Raheleh Mohebali	Faster Phylogenetic Inference with MXG.	LPAR	2007	DBLP DOI BibTeX RDF	Model Expansion, Declarative Programming, Phylogeny
2	Robin Abraham, Martin Erwig	Type inference for spreadsheets.	PPDP	2006	DBLP DOI BibTeX RDF	type inference, templates, end-user software engineering
2	Thom W. Frühwirth	Constraint handling rules: the story so far.	PPDP	2006	DBLP DOI BibTeX RDF	concurrency, applications, program analysis, constraint programming, constraint solving, executable specification, computational logic, rule-based programming
2	Rachid Echahed, Frédéric Prost	Security policy in a declarative style.	PPDP	2005	DBLP DOI BibTeX RDF	confidentiality, non-interference
2	Aaron Tomb, Cormac Flanagan	Automatic type inference via partial evaluation.	PPDP	2005	DBLP DOI BibTeX RDF	applications of declarative programming, logic programming, program analysis, type systems
2	Tope Omitola	Declarative control of the future home environment.	SAC	2005	DBLP DOI BibTeX RDF	rule-based control, rules, declarative programming, rule-based programming
2	Sheila A. McIlraith	Invited talk: towards declarative programming for web services.	PPDP	2004	DBLP DOI BibTeX RDF	ontologies, web services, semantic web, OWL, web service composition, automated reasoning
2	Nick Benton, Andrew Kennedy, Claudio V. Russo	Adventures in interoperability: the SML.NET experience.	PPDP	2004	DBLP DOI BibTeX RDF	applications of declarative programming, integration of paradigms, programming environments, functional programming
2	E. Poleo, G. Rossi	JAVASET: Declarative Programming in Java with Sets.	APPIA-GULP-PRODE	2003	DBLP BibTeX RDF
2	Rachid Echahed, Frédéric Prost, Wendelin Serwe	Statically assuring secrecy for dynamic concurrent processes.	PPDP	2003	DBLP DOI BibTeX RDF	abstract interpretation, safety, noninterference
2	Olof Torgersson	Declarative Programming and Clinical Medicine.	PADL	2002	DBLP BibTeX RDF	Definitional programming, Clinical Medicine, Integration with GUIs and Objective-C
2	Bernhard Gramlich, Salvador Lucas	Modular termination of context-sensitive rewriting.	PPDP	2002	DBLP DOI BibTeX RDF	context-sensitive rewriting, modular analysis and construction of programs, modular proofs of termination, program verification, declarative programming, evaluation strategies
2	María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas	Improving On-Demand Strategy Annotations.	LPAR	2002	DBLP DOI BibTeX RDF	on-demand strategy annotations, lazy evaluation, Declarative programming, demandness, OBJ
2	David A. Schmidt	Should UML Be Used for Declarative Programming?	PPDP	2001	DBLP BibTeX RDF
2	Samuel A. Rebelsky, Peter B. Henderson, Amruth N. Kumar, Frederick N. Springsteel	Why I do declare!: declarative programming in the undergraduate curriculum.	SIGCSE	2001	DBLP DOI BibTeX RDF
2	Yoshihiro Adachi	Intellisheet: A Spreadsheet System Expanded by Including Constraint Solvers.	HCC	2001	DBLP DOI BibTeX RDF	end-user programming environment, constraint programming, spreadsheet, declarative programming
2	Rachid Echahed, Wendelin Serwe	Combining Mobile Processes and Declarative Programming.	Computational Logic	2000	DBLP DOI BibTeX RDF
2	Michael Hanus	A Unified Computation Model for Declarative Programming.	APPIA-GULP-PRODE	1997	DBLP BibTeX RDF
2	Michael Hanus	Teaching Functional and Logic Programming with a Single Computational Model.	PLILP	1997	DBLP DOI BibTeX RDF	Keyword Functional logic languages, integration of paradigms, lazy evaluation, residuation, narrowing
2	Steve Gregory	A Declarative Approach to Concurrent Programming.	PLILP	1997	DBLP DOI BibTeX RDF
2	W. Marco Schorlemmer, Jaume Agustí-Cullell	Inclusional Theories in Declarative Programming.	APPIA-GULP-PRODE	1996	DBLP BibTeX RDF
2	Gary S. H. Tan, Yong Meng Teo	Experiences in simulating a declarative multiprocessor.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	declarative multiprocessor simulation, declarative programming languages, Flagship parallel reduction machine, packet-based graph reduction model, executional units, timing characteristics, event-driven timing scheme, tightly-coupled processor-store pairs, performance evaluation, performance evaluation, parallel architectures, virtual machines, timing, parallel machines, synchronisation, synchronisation, parallel languages, functional languages, functional languages, functional simulator, parallel computer architectures, MIMD architecture, delta network
2	John W. Lloyd	Practical Advtanages of Declarative Programming.	GULP-PRODE	1994	DBLP BibTeX RDF
2	Lubomir Bic, John M. A. Roy, Mark Nagel	Declarative Programming for Conventional MIMD Multiprocessors.	PARLE	1992	DBLP DOI BibTeX RDF
2	John Darlington, Roland Dietrich (eds.)	Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991	Declarative Programming	1992	DBLP BibTeX RDF
2	Sophia Drossopoulou, Ross Paterson, Susan Eisenbach	Parameterized Interfaces are Interfaces - AIAS.	Declarative Programming	1991	DBLP BibTeX RDF
2	Roland Olsson	Some Algorithms for Fast and Complete Execution of Logic Programs.	Declarative Programming	1991	DBLP BibTeX RDF
2	P. H. Cheong, Laurent Fribourg	A Survey of the Implementations of Narrowing.	Declarative Programming	1991	DBLP BibTeX RDF
2	T. C. Nicholas Graham	Temporal Constraint Functional Programming: A Declarative Framework for Concurrency and Interaction.	Declarative Programming	1991	DBLP BibTeX RDF
2	Wolfram Schulte, Wolfgang Grieskamp	Generating Efficient Portable Code for a Strict Applicative Language.	Declarative Programming	1991	DBLP BibTeX RDF
2	Mark Korsloot, Evan Tick	Sequentializing Parallel Programs.	Declarative Programming	1991	DBLP BibTeX RDF
2	Ed Voermans	Pers as Types, Inductive Types and Types with Laws.	Declarative Programming	1991	DBLP BibTeX RDF
2	Ross Paterson	A Tiny Functional Language with Logical Features.	Declarative Programming	1991	DBLP BibTeX RDF
2	Luís Monteiro, António Porto	Syntactic and Semantic Inheritance in Logic Programming.	Declarative Programming	1991	DBLP BibTeX RDF
2	Hendrik C. R. Lock	A Systematic Method for Designing Abstract Narrowing Machines.	Declarative Programming	1991	DBLP BibTeX RDF
2	Erik Meijer	More Advice on Proving a Compiler Correct: Improve a Correct Compiler.	Declarative Programming	1991	DBLP BibTeX RDF
2	Marc-Michel Corsini, Kaninda Musumbu	Failure Analysis Based on Abstract Interpretation.	Declarative Programming	1991	DBLP BibTeX RDF
2	Andrew Verden, Hugh Glaser	Intelligent Backtracking in And-Parallel Prolog.	Declarative Programming	1991	DBLP BibTeX RDF
2	Roland Dietrich	How to Use Guarded Functional Programming.	Declarative Programming	1991	DBLP BibTeX RDF
2	John Darlington, Yike Guo, Helen Pull	A Design Space for Integrating Declarative Languages.	Declarative Programming	1991	DBLP BibTeX RDF
2	Koen Langendoen, Willem G. Vree	Eight Queens Divided: an Experience in Parallel Functional Programming.	Declarative Programming	1991	DBLP BibTeX RDF
2	David Parrott, Chris D. Clack	A Common Graphical Form.	Declarative Programming	1991	DBLP BibTeX RDF
2	Andreas Kågedal, Feliks Kluzniak	Enriching Prolog with S-Unification.	Declarative Programming	1991	DBLP BibTeX RDF
2	John Darlington, Yike Guo, Helen Pull	Introducing Constraint Functional Logic Programming.	Declarative Programming	1991	DBLP BibTeX RDF
2	Konstantin Läufer, Martin Odersky	Type Classes are Signatures of Abstract Types.	Declarative Programming	1991	DBLP BibTeX RDF
2	Joanne L. Boyd, Gerald M. Karam	Prolog in "C".	SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	‘C’, Prolog, translation, declarative programming, procedure programming
1	John W. Lloyd, Kee Siong Ng	Declarative programming for agent applications.	Autonomous Agents and Multi-Agent Systems	2011	DBLP DOI BibTeX RDF
1	Salvador Abreu, Dietmar Seipel (eds.)	Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers	INAP	2011	DBLP DOI BibTeX RDF
1	Peter Schneider-Kamp, Michael Hanus (eds.)	Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark	PPDP	2011	DBLP BibTeX RDF
1	Nicolas Guenot	Nested proof search as reduction in the Lambda-calculus.	PPDP	2011	DBLP DOI BibTeX RDF
1	Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet	Typing control operators in the CPS hierarchy.	PPDP	2011	DBLP DOI BibTeX RDF
1	Tony Bourdier, Horatiu Cirstea	Symbolic analysis of network security policies using rewrite systems.	PPDP	2011	DBLP DOI BibTeX RDF
1	Georg Sauthoff, Stefan Janssen, Robert Giegerich	Bellman's GAP: a declarative language for dynamic programming.	PPDP	2011	DBLP DOI BibTeX RDF
1	Bernardo Toninho, Luís Caires, Frank Pfenning	Dependent session types via intuitionistic linear type theory.	PPDP	2011	DBLP DOI BibTeX RDF
1	Felix Schernhammer, José Meseguer	Incremental checking of well-founded recursive specifications modulo axioms.	PPDP	2011	DBLP DOI BibTeX RDF
1	Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov	Maintaining distributed logic programs incrementally.	PPDP	2011	DBLP DOI BibTeX RDF
1	Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar	Nitpicking c++ concurrency.	PPDP	2011	DBLP DOI BibTeX RDF
1	Jan Christiansen, Daniel Seidel	Minimally strict polymorphic functions.	PPDP	2011	DBLP DOI BibTeX RDF
1	Vitaly Lagoon	The challenges of constraint-based test generation.	PPDP	2011	DBLP DOI BibTeX RDF
1	Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo	CLP projection for constraint handling rules.	PPDP	2011	DBLP DOI BibTeX RDF
1	Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano	Graph-transformation verification using monadic second-order logic.	PPDP	2011	DBLP DOI BibTeX RDF
1	Dario Colazzo, Carlo Sartiani	Precision and complexity of XQuery type inference.	PPDP	2011	DBLP DOI BibTeX RDF
1	Andrey Rybalchenko	Towards automatic synthesis of software verification tools.	PPDP	2011	DBLP DOI BibTeX RDF
1	David Sabel, Manfred Schmidt-Schauß	A contextual semantics for concurrent Haskell with futures.	PPDP	2011	DBLP DOI BibTeX RDF
1	Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse	Protocol analysis in Maude-NPA using unification modulo homomorphic encryption.	PPDP	2011	DBLP DOI BibTeX RDF
1	Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie	Linearity and recursion in a typed Lambda-calculus.	PPDP	2011	DBLP DOI BibTeX RDF
1	Lars Middendorf, Christophe Bobda	Declarative Programming with Handel-C.	ERSA	2010	DBLP BibTeX RDF
1	Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni	Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?	25 Years GULP	2010	DBLP DOI BibTeX RDF
1	Temur Kutsia, Wolfgang Schreiner, Maribel Fernández (eds.)	Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria	PPDP	2010	DBLP BibTeX RDF
1	Max Grossman, Alina Simion Sbîrlea, Zoran Budimlic, Vivek Sarkar	CnC-CUDA: Declarative Programming for GPUs.	LCPC	2010	DBLP DOI BibTeX RDF
1	K. Tuncay Tekle, Yanhong A. Liu	Precise complexity analysis for efficient datalog queries.	PPDP	2010	DBLP DOI BibTeX RDF	demand-driven evaluation, optimization, program transformation, datalog, tabling, complexity analysis
1	Carl Friedrich Bolz, Michael Leuschel, David Schneider	Towards a jitting VM for prolog execution.	PPDP	2010	DBLP DOI BibTeX RDF	logic programming, interpreters, partial evaluation, jit
1	Paul Fodor, Michael Kifer	Tabling for transaction logic.	PPDP	2010	DBLP DOI BibTeX RDF
1	Patrick Baillot, Martin Hofmann	Type inference in intuitionistic linear logic.	PPDP	2010	DBLP DOI BibTeX RDF
1	Paul Tarau	Declarative modeling of finite mathematics.	PPDP	2010	DBLP DOI BibTeX RDF
1	Kenichi Asai, Arisa Kitani	Functional derivation of a virtual machine for delimited continuations.	PPDP	2010	DBLP DOI BibTeX RDF	cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization
1	Maria Paola Bonacina	On theorem proving for program checking: historical perspective and recent developments.	PPDP	2010	DBLP DOI BibTeX RDF	combination of theories, rewrite-based theorem proving, speculative inferences, satisfiability modulo theories
1	Andrew Gacek	Relating nominal and higher-order abstract syntax specifications.	PPDP	2010	DBLP DOI BibTeX RDF	higher-order abstract syntax, proof search, nominal logic
1	Thierry Martinez	Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules.	PPDP	2010	DBLP DOI BibTeX RDF
1	Miquel Bofill, Dídac Busquets, Mateu Villaret	A declarative approach to robust weighted Max-SAT.	PPDP	2010	DBLP DOI BibTeX RDF	max-sat, robustness
1	Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof	Declarative workflows to efficiently manage flexible and advanced business processes.	PPDP	2010	DBLP DOI BibTeX RDF	declarative workflow, executable specification language, temporal logic, business process management
1	Yukiyoshi Kameyama, Asami Tanaka	Equational axiomatization of call-by-name delimited control.	PPDP	2010	DBLP DOI BibTeX RDF
1	Senlin Liang, Michael Kifer	Deriving predicate statistics in datalog.	PPDP	2010	DBLP DOI BibTeX RDF	argument dependency, derived predicate statistics, query optimization, cost estimate
1	Florent Jacquemard, Michaël Rusinowitch	Rewrite-based verification of XML updates.	PPDP	2010	DBLP DOI BibTeX RDF	hedge automata, static typechecking, xml access control policies, xml updates, term rewriting
1	Gilles Dowek, Murdoch James Gabbay	Permissive-nominal logic.	PPDP	2010	DBLP DOI BibTeX RDF