Stem declar$ (all stems)

362 papers:

PODS-2015-Green #declarative #enterprise #named

LogiQL: A Declarative Language for Enterprise Applications (TJG), pp. 59–64.

PLDI-2015-Sivaramakrishnan #consistency #declarative #programming

Declarative programming over eventually consistent data stores (KCS, GK, SJ), pp. 413–424.

CAiSE-2015-GiacomoDMM #declarative #modelling #process

Declarative Process Modeling in BPMN (GDG, MD, FMM, MM), pp. 84–100.

CAiSE-2015-MrasekMB #automation #declarative #generative #modelling #process #specification

Automatic Generation of Optimized Process Models from Declarative Specifications (RM, JAM, KB), pp. 382–397.

MoDELS-2015-MontaghamiR #debugging #declarative #modelling

Pattern-based debugging of declarative models (VM, DR), pp. 322–327.

MoDELS-2015-OakesTLW #atl #contract #declarative #verification

Fully verifying transformation contracts for declarative ATL (BJO, JT, LL, MW), pp. 256–265.

OOPSLA-2015-BenderLP #declarative

Declarative fence insertion (JB, ML, JP), pp. 367–385.

PPDP-2015-CanoRLP #concurrent #declarative

Declarative interpretations of session-based concurrency (MC, CR, HAL, JAP), pp. 67–78.

PPDP-2015-ChenLJZL #automation #declarative #network #safety #source code #verification

Automated verification of safety properties of declarative networking programs (CC, LKL, LJ, WZ, BTL), pp. 79–90.

PADL-2015-DymchenkoM #problem

Declaratively Solving Google Code Jam Problems with Picat (SD, MM), pp. 50–57.

POPL-2015-AlurDR #declarative #named #string

DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations (RA, LD, MR), pp. 125–137.

SAC-2015-DymchenkoM #eclipse #problem #prolog

Declaratively solving tricky google code jam problems with prolog-based ECLiPSe CLP system (SD, MM), pp. 2122–2124.

ICSE-v2-2015-Stevens #declarative #query

A Declarative Foundation for Comprehensive History Querying (RS), pp. 907–910.

HPDC-2015-ZhouHCL #as a service #declarative #optimisation #resource management #workflow

A Declarative Optimization Engine for Resource Provisioning of Scientific Workflows in IaaS Clouds (ACZ, BH, XC, CTL), pp. 223–234.

PODS-2014-AmelootKNZ #declarative #fine-grained #network

Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture (TJA, BK, FN, DZ), pp. 64–75.

VLDB-2014-FuOPZ #component #declarative #javascript #named #using

FORWARD: Data-Centric UIs using Declarative Templates that Efficiently Wrap Third-Party JavaScript Components (YF, KWO, YP, EZ), pp. 1649–1652.

VLDB-2014-Markl #big data #data analysis #declarative #independence

Breaking the Chains: On Declarative Data Analysis and Data Independence in the Big Data Era (VM), pp. 1730–1733.

TACAS-2014-CaballeroMRT #debugging #declarative #erlang #named #source code

EDD: A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 581–586.

FLOPS-2014-Riesco #debugging #declarative #maude #semantics #using

Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging (AR), pp. 52–68.

ICEIS-v3-2014-SilvaOAL #declarative #empirical #imperative #process

Declarative Versus Imperative Business Process Languages — A Controlled Experiment (NCS, CALdO, FALAA, RMFL), pp. 394–401.

PLATEAU-2014-CoblenzAMS

Considering Productivity Effects of Explicit Type Declarations (MJC, JA, BAM, JS), pp. 59–61.

LOPSTR-2014-AriasLM #compilation #constraints #declarative #logic programming

Declarative Compilation for Constraint Logic Programming (EJGA, JL, JMC), pp. 299–316.

PPDP-2014-Karczmarczuk #concept #declarative #on the #quantum #tutorial

On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial) (JK), pp. 105–110.

PPDP-2014-LammelVLSF #declarative #development #tutorial

Declarative Software Development: Distilled Tutorial (RL, AV, ML, TS, JMF), pp. 1–6.

PPDP-2014-LucasM #declarative #logic #proving #source code #termination

Proving Operational Termination of Declarative Programs in General Logics (SL, JM), pp. 111–122.

PPDP-2014-NilssonP #declarative #game studies #programming #tutorial

Declarative Game Programming: Distilled Tutorial (HN, IP), pp. 159–160.

PADL-2014-Tarau #declarative #specification

A Declarative Specification of Giant Number Arithmetic (PT), pp. 120–135.

SAC-2014-BernardiCL #aspect-oriented #declarative #design pattern #development #programming #using

Declarative design pattern-based development using aspect oriented programming (MLB, MC, GADL), pp. 1625–1630.

SAC-2014-HenrioR #declarative #scheduling

Declarative scheduling for active objects (LH, JR), pp. 1339–1344.

SAC-2014-LaurentBBG #declarative #process

Planning for declarative processes (YL, RB, SB, MPG), pp. 1126–1133.

SAC-2014-MesmoudiH #declarative #framework #query #scalability

A test framework for large scale declarative queries: preliminary results (AM, MSH), pp. 858–859.

SIGMOD-2013-MoustafaMDG #analysis #declarative #interactive #named #network

GRDB: a system for declarative and interactive analysis of noisy information networks (WEM, HM, AD, LG), pp. 1085–1088.

VLDB-2013-SarwatEHM #declarative #distributed #graph #query #reachability

Horton+: A Distributed System for Processing Declarative Reachability Queries over Partitioned Graphs (MS, SE, YH, MFM), pp. 1918–1929.

IFL-2013-DenuziereRG #declarative #modelling #specification #user interface

Piglets to the rescue: Declarative User Interface Specification with Pluggable View Models (LD, ER, AG), p. 105.

CHI-2013-LuL #authoring #gesture #interactive #multi

Gesture studio: authoring multi-touch interactions through demonstration and declaration (HL, YL), pp. 257–266.

CAiSE-2013-MaggiBA #approach #knowledge-based

A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps (FMM, RPJCB, WMPvdA), pp. 433–448.

SEKE-2013-SilvaOL #declarative #explosion #modelling #problem #process

A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (S) (NCS, CALO, RMFL), pp. 26–29.

ECMFA-2013-Storrle #ad hoc #declarative #named #query

MOCQL: A Declarative Language for Ad-Hoc Model Querying (HS), pp. 3–19.

Onward-2013-OhshimaLFK #declarative #framework #interactive #user interface

KScript and KSWorld: a time-aware and mostly declarative language and interactive GUI framework (YO, AL, BF, TK), pp. 117–134.

GPCE-2013-0001RN #abstract syntax tree #declarative #fine-grained #mining #source code

Declarative visitors to ease fine-grained source code mining with full history on billions of AST nodes (RD, HR, TNN), pp. 23–32.

GPCE-2013-SujeethGBLROO #declarative #domain-specific language #generative #implementation #named #performance #specification

Forge: generating a high performance DSL implementation from a declarative specification (AKS, AG, KJB, HL, TR, MO, KO), pp. 145–154.

PPDP-2013-LamoMRL #approach #bidirectional #declarative #graph #model transformation

A declarative and bidirectional model transformation approach based on graph co-spans (YL, FM, AR, JdL), pp. 1–12.

PADL-2013-CanouCB #api #documentation #web

A Declarative-Friendly API for Web Document Manipulation (BC, EC, VB), pp. 109–124.

PADL-2013-KlintP #2d #declarative #independence #library

A Library for Declarative Resolution-Independent 2D Graphics (PK, AvdP), pp. 1–18.

PADL-2013-MachadoAD #declarative #parallel #performance #programming #using

Parallel Performance of Declarative Programming Using a PGAS Model (RM, SA, DD), pp. 244–260.

PADL-2013-RodriguesASF #abstraction #analysis #composition #declarative #multi #using

A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction (VR, BA, SMdS, MF), pp. 43–59.

SAC-2013-MontaliCMM #constraints #towards

Towards data-aware constraints in declare (MM, FC, PM, FMM), pp. 1391–1396.

ICSE-2013-BeschastnikhBAEK #algorithm #declarative #specification

Unifying FSM-inference algorithms through declarative specification (IB, YB, JA, MDE, AK), pp. 252–261.

HPDC-2013-GillLHNGL #composition #declarative #framework #manycore #named #scalability

Scalanytics: a declarative multi-core platform for scalable composable traffic analytics (HG, DL, XH, CN, TG, BTL), pp. 61–72.

ICLP-J-2013-MaLWRL #analysis #approach #declarative #distributed #execution #specification

A declarative approach to distributed computing: Specification, execution and analysis (JM, FL, DW, AR, JL), pp. 815–830.

ICLP-J-2013-MazuranSZ #datalog #declarative #horn clause

A declarative extension of horn clauses, and its significance for datalog and its applications (MM, ES, CZ), pp. 609–623.

ISSTA-2013-SamimiHFM #declarative

Declarative mocking (HS, RH, AF, TDM), pp. 246–256.

TAP-2013-CaballeroMRT #debugging #declarative #erlang #source code

A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 96–114.

SIGMOD-2012-BoltonIRT #declarative #development #encapsulation #javascript #web

Declarative web application development: encapsulating dynamic JavaScript widgets (abstract only) (RB, DI, CR, KLT), p. 863.

SIGMOD-2012-KanneE #data-driven #declarative #fault #robust

Declarative error management for robust data-intensive applications (CCK, VE), pp. 205–216.

VLDB-2012-LiuRLMB #constraints #declarative #distributed #framework #named #optimisation

Cologne: A Declarative Distributed Constraint Optimization Platform (CL, LR, BTL, YM, PB), pp. 752–763.

VLDB-2012-MorishimaSMAF #crowdsourcing #declarative #framework #named

CyLog/Crowd4U: A Declarative Platform for Complex Data-centric Crowdsourcing (AM, NS, TM, HA, SF), pp. 1918–1921.

VLDB-2012-ParkPPGPW #crowdsourcing #declarative #named

Deco: A System for Declarative Crowdsourcing (HP, RP, AGP, HGM, NP, JW), pp. 1990–1993.

TFPIE-2012-StutterheimSS #declarative #education #programming #prolog

Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht (JS, WS, SDS), pp. 50–62.

WRLA-J-2010-RiescoVMC12 #debugging #declarative #logic #specification

Declarative debugging of rewriting logic specifications (AR, AV, NMO, RC), pp. 851–897.

FLOPS-2012-Bouma #declarative #logic #persistent #realtime

Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) (GB), pp. 62–72.

FLOPS-2012-CaballeroGS #debugging #declarative #sql

Declarative Debugging of Wrong and Missing Answers for SQL Views (RC, YGR, FSP), pp. 73–87.

IFM-2012-SchunselaarMS #declarative #modelling

Patterns for a Log-Based Strengthening of Declarative Compliance Models (DMMS, FMM, NS), pp. 327–342.

CAiSE-2012-MaggiBA #declarative #modelling #performance #process

Efficient Discovery of Understandable Declarative Process Models from Event Logs (FMM, RPJCB, WMPvdA), pp. 270–285.

EDOC-2012-BurattinMAS #analysis #declarative #process

Techniques for a Posteriori Analysis of Declarative Processes (AB, FMM, WMPvdA, AS), pp. 41–50.

CIKM-2012-ParameswaranPGPW #crowdsourcing #declarative #named

Deco: declarative crowdsourcing (AGP, HP, HGM, NP, JW), pp. 1203–1212.

KR-2012-BahmaniBKL #declarative #dependence #set #source code

Declarative Entity Resolution via Matching Dependencies and Answer Set Programs (ZB, LEB, SK, LVSL).

KR-2012-BaralL #declarative #reasoning #representation

From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP (CB, SL).

MoDELS-2012-JacksonSB #constraints #declarative #detection #fault #specification

Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.

MoDELS-2012-JacksonSB #constraints #declarative #detection #fault #specification

Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.

ECOOP-2012-ReichenbachSI #java #named #parallel #programming

PQL: A Purely-Declarative Java Extension for Parallel Programming (CR, YS, NI), pp. 53–78.

LOPSTR-2012-ChristiansenHLP #data analysis #declarative #pipes and filters

A Declarative Pipeline Language for Complex Data Analysis (HC, CTH, OTL, MP), pp. 17–34.

LOPSTR-2012-InsaST #debugging #declarative

Enhancing Declarative Debugging with Loop Expansion and Tree Compression (DI, JS, CT), pp. 71–88.

PPDP-2012-LopezCC #declarative #distributed #experience #industrial

Declarative distributed advertisement system for iDTV: an industrial experience (ML, LMC, DC), pp. 185–194.

PADL-2012-GoldbergW #approach #declarative #modelling

A Declarative Approach for Software Modeling (MG, GW), pp. 18–32.

PADL-2012-LierlerSTW #declarative #problem

Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving (YL, SS, MT, AW), pp. 63–77.

PADL-2012-LooGLMMSWZ #declarative #network

Recent Advances in Declarative Networking (BTL, HG, CL, YM, WRM, MS, AW, WZ), pp. 1–16.

PADL-2012-Tarau #declarative #specification

A Declarative Specification of Tree-Based Symbolic Arithmetic Computations (PT), pp. 273–288.

SAC-2012-MetivierBCKL #constraints #declarative

A constraint language for declarative pattern discovery (JPM, PB, BC, MK, SL), pp. 119–125.

FSE-2012-CugolaGPT #adaptation #declarative #mobile #named

SelfMotion: a declarative language for adaptive service-oriented mobile apps (GC, CG, LSP, GT), p. 7.

LDTA-2012-VollebregtKV #declarative #editing #specification

Declarative specification of template-based textual editors (TV, LCLK, EV), p. 8.

SLE-2012-KonatKWV #declarative

Declarative Name Binding and Scope Rules (GDPK, LCLK, GW, EV), pp. 311–331.

ICLP-J-2012-BliemMW #declarative #named #problem #programming #using

D-FLAT: Declarative problem solving using tree decompositions and answer-set programming (BB, MM, SW), pp. 445–464.

ASE-2011-VakiliD #declarative #model checking #modelling #using

Using model checking to analyze static properties of declarative models (AV, NAD), pp. 428–431.

PODS-2011-AmelootNB #declarative #network #relational #transducer

Relational transducers for declarative networking (TJA, FN, JVdB), pp. 283–292.

SIGMOD-2011-ArasuKL #constraints #declarative #generative #using

Data generation using declarative constraints (AA, RK, JL), pp. 685–696.

SIGMOD-2011-GuptaKRBGK #coordination #data-driven #declarative #query

Entangled queries: enabling declarative data-driven coordination (NG, LK, SR, GB, JG, CK), pp. 673–684.

SIGMOD-2011-WangFGHW #declarative #hybrid #information management

Hybrid in-database inference for declarative information extraction (DZW, MJF, MNG, JMH, MLW), pp. 517–528.

SIGMOD-2011-ZhouFSTHILS #declarative #distributed #framework #maintenance #named #query

NetTrails: a declarative platform for maintaining and querying provenance in distributed systems (WZ, QF, SS, TT, AH, ZGI, BTL, MS), pp. 1323–1326.

VLDB-2011-ArasuKL #constraints #declarative #generative #named #using

DataSynth: Generating Synthetic Data using Declarative Constraints (AA, RK, JL), pp. 1418–1421.

VLDB-2011-BorisovB #approach #declarative #detection #towards

Proactive Detection and Repair of Data Corruption: Towards a Hassle-free Declarative Approach with Amulet (NB, SB), pp. 1403–1408.

PLDI-2011-MurrayIY #automation #declarative #named #optimisation #query

Steno: automatic optimization of declarative queries (DGM, MI, YY), pp. 121–131.

SEFM-2011-HildebrandtMS #declarative #process

Safe Distribution of Declarative Processes (TTH, RRM, TS), pp. 237–252.

EDOC-2011-VaculinHHCNS #declarative #modelling #process

Declarative business artifact centric modeling of decision and knowledge intensive business processes (RV, RH, TH, CC, AN, PS), pp. 151–160.

ICEIS-v2-2011-RenW #perspective

Declare Value Transportation — An Incomplete Contracting View (YR, QW), pp. 373–377.

KDIR-2011-HubwieserM #declarative #named #object-oriented

Knowpats: Patterns of Declarative Knowledge — Searching Frequent Knowledge Patterns about Object-orientation (PH, AM), pp. 358–364.

OOPSLA-2011-HemelV #mobile #programming #web

Declaratively programming the mobile web with Mobl (ZH, EV), pp. 695–712.

GPCE-2011-LindemanKV #domain-specific language

Declaratively defining domain-specific language debuggers (RTL, LCLK, EV), pp. 127–136.

LOPSTR-2011-Almendros-JimenezCGS #declarative #functional #xquery

A Declarative Embedding of XQuery in a Functional-Logic Language (JMAJ, RC, YGR, FSP), pp. 42–56.

LOPSTR-2011-CaballeroRVM #debugging #declarative #maude #proving

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (RC, AR, AV, NMO), pp. 73–89.

PPDP-2011-SauthoffJG #declarative #programming

Bellman’s GAP: a declarative language for dynamic programming (GS, SJ, RG), pp. 29–40.

PPDP-2011-VirsedaM #composition #constraints #declarative #higher-order #programming #semantics

A modular semantics for higher-order declarative programming with constraints (RdVV, FPM), pp. 41–52.

PADL-2011-HolkBWHCL #communication #declarative #named

Kanor — A Declarative Language for Explicit Communication (EH, WEB, JW, TH, AC, AL), pp. 190–204.

PADL-2011-KrajcevskiR #api #declarative

A Declarative API for Particle Systems (PK, JHR), pp. 130–144.

PADL-2011-RedlEK #declarative #set #using

Declarative Belief Set Merging Using Merging Plans (CR, TE, TK), pp. 99–114.

ICSE-2011-MilicevicRYJ #declarative #execution #imperative

Unifying execution of imperative and declarative code (AM, DR, KY, DJ), pp. 511–520.

ICSE-2011-Pinto #approach #composition #declarative #flexibility

A declarative approach to enable flexible and dynamic service compositions (LSP), pp. 1130–1131.

ASPLOS-2011-SchupbachBRP #approach #declarative

A declarative language approach to device configuration (AS, AB, TR, SP), pp. 119–132.

ICLP-2011-Brass #declarative

Declarative Output by Ordering Text Pieces (SB), pp. 151–161.

ICLP-2011-Hanus #declarative #web

Declarative Processing of Semistructured Web Data (MH), pp. 198–208.

ICSM-2010-MirzaAghaeiPP #automation #evolution #testing

Automatically repairing test cases for evolving method declarations (MM, FP, MP), pp. 1–5.

ICGT-2010-SpicherMG #declarative #using

Declarative Mesh Subdivision Using Topological Rewriting in MGS (AS, OM, JLG), pp. 298–313.

ICEIS-HCI-2010-TranKVW #declarative #generative #modelling #user interface #using

Using Task and Data Models for user Interface Declarative Generation (VT, MK, JV, YW), pp. 155–160.

OOPSLA-2010-KatsV #declarative #ide #specification #spoofax

The spoofax language workbench: rules for declarative specification of languages and IDEs (LCLK, EV), pp. 444–463.

OOPSLA-2010-KatsVW #declarative #syntax

Pure and declarative syntax definition: paradise lost and regained (LCLK, EV, GW), pp. 918–932.

PPDP-2010-BofillBV #approach #declarative #robust #satisfiability

A declarative approach to robust weighted Max-SAT (MB, DB, MV), pp. 67–76.

PPDP-2010-DemeyerALV #declarative #flexibility #process #workflow

Declarative workflows to efficiently manage flexible and advanced business processes (RD, MVA, LL, WV), pp. 209–218.

PPDP-2010-Tarau #declarative #finite #modelling

Declarative modeling of finite mathematics (PT), pp. 131–142.

PADL-2010-HanusK #declarative #framework #programming #web

An ER-Based Framework for Declarative Web Programming (MH, SK), pp. 201–216.

POPL-2010-DiasR #automation #declarative #generative #using

Automatically generating instruction selectors using declarative machine descriptions (JD, NR), pp. 403–416.

SAC-2010-Bollen #declarative #enterprise #modelling #semantics

Fact-oriented declarative semantic enterprise modeling (PB), pp. 167–168.

LDTA-2009-BaggeH10 #concept #matter #why

Interfacing Concepts: Why Declaration Style Shouldn’t Matter (AHB, MH), pp. 37–50.

ICLP-2010-Demeyer10 #concurrent #declarative #program analysis #programming

Program Analysis to Support Concurrent Programming in Declarative Languages (RD), pp. 248–254.

ICLP-J-2010-Rodriguez-ArtalejoR #declarative #proximity #semantics

A declarative semantics for CLP with qualification and proximity (MRA, CARD), pp. 627–642.

RTA-2010-RiescoVM #debugging #declarative #maude

Declarative Debugging of Missing Answers for Maude (AR, AV, NMO), pp. 277–294.

DocEng-2009-ConcolatoFD #declarative #interface

Declarative interfaces for dynamic widgets communications (CC, JLF, JCD), pp. 241–244.

DocEng-2009-KuijkGCB #declarative #documentation #multi #visual notation

Adding dynamic visual manipulations to declarative multimedia documents (FK, RLG, PC, DCAB), pp. 149–152.

DocEng-2009-SoaresMS #declarative #hypermedia #imperative

Relating declarative hypermedia objects and imperative objects through the NCL glue language (LFGS, MFM, FS), pp. 222–230.

SIGMOD-2009-DindarGLOST #declarative #named #pattern matching

DejaVu: declarative pattern matching over live and archived streams of events (ND, BG, PL, AÖ, MS, NT), pp. 1023–1026.

VLDB-2009-GuoJBS #database #declarative

Declarative Database Management in SQLServer (HG, DJ, JLB, PS), pp. 1294–1305.

WRLA-2008-CaballeroMRV09 #debugging #declarative #functional #maude

A Declarative Debugger for Maude Functional Modules (RC, NMO, AR, AV), pp. 63–81.

HCI-NT-2009-LucasAW #composition #declarative #development #named #programming #web

Collage: A Declarative Programming Model for Compositional Development of Web Applications (BL, RPA, CW), pp. 856–865.

CAiSE-2009-WeberRZW #approach #declarative #empirical #execution #process

The Declarative Approach to Business Process Execution: An Empirical Test (BW, HAR, SZ, WW), pp. 470–485.

OOPSLA-2009-BravenboerS #analysis #declarative #points-to #specification #strict

Strictly declarative specification of sophisticated points-to analyses (MB, YS), pp. 243–262.

LOPSTR-2009-Vidal #declarative #partial evaluation #scalability #source code #towards

Towards Scalable Partial Evaluation of Declarative Programs (GV), pp. 1–4.

PPDP-2009-CodishGS #declarative #encoding #satisfiability

A declarative encoding of telecommunications feature subscription in SAT (MC, SG, PJS), pp. 255–266.

PPDP-2009-IranzoR #declarative #prolog #semantics

A declarative semantics for Bousi~Prolog (PJI, CRM), pp. 149–160.

PPDP-2009-Tarau #data transformation #declarative #embedded #model transformation

An embedded declarative data transformation language (PT), pp. 171–182.

PPDP-2009-Virseda #algorithm #debugging #declarative #framework #higher-order #logic #source code #verification

A higher-order logical framework for the algorithmic debugging and verification of declarative programs (RdVV), pp. 49–60.

PADL-2009-HanusK #declarative #programming #user interface

Declarative Programming of User Interfaces (MH, CK), pp. 16–30.

PADL-2009-NavarroR #declarative #network #semantics

Operational Semantics for Declarative Networking (JANP, AR), pp. 76–90.

PADL-2009-TranNPS #consistency #declarative #performance #specification #static analysis

Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications (DVT, HKN, EP, TCS), pp. 239–253.

PADL-2009-WangBLS #declarative #network #verification

Declarative Network Verification (AW, PB, BTL, OS), pp. 61–75.

SAC-2009-SoaresRCB #declarative #xml

Variable handling in time-based XML declarative languages (LFGS, RFR, RC, SDJB), pp. 1821–1828.

LDTA-2008-Nilsson-NymanHME09 #analysis #declarative #java #source code

Declarative Intraprocedural Flow Analysis of Java Source Code (ENN, GH, EM, TE), pp. 155–171.

SLE-2009-BauerE #declarative #haskell

Declarative Scripting in Haskell (TB, ME), pp. 294–313.

CAV-2009-PerezRS #abstraction #declarative #network

Cardinality Abstraction for Declarative Networking Applications (JANP, AR, AS), pp. 584–598.

ICLP-2009-ArandaAOPRTV #bibliography #declarative

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems (JA, GA, CO, JAP, CR, MT, FDV), pp. 509–513.

SIGMOD-2008-BohmMK #declarative #development #distributed

The Demaq system: declarative development of distributed applications (AB, EM, CCK), pp. 1311–1314.

SIGMOD-2008-GedikAWYD #declarative #named

SPADE: the system s declarative stream processing engine (BG, HA, KLW, PSY, MD), pp. 1123–1134.

VLDB-2008-CondieCHM #declarative #network

Evita raced: metacompilation for declarative networks (TC, DC, JMH, PM), pp. 1153–1165.

FLOPS-2008-Benton #declarative #dynamic typing #type system

Undoing Dynamic Typing (Declarative Pearl) (NB), pp. 224–238.

FLOPS-2008-CaballeroRV #constraints #declarative #functional #logic programming

Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 305–321.

FLOPS-2008-KiselyovBFS #declarative

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) (OK, WEB, DPF, CcS), pp. 64–80.

FM-2008-TorlakCJ #declarative #satisfiability #specification

Finding Minimal Unsatisfiable Cores of Declarative Specifications (ET, FSHC, DJ), pp. 326–341.

FM-2008-UzuncaovaK #analysis #constraints #declarative #modelling #performance

Constraint Prioritization for Efficient Analysis of Declarative Models (EU, SK), pp. 310–325.

ICFP-2008-FischerK #data flow #declarative #source code #testing

Data-flow testing of declarative programs (SF, HK), pp. 201–212.

MoDELS-2008-CabotCGL #analysis #declarative #invariant #model transformation

An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.

MoDELS-2008-CabotCGL #analysis #declarative #invariant #model transformation

An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.

PPDP-2008-Leuschel #declarative #programming #verification

Declarative programming for verification: lessons and outlook (ML), pp. 1–7.

PPDP-2008-PlasmeijerJKA #ajax #declarative #evaluation #using #workflow

Declarative Ajax and client side evaluation of workflows using iTasks (RP, JMJ, PWMK, PA), pp. 56–66.

PADL-2008-BeckerN #abduction #declarative #policy

The Role of Abduction in Declarative Authorization Policies (MYB, SN), pp. 84–99.

PADL-2008-EshkevariAC #analysis #aspect-oriented #comprehension #declarative #dependence #reasoning #source code

Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning (LME, VA, CC), pp. 35–52.

OSDI-2008-GunawiRAA #declarative #file system #named

SQCK: A Declarative File System Checker (HSG, AR, ACAD, RHAD), pp. 131–146.

ICLP-2008-CaropreseT #constraints #declarative #semantics

Declarative Semantics for Active Integrity Constraints (LC, MT), pp. 269–283.

ICLP-2008-CiprianoDM #compilation #declarative #modelling

Compiling and Executing Declarative Modeling Languages to Gecode (RC, AD, JM), pp. 744–748.

ICLP-2008-CliffeVBP #animation #declarative #named #programming #set #using #visualisation

ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming (OC, MDV, MB, JAP), pp. 724–728.

ICLP-2008-MontaliTACGLM #declarative #logic programming #specification #using #verification

Verification from Declarative Specifications Using Logic Programming (MM, PT, MA, FC, MG, EL, PM), pp. 440–454.

ICLP-2008-MuggletonST #bias #declarative #logic programming #named #using

TopLog: ILP Using a Logic Program Declarative Bias (SM, JCAS, ATN), pp. 687–692.

ICLP-2008-NearBF #declarative #first-order #logic #named #proving #theorem proving

αleanTAP: A Declarative Theorem Prover for First-Order Classical Logic (JPN, WEB, DPF), pp. 238–252.

ICLP-2008-Santos #bias #declarative #logic programming #named #using

TopLog: ILP Using a Logic Program Declarative Bias (JCAS), pp. 818–819.

DocEng-2007-ThompsonKS #declarative #xml

Declarative extensions of XML languages (SJT, PRK, PS), pp. 89–91.

SIGMOD-2007-ChandelHKSS #approximate #benchmark #declarative #metric

Benchmarking declarative approximate selection predicates (AC, OH, NK, MS, DS), pp. 353–364.

VLDB-2007-ShenDNR #datalog #declarative #embedded #information management #using

Declarative Information Extraction Using Datalog with Embedded Extraction Predicates (WS, AD, JFN, RR), pp. 1033–1044.

FASE-2007-BachFS #eclipse #plugin #programming

Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types (MB, FF, FS), pp. 117–120.

ICFP-2007-Lloyd #declarative #programming

Declarative programming for artificial intelligence applications (JWL), pp. 123–124.

CAiSE-2007-WeisM #declarative #xml

Declarative XML Data Cleaning with XClean (MW, IM), pp. 96–110.

EDOC-2007-PesicSA #named #process

DECLARE: Full Support for Loosely-Structured Processes (MP, HS, WMPvdA), pp. 287–300.

ICEIS-DISI-2007-RaminhosP #approach #declarative #using

Extraction and transformation of data from semi-structured text files using a declarative approach (RR, JMP), pp. 199–205.

ECOOP-2007-VaziriTFD #declarative #using

Declarative Object Identity Using Relation Types (MV, FT, SF, JD), pp. 54–78.

TOOLS-EUROPE-2007-GoderisDPD #declarative #framework #user interface

DEUCE : A Declarative Framework for Extricating User Interface Concerns (SG, DD, EVP, TD), pp. 87–104.

PPDP-2007-BentonF #declarative #implementation #interactive #program analysis #prototype #scalability

Interactive, scalable, declarative program analysis: from prototype to implementation (WCB, CNF), pp. 13–24.

PPDP-2007-Hanus #declarative #javascript #programming #web

Putting declarative programming into the web: translating curry to javascript (MH), pp. 155–166.

PADL-2007-Bond #declarative #modelling

BAD, a Declarative Logic-Based Language for Brain Modeling (AHB), pp. 200–214.

SAC-2007-LawleyR #declarative #implementation #model transformation

Implementing a practical declarative logic-based model transformation engine (ML, KR), pp. 971–977.

ICSE-2007-UzuncaovaK #declarative #named #slicing #specification

Kato: A Program Slicing Tool for Declarative Specifications (EU, SK), pp. 767–770.

CC-2007-FalconerKIMFB #analysis #declarative #framework #optimisation

A Declarative Framework for Analysis and Optimization (HF, PHJK, DMI, MRM, TF, OB), pp. 218–232.

ICLP-2007-CaballeroRV #constraints #debugging #declarative #functional #logic programming

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 425–427.

ICLP-2007-FalaschiOPV #concurrent #constraints #declarative #source code

Declarative Diagnosis of Temporal Concurrent Constraint Programs (MF, CO, CP, FV), pp. 271–285.

ICLP-2007-Hanus #declarative #multi

Multi-paradigm Declarative Languages (MH), pp. 45–75.

SIGMOD-2006-GawlickKL #database #declarative #using

Using the oracle database as a declarative RSS hub (DG, MK, ZHL), p. 722.

SIGMOD-2006-LooCGGHMRRS #declarative #execution #network #optimisation

Declarative networking: language, execution and optimization (BTL, TC, MNG, DEG, JMH, PM, RR, TR, IS), pp. 97–108.

VLDB-2006-ChuT0H #declarative #network

Entirely Declarative Sensor Network Systems (DC, AT, LP, JMH), pp. 1203–1206.

SEFM-2006-ZhangHW #component #declarative #modelling #performance #scheduling #uml #using

Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time (YZ, TH, JW), pp. 246–258.

ICEIS-AIDSS-2006-GolfinopoulosSMP #declarative #design #knowledge-based #modelling

A Knowledge-Based Reverse Design System for Declarative Scene Modeling (VG, VMS, GM, DP), pp. 82–90.

ECIR-2006-CornacchiaV #approach #declarative #information retrieval

A Declarative DB-Powered Approach to IR (RC, APdV), pp. 543–547.

OOPSLA-2006-BravenboerTV #aspectj #declarative #syntax

Declarative, formal, and extensible syntax definition for aspectJ (MB, ÉT, EV), pp. 209–228.

PADL-2006-MacLartyS #debugging #declarative

Controlling Search Space Materialization in a Practical Declarative Debugger (IM, ZS), pp. 31–44.

PADL-2006-Volder #declarative #named

JQuery: A Generic Code Browser with a Declarative Configuration Language (KDV), pp. 88–102.

ICSE-2006-ChangJ #declarative #model checking #modelling #relational

Symbolic model checking of declarative relational models (FSHC, DJ), pp. 312–320.

CC-2006-DiasR #assembly #declarative #using

Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions (JD, NR), pp. 217–231.

ICLP-2006-Brain #declarative #problem #semantics #set #using

Declarative Problem Solving Using Answer Set Semantics (MB), pp. 459–460.

ICLP-2006-CaballeroRV #constraints #declarative #functional #logic programming

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 421–422.

ICLP-2006-CaropreseGSZ #declarative #maintenance #semantics

Declarative Semantics of Production Rules for Integrity Maintenance (LC, SG, CS, EZ), pp. 26–40.

ICLP-2006-LopezPPRV #concurrent #constraints #declarative #framework #programming #security

A Declarative Framework for Security: Secure Concurrent Constraint Programming (HAL, CP, JAP, CR, FDV), pp. 449–450.

ICLP-2006-UedaKHM #declarative

LMNtal as a Unifying Declarative Language: Live Demonstration (KU, NK, KH, KM), pp. 457–458.

WICSA-2005-IngstrupH #approach #architecture #declarative

A Declarative Approach to Architectural Reflection (MI, KMH), pp. 149–158.

CAiSE-2005-AnderssonBEIJ #declarative #modelling #process

A Declarative Foundation of Process Models (BA, MB, AE, TI, PJ), pp. 233–247.

OOPSLA-2005-DoorenS #exception #flexibility #robust #using

Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations (MvD, ES), pp. 455–471.

LOPSTR-2005-AntoyH #declarative #programming

Declarative Programming with Function Patterns (SA, MH), pp. 6–22.

PPDP-2005-EchahedP #declarative #policy #security

Security policy in a declarative style (RE, FP), pp. 153–163.

PPDP-2005-JagadeesanM #approach #constraints #declarative #programming

Timed constraint programming: a declarative approach to usage control (RJ, WM, CP, VAS), pp. 164–175.

PADL-2005-Ramsey #compilation #declarative

Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction (NR), pp. 1–4.

PADL-2005-TanasescuW #configuration management #declarative

Role-Based Declarative Synchronization for Reconfigurable Systems (VT, PTW), pp. 52–66.

SAC-2005-Lu #correctness #declarative

Use of correctness assertions in declarative diagnosis (LL), pp. 1404–1408.

SAC-2005-Omitola #declarative

Declarative control of the future home environment (TO), pp. 1626–1627.

SOSP-2005-LooCHMRS #declarative #implementation

Implementing declarative overlays (BTL, TC, JMH, PM, TR, IS), pp. 75–90.

SAT-2005-MarinovKBZR #compilation #declarative #modelling #optimisation

Optimizations for Compiling Declarative Models into Boolean Formulas (DM, SK, SB, LZ, MCR), pp. 187–202.

SIGMOD-2004-BrambillaCCDFM #declarative #specification #web #web service #workflow

Declarative Specification of Web Applications exploiting Web Services and Workflows (MB, SC, SC, MD, PF, IM), pp. 909–910.

PEPM-2004-AndersenS #declarative

Declarative specialization for object-oriented-program specialization (HMA, UPS), pp. 27–38.

PEPM-2004-McIlraith #declarative #programming #towards #web #web service

Invited talk: towards declarative programming for web services (SAM), pp. 1–2.

SAS-2004-McIlraith #declarative #programming #towards #web #web service

Towards Declarative Programming for Web Services (SAM), p. 21.

FLOPS-2004-CaballeroR #debugging #declarative #functional #named

DDT: a Declarative Debugging Tool for Functional-Logic Languages (RC, MRA), pp. 70–84.

AFP-2004-Pope04 #debugging #declarative

Declarative Debugging with Buddha (BP), pp. 273–308.

GPCE-2004-CepaM #dependence #dot-net

Declaring and Enforcing Dependencies Between .NET Custom Attributes (VC, MM), pp. 283–297.

PDCL-2004-BossiCER #declarative #logic programming #semantics #source code

Declarative Semantics of Input Consuming Logic Programs (AB, NC, SE, SR), pp. 90–114.

PPDP-2004-BrasselHHV #declarative #multi #semantics #source code

A semantics for tracing declarative multi-paradigm programs (BB, MH, FH, GV), pp. 179–190.

PPDP-2004-Lopez-FraguasRV #calculus #constraints #declarative #lazy evaluation #programming

A lazy narrowing calculus for declarative constraint programming (FJLF, MRA, RdVV), pp. 43–54.

PPDP-2004-McIlraith #declarative #programming #towards #web #web service

Invited talk: towards declarative programming for web services (SAM), pp. 3–4.

PADL-2004-Fall #declarative #nondeterminism

Supporting Decisions in Complex, Uncertain Domains with Declarative Languages (AF), pp. 16–22.

SAC-2004-InverardiMN #adaptation #declarative #framework

A declarative framework for adaptable applications in heterogeneous environments (PI, FM, MN), pp. 1177–1183.

FSE-2004-WalkerV #declarative #implementation #protocol

Implementing protocols via declarative event patterns (RJW, KV), pp. 159–169.

CC-2004-LindigR #composition #declarative #stack

Declarative Composition of Stack Frames (CL, NR), pp. 298–312.

ASE-2003-HeringtonS #coordination #declarative #framework #named

DeCo: A Declarative Coordination Framework for Scientific Model Federations (DH, PDS), pp. 60–69.

ASE-2003-ShlyakhterSJST #debugging #declarative #modelling #satisfiability #using

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores (IS, RS, DJ, MS, MT), pp. 94–105.

EDOC-2003-DuddyGLRS #approach #declarative #model transformation #reuse

Model Transformation: A declarative, reusable patterns approach (KD, AG, ML, KR, JS), pp. 174–185.

OOPSLA-2003-FahndrichL #object-oriented

Declaring and checking non-null types in an object-oriented language (MF, KRML), pp. 302–312.

PPDP-2003-PopeN #aspect-oriented #debugging #declarative #haskell

Practical aspects of declarative debugging in Haskell 98 (BP, LN), pp. 230–240.

PADL-2003-Page #biology #database #declarative #mining

The Role of Declarative Languages in Mining Biological Databases (CDPJ), p. 1.

ICLP-2003-DrejhammarSBH #concurrent #declarative #java

Flow Java: Declarative Concurrency for Java (FD, CS, PB, SH), pp. 346–360.

ICLP-2003-GuoG

A New Mode Declaration for Tabled Predicates (HFG, GG), pp. 485–486.

DAC-2002-SiegmundM #communication #declarative #hardware #novel #protocol #specification #synthesis

A novel synthesis technique for communication controller hardware from declarative data communication protocol specifications (RS, DM), pp. 602–607.

SCAM-2002-AversanoPB

Handling Preprocessor-Conditioned Declarations (LA, MDP, IDB), pp. 83–92.

SCAM-2002-BunusF #combinator #declarative #equation #graph transformation #semantics

Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages (PB, PF), pp. 163–172.

KR-2002-WinikoffPHT #declarative

Declarative & Procedural Goals in Intelligent Agent Systems (MW, LP, JH, JT), pp. 470–481.

LOPSTR-2002-Vidal #declarative #multi #partial evaluation #slicing #source code

Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation (GV), pp. 219–237.

PADL-2002-BunusF #debugging #declarative #equation #modelling

A Debugging Scheme for Declarative Equation Based Modeling Languages (PB, PF), pp. 280–298.

PADL-2002-Meadows #analysis #declarative #using

Using a Declarative Language to Build an Experimental Analysis Tool (CM), pp. 1–2.

PADL-2002-Torgersson #declarative #programming

Declarative Programming and Clinical Medicine (OT), pp. 64–81.

SAC-2002-AntoniouA #declarative #execution

Executable declarative business rules and their use in electronic commerce (GA, MA), pp. 6–10.

ICLP-2002-BryS #declarative #model transformation #query #semistructured data #simulation #towards #unification #xml

Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification (FB, SS), pp. 255–270.

VLDB-2001-GalhardasFSSS #algorithm #declarative

Declarative Data Cleaning: Language, Model, and Algorithms (HG, DF, DS, ES, CAS), pp. 371–380.

ICSM-2001-MensT #declarative #design pattern #evolution #framework #object-oriented

A Declarative Evolution Framework for Object-Oriented Design Patterns (TM, TT), pp. 570–579.

FLOPS-2001-AlbertHV #declarative #multi

A Practical Partial Evaluator for a Multi-Paradigm Declarative Language (EA, MH, GV), pp. 326–342.

FLOPS-2001-CaballeroLR #debugging #declarative #functional #lazy evaluation #logic programming #source code

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs (RC, FJLF, MRA), pp. 170–184.

SEKE-2001-MensMW #development #programming

Supporting Software Development through Declaratively Codified Programming (KM, IM, RW), pp. 236–243.

LOPSTR-2001-AlbertV #declarative #multi #profiling

Symbolic Profiling for Multi-paradigm Declarative Languages (EA, GV), pp. 148–167.

PPDP-2001-Esparza #declarative #model checking #source code

Model Checking (with) Declarative Programs (JE), p. 37.

PPDP-2001-GiavittoM #approximate #data type #declarative

Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains (JLG, OM), pp. 150–161.

PPDP-2001-Schmidt #declarative #programming #question #uml

Should UML Be Used for Declarative Programming? (DAS), pp. 1–3.

PADL-2001-BrogiC #declarative #programming

From Subject Directories to Subject Meta-directories via Declarative Programming (AB, GC), pp. 45–59.

PADL-2001-PetersonHRH #declarative #named #visual notation

FVision: A Declarative Language for Visual Tracking (JP, PH, AR, GDH), pp. 304–321.

ICLP-2001-DrabentM #approach #correctness #declarative #proving #source code

Proving Correctness and Completeness of Normal Programs — A Declarative Approach (WD, MM), pp. 284–299.

ASE-2000-BoinotMNMC #adaptation #approach #component #declarative #design

A Declarative Approach for Designing and Developing Adaptive Components (PB, RM, JN, GM, CC), p. 111–?.

ICFP-2000-Sage #declarative #haskell #named #user interface

FranTk — a declarative GUI language for Haskell (MS), pp. 106–117.

IFL-2000-HanusHN #declarative #multi #named #object-oriented

ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry (MH, FH, PN), pp. 89–106.

ICML-2000-HuangSK #constraints #declarative #learning

Learning Declarative Control Rules for Constraint-BAsed Planning (YCH, BS, HAK), pp. 415–422.

PPDP-2000-Elliott #declarative #programming

Declarative event-oriented programming (CE), pp. 56–67.

PADL-2000-HindeRP #declarative #modelling #named #visual notation

HIPPO — A Declarative Graphical Modelling System (CJH, RJR, KP), pp. 154–168.

CL-2000-EchahedS #declarative #mobile #process #programming

Combining Mobile Processes and Declarative Programming (RE, WS), pp. 300–314.

CL-2000-MancarellaNRT #analysis #declarative #named

MuTACLP: A Language for Declarative GIS Analysis (PM, GN, AR, FT), pp. 1002–1016.

CL-2000-NakamuraB #database #declarative #maintenance

Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases (MN, CB), pp. 1210–1224.

IWPC-1999-KnapenLDM #c++ #parsing

Parsing C++ Despite Missing Declarations (GK, BL, MD, EM), pp. 114–125.

PEPM-1999-Lammel #aspect-oriented #declarative #programming

Declarative Aspect-Oriented Programming (RL), pp. 131–146.

FLOPS-1999-CamaraoF #strict #type inference

Type Inference for Overloading without Restrictions, Declarations or Annotations (CC, LF), pp. 37–52.

TOOLS-EUROPE-1999-MensWD #architecture #classification #using

Declaratively Codifying Software Architectures Using Virtual Software Classifications (KM, RW, TD), pp. 33–45.

PPDP-1999-CorrensonDPR #case study #declarative #deforestation #program transformation

Declarative Program Transformation: A Deforestation Case-Study (LC, ÉD, DP, GR), pp. 360–377.

PPDP-1999-Hanus #declarative #distributed #multi #programming

Distributed Programming in a Multi-Paradigm Declarative Language (MH), pp. 188–205.

PADL-1999-HakliNTU #declarative #implementation #query #string

Implementing a Declarative String Query Language with String Restructuring (RH, MN, HT, EU), pp. 179–195.

PADL-1999-Schmidt #declarative #design

A Return to Elegance: The Reapplication of Declarative Notation to Software Design (DAS), pp. 360–364.

PADL-1999-SoininenN #declarative

Developing a Declarative Rule Language for Applications in Product Configuration (TS, IN), pp. 305–319.

PADL-1999-WallaceS #declarative #eclipse #implementation #named #specification

ECLiPSe: Declarative Specification and Scaleable Implementation (MW, JS), pp. 365–366.

ICLP-1999-Drabent #declarative

It Is Declarative (WD), p. 607.

ICLP-1999-HirataY #concurrent #declarative #logic

Declarative Priority in a Concurrent Logic Language ON (KH, KY), pp. 215–229.

ICLP-1999-OsorioJN #declarative #functional #query

Declarative Pruning in a Functional Query Language (MO, BJ, JCN), pp. 588–604.

ICLP-1999-Pereira #declarative #programming

Declarative Programming for a Messy World (FCNP), pp. 3–5.

RTA-1999-Lopez-FraguasH #declarative #multi #named #paradigm

TOY: A Multiparadigm Declarative System (FJLF, JSH), pp. 244–247.

ESOP-1998-Ruggieri #debugging #declarative

A Complete Declarative Debugger of Missing Answers (SR), pp. 236–251.

TOOLS-USA-1998-Wuyts #declarative #object-oriented #reasoning

Declarative Reasoning about the Structure of Object-Oriented Systems (RW), pp. 112–124.

ALP-PLILP-1998-HanusS #declarative #source code

Controlling Search in Declarative Programs (MH, FS), pp. 374–390.

ALP-PLILP-1998-SmausHK #logic programming #source code #termination

Termination of Logic Programs with block Declarations Running in Several Modes (JGS, PMH, AK), pp. 73–88.

LOPSTR-1998-BaldanCLP #declarative #semantics #towards

A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury (DB, BLC, CL, IP), pp. 21–40.

LOPSTR-1998-SmausHK #fault #logic programming #multi #source code #using

Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations (JGS, PMH, AK), pp. 289–307.

ASE-1997-PenixAH #architecture #declarative #specification

Declarative Specification of Software Architectures (JP, PA, KH), p. 201–?.

HCI-CC-1997-SavidisS97a #complexity #declarative #framework #specification

Agent Classes for Managing Dialogue Control Specification Complexity: A Declarative Language Framework (AS, CS), pp. 461–464.

ICML-1997-TodorovskiD #bias #declarative #equation

Declarative Bias in Equation Discovery (LT, SD), pp. 376–384.

OOPSLA-1997-VolanschiCMC #declarative #object-oriented #source code

Declarative Specialization of Object-Oriented Programs (ENV, CC, GM, CC), pp. 286–300.

PLILP-1997-Gregory #approach #concurrent #declarative #programming

A Declarative Approach to Concurrent Programming (SG), pp. 79–93.

PLILP-1997-Roure #declarative

Introducing the Declarative Dungeon (DDR), pp. 407–417.

ICLP-1997-BruynoogheJK #analysis #logic programming #programming language

Live-Structure Analysis for Logic Programming Languages with Declarations (MB, GJ, AK), pp. 33–47.

ILPS-1997-Hanus #declarative #multi #programming

Multi-Paradigm Declarative Programming (Abstract) (MH), pp. 43–45.

VLDB-1996-CochranePM #constraints #database #declarative #sql

Integrating Triggers and Declarative Constraints in SQL Database Sytems (RC, HP, NMM), pp. 567–578.

ESOP-1996-Gonzalez-MorenoHLR #declarative #logic #programming

A Rewriting Logic for Declarative Programming (JCGM, MTHG, FJLF, MRA), pp. 156–172.

CHI-1996-ComstockD #architecture #usability

Embed User Values in System Architecture: The Declaration of System Usability (EMC, WMD), pp. 420–427.

CIKM-1996-WarshawM #case study #declarative

A Case Study of Venus and a Declarative Basis for Rule Modules (LW, DPM), pp. 317–325.

JICSLP-1996-HamfeltN #declarative #logic programming #recursion

Declarative Logic Programming with Primitive Recursive Relations on Lists (AH, JFN), pp. 230–243.

JICSLP-1996-Naish #declarative

A Declarative View of Modes (LN), pp. 185–199.

CIKM-1995-BuvacF #declarative #formal method

A Declarative Formalization of Knowledge Translation (SB, RF), pp. 340–347.

ICLP-1995-GregoryR #concurrent #declarative #named #programming language

Tempo: A Declarative Concurrent Programming Language (SG, RR), pp. 515–529.

ILPS-1995-CominiLV #declarative #revisited

Declarative Diagnosis Revisited (MC, GL, GV), pp. 275–287.

ILPS-1995-Gurr #declarative #logic programming #source code

Declarative Annotations for Logic Programs (CAG), p. 639.

ILPS-1995-JamilL #behaviour #declarative #inheritance #semantics

A Declarative Semantics for Behavioral Inheritance and Conflict Resolution (HMJ, LVSL), pp. 130–144.

ILPS-1995-LeoneS #declarative #fixpoint #modelling

Declarative and Fixpoint Characterizations of Disjunctive Stable Models (NL, FS), pp. 399–413.

ILPS-1995-MarchioriT #logic programming #proving #source code #termination

Proving Termination of Logic Programs with Delay Declarations (EM, FT), pp. 447–461.

ILPS-1995-Wadler #how #imperative

How to Declare an Imperative (PW), pp. 18–32.

ECOOP-1994-AlagicSB #declarative #inheritance #object-oriented #programming #prototype #type system

Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping (SA, RS, RB), pp. 236–259.

LOPSTR-1994-SakamaS #approach #declarative #deduction #logic programming #source code

Partial Deduction of Disjunctive Logic Programs: A Declarative Approach (CS, HS), pp. 170–182.

ICLP-1994-AptG #declarative

Declarative Interpretations Reconsidered (KRA, MG), pp. 74–89.

ILPS-1994-BondP #declarative #fault

Declarative Error Diagnosis as Consistency-Based Diagnosis (GWB, BP), p. 673.

LICS-1994-Stark #declarative #prolog #semantics

The Declarative Semantics of the Prolog Selection Rule (RFS), pp. 252–261.

VLDB-1993-Grefen #approach #declarative #specification #theory and practice #transaction

Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem (PWPJG), pp. 581–591.

SEKE-1993-SingletonB #declarative #in the large

A Case for Declarative Programming-in-the-Large (PS, PB), pp. 360–362.

PLILP-1993-JourdanLMR #declarative #imperative

Embedding Declarative Subprograms into Imperative Constructs (MJ, FL, FM, PR), pp. 414–415.

SAC-1993-DattaM #automation

Automating the Re-Declaration of Unneeded Globals as Private (AD, PM), pp. 87–94.

SAC-1993-MatzenGH #ambiguity

A Model for Studying Ambiguity in SGML Element Declarations (RWM, KMG, GEH), pp. 665–676.

ILPS-1993-Apt #declarative #programming #prolog

Declarative Programming in Prolog (KRA), pp. 12–35.

VLDB-1992-LiuM #approach #behaviour #communication #database #declarative #object-oriented #process

Activity Model: A Declarative Approach for Capturing Communication Behavior in Object-Oriented Databases (LL, RM), pp. 481–493.

TRI-Ada-C-1992-BailesJSW #ada #declarative #functional #programming

Full Functional Programming in a Declarative Ada Dialect (PAB, DBJ, EJS, LW), pp. 350–358.

CAiSE-1992-CasanovaHF #concept #declarative #modelling

A Declarative Conceptual Modelling Language: Description and Example Applications (MAC, ASH, ALF), pp. 589–611.

CAiSE-1992-HagelsteinR #declarative #specification

Reconciling Operational and Declarative Specifications (JH, DR), pp. 221–238.

KR-1992-Gibert #declarative #information management #representation #scheduling

Declarative Knowledge Representation in Planning and Scheduling (JG), pp. 3–13.

OOPSLA-1992-MyersGZ #declarative #object-oriented #programming #prototype

Declarative Programming in a Prototype-Instance System: Object-Oriented Programming Without Writing Methods (BAM, DAG, BTVZ), pp. 184–200.

PLILP-1992-HenrardC #declarative #logic programming #named #source code

FOLON: An Environment for Declarative Construction of Logic Programs (JH, BLC), pp. 217–231.

PLILP-1992-Plaza #declarative #logic programming

Fully Declarative Logic Programming (JAP), pp. 415–427.

ICSE-1992-Beach #component #declarative

Connecting Software Components with Declarative Glue (BWB), pp. 120–137.

JICSLP-1992-Bugliesi #declarative #inheritance #logic programming

A Declarative View of Inheritance in Logic Programming (MB), pp. 113–127.

TOOLS-USA-1991-StaryM #declarative #specification #user interface

MERCY-High Level Control for Declarative User Interface Specification (CS, KJM), pp. 281–290.

CSL-1991-Gonzalez-MorenoHR #declarative #functional #programming #semantics

Denotational Versus Declarative Semantics for Functional Programming (JCGM, MTHG, MRA), pp. 134–148.

ISLP-1991-DietzenP #declarative #logic programming

A Declarative Alternative to “Assert” in Logic Programming (SD, FP), pp. 372–386.

LICS-1991-Aczel #logic

Term Declaration Logic and Generalised Composita (PA), pp. 22–30.

VLDB-1990-HullY #declarative #identifier #named

ILOG: Declarative Creation and Manipulation of Object Identifiers (RH, MY), pp. 455–468.

PLDI-1990-Jacobs #constraints #logic programming #type system

Type Declarations as Subtype Constraints in Logic Programming (DJ), pp. 165–173.

PLILP-1990-Sahlin #fixpoint #prolog #using

Finding the Least Fixed Point Using Wait-Declarations in Prolog (DS), pp. 151–158.

ICSE-1990-BernsteinF #automation #case study #declarative #experience #maintenance #programming

Automatic Maintenance of Routine Programming Tasks Based on a Declarative Description (Experience Report) (DBB, RF), pp. 310–315.

PODS-1989-Manchanda #database #declarative #deduction

Declarative Expression of Deductive Database Updates (SM), pp. 93–100.

ML-1989-GrosofR #bias #declarative

Declarative Bias for Structural Domains (BNG, SJR), pp. 480–482.

ICSE-1989-RomanC #declarative #paradigm #visualisation

Declarative Visualization in the Shared Dataspace Paradigm (GCR, KCC), pp. 34–43.

NACLP-1989-DungK89a #approach #declarative #fixpoint #logic programming #semantics #source code

A Fixpoint Approach to Declarative Semantics of Logic Programs (PMD, KK), pp. 604–625.

PODS-1988-AbiteboulV #database #declarative

Procedural and Declarative Database Update Languages (SA, VV), pp. 240–250.

JICSCP-1988-FalaschiLMP88 #declarative #logic #semantics

A New Declarative Semantics for Logic Languages (MF, GL, MM, CP), pp. 993–1005.

FPCA-1987-GautierG #declarative #named #programming #realtime

SIGNAL: A declarative language for synchronous programming of real-time systems (TG, PLG), pp. 257–277.

POPL-1987-CaspiPHP #declarative #named #programming

Lustre: A Declarative Language for Programming Synchronous Systems (PC, DP, NH, JP), pp. 178–188.

ICLP-1987-LeviP87 #approach #declarative #logic #semantics

An Approach to the Declarative Semantics of Synchronization in Logic Languages (GL, CP), pp. 877–893.

ICLP-1986-HelmM86 #declarative

Declarative Graphics (RH, KM), pp. 513–527.

POPL-1985-MishraR #type checking

Declaration-Free Type Checking (PM, USR), pp. 7–21.

SLP-1985-LeviP85 #declarative #logic #semantics

The Declarative Semantics of Logical Read-Only Variables (GL, CP), pp. 128–137.

DAC-1984-WardleWWMN #approach #declarative #design

A declarative design approach for combining macrocells by directed placement and constructive routing (CLW, CRW, CAW, JCM, BJN), pp. 594–601.

VLDB-1984-Morgenstern #automation #constraints #declarative #equation

Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement (MM), pp. 291–300.

ICALP-1984-Bidoit #algebra #equation #exception #fault #specification

Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations (MB), pp. 95–108.

LFP-1982-White #bound #constant

Constant Time Interpretation for Shallow-bound Variables in the Presence of Mixed SPECIAL/LOCAL Declarations (JLW), pp. 196–200.

POPL-1982-BorningI #smalltalk

A Type Declaration and Inference System for Smalltalk (AB, DHHI), pp. 133–141.

SIGFIDET-1974-HoernesF #array

Declaration and Addressing of Varying Density Arrays and Structure (GEH, GHF), pp. 15–33.