BibSLEIGH — declarative tag

declarative

declarative

Tag #declarative

347 papers:

CIKM-2019-AmsterdamerMSY #constraints: Declarative User Selection with Soft Constraints (YA, TM, AS, BY), pp. 931–940.
ICML-2019-TavaresBMSR: Predicate Exchange: Inference with Declarative Knowledge (ZT, JB, EM, ASL, RR), pp. 6186–6195.
ECOOP-2019-PelsmaekerAV #editing #idea #parametricity #semantics #specification #towards #type system: Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper) (DAAP, HvA, EV), p. 18.
Onward-2019-Rosso0ALM #assembly #concept #web: Declarative assembly of web applications from predefined concepts (SPDR, DJ0, MA, CL, BAMI), pp. 79–93.
PLATEAU-2019-CohenNS #approach #design: Designing Declarative Language Tutorials: A Guided and Individualized Approach (AKC, WN, JS), p. 6.
PADL-2019-Hanus #source code: Improving Residuation in Declarative Programs (MH), pp. 82–97.
POPL-2019-RaadDRLV #concurrent #consistency #correctness #library #memory management #modelling #on the #specification #verification: On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models (AR, MD, LR, OL, VV), p. 31.
ICSE-2019-GrechBSS #contract #decompiler #named: Gigahorse: thorough, declarative decompilation of smart contracts (NG, LB, BS, YS), pp. 1176–1186.
PADL-2018-StewartML #haskell #named: Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell (GS0, SM, LL), pp. 36–52.
PPDP-2018-AdelsbergerSW #consistency #user interface: Declarative GUIs: Simple, Consistent, and Verified (SA, AS, EW), p. 15.
PPDP-2018-Hanus #source code #verification: Verifying Fail-Free Declarative Programs (MH), p. 13.
SLE-2018-AmorimSEV #parsing #pretty-printing #specification: Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages (LEdSA, MJS, SE, EV), pp. 3–15.
ECOOP-2017-FuPAC #named #set: muPuppet: A Declarative Subset of the Puppet Configuration Language (WF, RP, PA0, JC), p. 27.
PADL-2017-Klock #domain-specific language: A Declarative DSL for Customizing ASCII Art (FSKI), pp. 189–197.
PADL-2017-NilssonC #programming: Funky Grooves: Declarative Programming of Full-Fledged Musical Applications (HN, GC), pp. 163–172.
PADL-2017-Vennekens #api #learning #programming #python: Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System (JV), pp. 86–102.
SLE-2017-SmitsV #analysis #data flow #named #specification: FlowSpec: declarative dataflow analysis specification (JS, EV), pp. 221–231.
PLDI-2016-MadsenYL #datalog #fixpoint: From Datalog to flix: a declarative language for fixed points on lattices (MM, MHY, OL), pp. 194–208.
SLE-2016-SantosG #diagrams #domain-specific language #editing #named: Xdiagram: a declarative textual DSL for describing diagram editors (ALS, EG), pp. 253–257.
PODS-2015-Green #enterprise #named: LogiQL: A Declarative Language for Enterprise Applications (TJG), pp. 59–64.
AIIDE-2015-RobertsonY #automation #generative: Automated Gameplay Generation from Declarative World Representations (JR, RMY), pp. 72–78.
CAiSE-2015-GiacomoDMM #modelling #process: Declarative Process Modeling in BPMN (GDG, MD, FMM, MM), pp. 84–100.
CAiSE-2015-MrasekMB #automation #generative #modelling #process #specification: Automatic Generation of Optimized Process Models from Declarative Specifications (RM, JAM, KB), pp. 382–397.
MoDELS-2015-MontaghamiR #debugging #modelling: Pattern-based debugging of declarative models (VM, DR), pp. 322–327.
MoDELS-2015-OakesTLW #atl #contract #verification: Fully verifying transformation contracts for declarative ATL (BJO, JT, LL, MW), pp. 256–265.
OOPSLA-2015-BenderLP: Declarative fence insertion (JB, ML, JP), pp. 367–385.
PLDI-2015-Sivaramakrishnan #consistency #programming: Declarative programming over eventually consistent data stores (KCS, GK, SJ), pp. 413–424.
POPL-2015-AlurDR #named #string: DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations (RA, LD, MR), pp. 125–137.
PPDP-2015-CanoRLP #concurrent: Declarative interpretations of session-based concurrency (MC, CR, HAL, JAP), pp. 67–78.
PPDP-2015-ChenLJZL #automation #network #safety #source code #verification: Automated verification of safety properties of declarative networking programs (CC, LKL, LJ, WZ, BTL), pp. 79–90.
ICSE-v2-2015-Stevens #query: A Declarative Foundation for Comprehensive History Querying (RS), pp. 907–910.
HPDC-2015-ZhouHCL #as a service #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 #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 #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 #independence: Breaking the Chains: On Declarative Data Analysis and Data Independence in the Big Data Era (VM), pp. 1730–1733.
FLOPS-2014-Riesco #debugging #maude #semantics #using: Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging (AR), pp. 52–68.
ICEIS-v3-2014-SilvaOAL #empirical #imperative #process: Declarative Versus Imperative Business Process Languages — A Controlled Experiment (NCS, CALdO, FALAA, RMFL), pp. 394–401.
LOPSTR-2014-AriasLM #compilation #constraints #logic programming: Declarative Compilation for Constraint Logic Programming (EJGA, JL, JMC), pp. 299–316.
PADL-2014-Tarau #specification: A Declarative Specification of Giant Number Arithmetic (PT), pp. 120–135.
PPDP-2014-Karczmarczuk #concept #on the #quantum: On the Declarative Structure of Quantum Concepts: States and Observables (JK), pp. 105–110.
PPDP-2014-LammelVLSF #development #tutorial: Declarative Software Development: Distilled Tutorial (RL, AV, ML, TS, JMF), pp. 1–6.
PPDP-2014-LucasM #logic #proving #source code #termination: Proving Operational Termination of Declarative Programs in General Logics (SL, JM), pp. 111–122.
PPDP-2014-NilssonP #game studies #programming #tutorial: Declarative Game Programming: Distilled Tutorial (HN, IP), pp. 159–160.
SAC-2014-BernardiCL #aspect-oriented #design pattern #development #programming #using: Declarative design pattern-based development using aspect oriented programming (MLB, MC, GADL), pp. 1625–1630.
SAC-2014-HenrioR #scheduling: Declarative scheduling for active objects (LH, JR), pp. 1339–1344.
SAC-2014-LaurentBBG #process: Planning for declarative processes (YL, RB, SB, MPG), pp. 1126–1133.
SAC-2014-MesmoudiH #framework #query #scalability: A test framework for large scale declarative queries: preliminary results (AM, MSH), pp. 858–859.
TACAS-2014-CaballeroMRT #debugging #erlang #named #source code: EDD: A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 581–586.
SIGMOD-2013-MoustafaMDG #analysis #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 #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 #modelling #specification #user interface: Piglets to the rescue: Declarative User Interface Specification with Pluggable View Models (LD, ER, AG), p. 105.
SEKE-2013-SilvaOL #explosion #modelling #problem #process: A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (NCS, CALO, RMFL), pp. 26–29.
ECMFA-2013-Storrle #ad hoc #named #query: MOCQL: A Declarative Language for Ad-Hoc Model Querying (HS), pp. 3–19.
Onward-2013-OhshimaLFK #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.
PADL-2013-KlintP #2d #independence #library: A Library for Declarative Resolution-Independent 2D Graphics (PK, AvdP), pp. 1–18.
PADL-2013-MachadoAD #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 #multi #using: A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction (VR, BA, SMdS, MF), pp. 43–59.
PPDP-2013-LamoMRL #approach #bidirectional #graph #model transformation: A declarative and bidirectional model transformation approach based on graph co-spans (YL, FM, AR, JdL), pp. 1–12.
ICSE-2013-BeschastnikhBAEK #algorithm #specification: Unifying FSM-inference algorithms through declarative specification (IB, YB, JA, MDE, AK), pp. 252–261.
GPCE-2013-0001RN #abstract syntax tree #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 #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.
HPDC-2013-GillLHNGL #composition #framework #manycore #named #platform #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 #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 #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 mocking (HS, RH, AF, TDM), pp. 246–256.
TAP-2013-CaballeroMRT #debugging #erlang #source code: A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 96–114.
SIGMOD-2012-BoltonIRT #development #encapsulation #javascript #web: Declarative web application development: encapsulating dynamic JavaScript widgets (RB, DI, CR, KLT), p. 863.
SIGMOD-2012-KanneE #data-driven #fault #robust: Declarative error management for robust data-intensive applications (CCK, VE), pp. 205–216.
VLDB-2012-LiuRLMB #constraints #distributed #framework #named #optimisation #platform: Cologne: A Declarative Distributed Constraint Optimization Platform (CL, LR, BTL, YM, PB), pp. 752–763.
VLDB-2012-MorishimaSMAF #crowdsourcing #framework #named #platform: CyLog/Crowd4U: A Declarative Platform for Complex Data-centric Crowdsourcing (AM, NS, TM, HA, SF), pp. 1918–1921.
VLDB-2012-ParkPPGPW #crowdsourcing #named: Deco: A System for Declarative Crowdsourcing (HP, RP, AGP, HGM, NP, JW), pp. 1990–1993.
TFPIE-2012-StutterheimSS #education #programming #prolog: Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht (JS, WS, SDS), pp. 50–62.
IFM-2012-SchunselaarMS #modelling: Patterns for a Log-Based Strengthening of Declarative Compliance Models (DMMS, FMM, NS), pp. 327–342.
FLOPS-2012-CaballeroGS #debugging #sql: Declarative Debugging of Wrong and Missing Answers for SQL Views (RC, YGR, FSP), pp. 73–87.
CAiSE-2012-MaggiBA #modelling #performance #process: Efficient Discovery of Understandable Declarative Process Models from Event Logs (FMM, RPJCB, WMPvdA), pp. 270–285.
EDOC-2012-BurattinMAS #analysis #process: Techniques for a Posteriori Analysis of Declarative Processes (AB, FMM, WMPvdA, AS), pp. 41–50.
CIKM-2012-ParameswaranPGPW #crowdsourcing #named: Deco: declarative crowdsourcing (AGP, HP, HGM, NP, JW), pp. 1203–1212.
KR-2012-BahmaniBKL #dependence #set #source code: Declarative Entity Resolution via Matching Dependencies and Answer Set Programs (ZB, LEB, SK, LVSL).
KR-2012-BaralL #reasoning #representation: From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP (CB, SL).
MoDELS-2012-JacksonSB #constraints #detection #fault #specification: Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.
LOPSTR-2012-ChristiansenHLP #data analysis #pipes and filters: A Declarative Pipeline Language for Complex Data Analysis (HC, CTH, OTL, MP), pp. 17–34.
LOPSTR-2012-InsaST #debugging: Enhancing Declarative Debugging with Loop Expansion and Tree Compression (DI, JS, CT), pp. 71–88.
PADL-2012-GoldbergW #approach #modelling: A Declarative Approach for Software Modeling (MG, GW), pp. 18–32.
PADL-2012-LierlerSTW #problem: Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving (YL, SS, MT, AW), pp. 63–77.
PADL-2012-LooGLMMSWZ #network: Recent Advances in Declarative Networking (BTL, HG, CL, YM, WRM, MS, AW, WZ), pp. 1–16.
PADL-2012-Tarau #specification: A Declarative Specification of Tree-Based Symbolic Arithmetic Computations (PT), pp. 273–288.
PPDP-2012-LopezCC #distributed #experience #industrial: Declarative distributed advertisement system for iDTV: an industrial experience (ML, LMC, DC), pp. 185–194.
FSE-2012-CugolaGPT #adaptation #mobile #named: SelfMotion: a declarative language for adaptive service-oriented mobile apps (GC, CG, LSP, GT), p. 7.
SAC-2012-MetivierBCKL #constraints: A constraint language for declarative pattern discovery (JPM, PB, BC, MK, SL), pp. 119–125.
LDTA-2012-VollebregtKV #editing #specification: Declarative specification of template-based textual editors (TV, LCLK, EV), p. 8.
SLE-2012-KonatKWV: Declarative Name Binding and Scope Rules (GDPK, LCLK, GW, EV), pp. 311–331.
WRLA-J-2010-RiescoVMC12 #debugging #logic #specification: Declarative debugging of rewriting logic specifications (AR, AV, NMO, RC), pp. 851–897.
ICLP-J-2012-BliemMW #named #problem #programming #using: D-FLAT: Declarative problem solving using tree decompositions and answer-set programming (BB, MM, SW), pp. 445–464.
PODS-2011-AmelootNB #network #relational #transducer: Relational transducers for declarative networking (TJA, FN, JVdB), pp. 283–292.
SIGMOD-2011-ArasuKL #constraints #generative #using: Data generation using declarative constraints (AA, RK, JL), pp. 685–696.
SIGMOD-2011-GuptaKRBGK #coordination #data-driven #query: Entangled queries: enabling declarative data-driven coordination (NG, LK, SR, GB, JG, CK), pp. 673–684.
SIGMOD-2011-WangFGHW #hybrid #information management: Hybrid in-database inference for declarative information extraction (DZW, MJF, MNG, JMH, MLW), pp. 517–528.
SIGMOD-2011-ZhouFSTHILS #distributed #framework #maintenance #named #platform #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 #generative #named #using: DataSynth: Generating Synthetic Data using Declarative Constraints (AA, RK, JL), pp. 1418–1421.
VLDB-2011-BorisovB #approach #detection #towards: Proactive Detection and Repair of Data Corruption: Towards a Hassle-free Declarative Approach with Amulet (NB, SB), pp. 1403–1408.
SEFM-2011-HildebrandtMS #process: Safe Distribution of Declarative Processes (TTH, RRM, TS), pp. 237–252.
EDOC-2011-VaculinHHCNS #modelling #process: Declarative business artifact centric modeling of decision and knowledge intensive business processes (RV, RH, TH, CC, AN, PS), pp. 151–160.
KDIR-2011-HubwieserM #named #object-oriented: Knowpats: Patterns of Declarative Knowledge — Searching Frequent Knowledge Patterns about Object-orientation (PH, AM), pp. 358–364.
LOPSTR-2011-Almendros-JimenezCGS #functional #xquery: A Declarative Embedding of XQuery in a Functional-Logic Language (JMAJ, RC, YGR, FSP), pp. 42–56.
LOPSTR-2011-CaballeroRVM #debugging #maude #proving: Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (RC, AR, AV, NMO), pp. 73–89.
PADL-2011-HolkBWHCL #communication #named: Kanor — A Declarative Language for Explicit Communication (EH, WEB, JW, TH, AC, AL), pp. 190–204.
PADL-2011-KrajcevskiR #api: A Declarative API for Particle Systems (PK, JHR), pp. 130–144.
PADL-2011-RedlEK #set #using: Declarative Belief Set Merging Using Merging Plans (CR, TE, TK), pp. 99–114.
PLDI-2011-MurrayIY #automation #named #optimisation #query: Steno: automatic optimization of declarative queries (DGM, MI, YY), pp. 121–131.
PPDP-2011-SauthoffJG #programming: Bellman’s GAP: a declarative language for dynamic programming (GS, SJ, RG), pp. 29–40.
PPDP-2011-VirsedaM #composition #constraints #higher-order #programming #semantics: A modular semantics for higher-order declarative programming with constraints (RdVV, FPM), pp. 41–52.
ASE-2011-VakiliD #model checking #modelling #using: Using model checking to analyze static properties of declarative models (AV, NAD), pp. 428–431.
ICSE-2011-MilicevicRYJ #execution #imperative: Unifying execution of imperative and declarative code (AM, DR, KY, DJ), pp. 511–520.
ICSE-2011-Pinto #approach #composition #flexibility: A declarative approach to enable flexible and dynamic service compositions (LSP), pp. 1130–1131.
ASPLOS-2011-SchupbachBRP #approach: A declarative language approach to device configuration (AS, AB, TR, SP), pp. 119–132.
ICLP-2011-Brass: Declarative Output by Ordering Text Pieces (SB), pp. 151–161.
ICLP-2011-Hanus #web: Declarative Processing of Semistructured Web Data (MH), pp. 198–208.
RTA-2010-RiescoVM #debugging #maude: Declarative Debugging of Missing Answers for Maude (AR, AV, NMO), pp. 277–294.
ICGT-2010-SpicherMG #using: Declarative Mesh Subdivision Using Topological Rewriting in MGS (AS, OM, JLG), pp. 298–313.
ICEIS-HCI-2010-TranKVW #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 #ide #language workbench #specification #spoofax: The spoofax language workbench: rules for declarative specification of languages and IDEs (LCLK, EV), pp. 444–463.
OOPSLA-2010-KatsVW #syntax: Pure and declarative syntax definition: paradise lost and regained (LCLK, EV, GW), pp. 918–932.
PADL-2010-HanusK #framework #programming #web: An ER-Based Framework for Declarative Web Programming (MH, SK), pp. 201–216.
POPL-2010-DiasR #automation #generative #using: Automatically generating instruction selectors using declarative machine descriptions (JD, NR), pp. 403–416.
PPDP-2010-BofillBV #approach #robust #satisfiability: A declarative approach to robust weighted Max-SAT (MB, DB, MV), pp. 67–76.
PPDP-2010-DemeyerALV #flexibility #process #workflow: Declarative workflows to efficiently manage flexible and advanced business processes (RD, MVA, LL, WV), pp. 209–218.
PPDP-2010-Tarau #finite #modelling: Declarative modeling of finite mathematics (PT), pp. 131–142.
SAC-2010-Bollen #enterprise #modelling #semantics: Fact-oriented declarative semantic enterprise modeling (PB), pp. 167–168.
ICLP-2010-Demeyer10 #concurrent #program analysis #programming: Program Analysis to Support Concurrent Programming in Declarative Languages (RD), pp. 248–254.
ICLP-J-2010-Rodriguez-ArtalejoR #proximity #semantics: A declarative semantics for CLP with qualification and proximity (MRA, CARD), pp. 627–642.
DocEng-2009-ConcolatoFD #interface: Declarative interfaces for dynamic widgets communications (CC, JLF, JCD), pp. 241–244.
DocEng-2009-KuijkGCB #documentation #multi #visual notation: Adding dynamic visual manipulations to declarative multimedia documents (FK, RLG, PC, DCAB), pp. 149–152.
DocEng-2009-SoaresMS #hypermedia #imperative: Relating declarative hypermedia objects and imperative objects through the NCL glue language (LFGS, MFM, FS), pp. 222–230.
SIGMOD-2009-DindarGLOST #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 Database Management in SQLServer (HG, DJ, JLB, PS), pp. 1294–1305.
AIIDE-2009-CashY #named: Bowyer: A Planning Tool for Bridging the Gap between Declarative and Procedural Domains (SPC, RMY).
HCI-NT-2009-LucasAW #composition #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 #empirical #execution #process: The Declarative Approach to Business Process Execution: An Empirical Test (BW, HAR, SZ, WW), pp. 470–485.
OOPSLA-2009-BravenboerS #analysis #points-to #specification #strict: Strictly declarative specification of sophisticated points-to analyses (MB, YS), pp. 243–262.
LOPSTR-2009-Vidal #partial evaluation #scalability #source code #towards: Towards Scalable Partial Evaluation of Declarative Programs (GV), pp. 1–4.
PADL-2009-HanusK #programming #user interface: Declarative Programming of User Interfaces (MH, CK), pp. 16–30.
PADL-2009-NavarroR #network #semantics: Operational Semantics for Declarative Networking (JANP, AR), pp. 76–90.
PADL-2009-TranNPS #consistency #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 #network #verification: Declarative Network Verification (AW, PB, BTL, OS), pp. 61–75.
PPDP-2009-CodishGS #encoding #satisfiability: A declarative encoding of telecommunications feature subscription in SAT (MC, SG, PJS), pp. 255–266.
PPDP-2009-IranzoR #prolog #semantics: A declarative semantics for Bousi~Prolog (PJI, CRM), pp. 149–160.
PPDP-2009-Tarau #data transformation #embedded #model transformation #transformation language: An embedded declarative data transformation language (PT), pp. 171–182.
PPDP-2009-Virseda #algorithm #debugging #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.
SAC-2009-SoaresRCB #xml: Variable handling in time-based XML declarative languages (LFGS, RFR, RC, SDJB), pp. 1821–1828.
LDTA-2008-Nilsson-NymanHME09 #analysis #java #source code: Declarative Intraprocedural Flow Analysis of Java Source Code (ENN, GH, EM, TE), pp. 155–171.
SLE-2009-BauerE #haskell: Declarative Scripting in Haskell (TB, ME), pp. 294–313.
WRLA-2008-CaballeroMRV09 #debugging #functional #maude: A Declarative Debugger for Maude Functional Modules (RC, NMO, AR, AV), pp. 63–81.
CAV-2009-PerezRS #abstraction #network: Cardinality Abstraction for Declarative Networking Applications (JANP, AR, AS), pp. 584–598.
ICLP-2009-ArandaAOPRTV #overview: 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 #development #distributed: The Demaq system: declarative development of distributed applications (AB, EM, CCK), pp. 1311–1314.
SIGMOD-2008-GedikAWYD #named: SPADE: the system s declarative stream processing engine (BG, HA, KLW, PSY, MD), pp. 1123–1134.
VLDB-2008-CondieCHM #network: Evita raced: metacompilation for declarative networks (TC, DC, JMH, PM), pp. 1153–1165.
FM-2008-TorlakCJ #satisfiability #specification: Finding Minimal Unsatisfiable Cores of Declarative Specifications (ET, FSHC, DJ), pp. 326–341.
FM-2008-UzuncaovaK #analysis #constraints #modelling #performance: Constraint Prioritization for Efficient Analysis of Declarative Models (EU, SK), pp. 310–325.
FLOPS-2008-CaballeroRV #constraints #functional #logic programming: Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 305–321.
FLOPS-2008-KiselyovBFS: Pure, Declarative, and Constructive Arithmetic Relations (OK, WEB, DPF, CcS), pp. 64–80.
ICFP-2008-FischerK #data flow #source code #testing: Data-flow testing of declarative programs (SF, HK), pp. 201–212.
MoDELS-2008-CabotCGL #analysis #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 #invariant #model transformation: An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.
PADL-2008-BeckerN #abduction #policy: The Role of Abduction in Declarative Authorization Policies (MYB, SN), pp. 84–99.
PADL-2008-EshkevariAC #analysis #aspect-oriented #comprehension #dependence #reasoning #source code: Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning (LME, VA, CC), pp. 35–52.
PPDP-2008-Leuschel #programming #verification: Declarative programming for verification: lessons and outlook (ML), pp. 1–7.
PPDP-2008-PlasmeijerJKA #ajax #evaluation #using #workflow: Declarative Ajax and client side evaluation of workflows using iTasks (RP, JMJ, PWMK, PA), pp. 56–66.
OSDI-2008-GunawiRAA #file system #named: SQCK: A Declarative File System Checker (HSG, AR, ACAD, RHAD), pp. 131–146.
ICLP-2008-CaropreseT #constraints #semantics: Declarative Semantics for Active Integrity Constraints (LC, MT), pp. 269–283.
ICLP-2008-CiprianoDM #compilation #modelling: Compiling and Executing Declarative Modeling Languages to Gecode (RC, AD, JM), pp. 744–748.
ICLP-2008-CliffeVBP #animation #named #programming #set #using #visualisation: ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming (OC, MDV, MB, JAP), pp. 724–728.
ICLP-2008-MontaliTACGLM #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 #logic programming #named #using: TopLog: ILP Using a Logic Program Declarative Bias (SM, JCAS, ATN), pp. 687–692.
ICLP-2008-NearBF #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 #logic programming #named #using: TopLog: ILP Using a Logic Program Declarative Bias (JCAS), pp. 818–819.
DocEng-2007-ThompsonKS #xml: Declarative extensions of XML languages (SJT, PRK, PS), pp. 89–91.
SIGMOD-2007-ChandelHKSS #approximate #benchmark #metric: Benchmarking declarative approximate selection predicates (AC, OH, NK, MS, DS), pp. 353–364.
VLDB-2007-ShenDNR #datalog #embedded #information management #using: Declarative Information Extraction Using Datalog with Embedded Extraction Predicates (WS, AD, JFN, RR), pp. 1033–1044.
ICFP-2007-Lloyd #programming: Declarative programming for artificial intelligence applications (JWL), pp. 123–124.
AIIDE-2007-UrsuCZKWHT #configuration management #image #interactive: ShapeShifting Screen Media: A Declarative Computational Model for Interactive Reconfigurable Moving Image Narratives (MFU, JJC, VZ, IK, DW, MH, MLT), pp. 101–105.
CAiSE-2007-WeisM #xml: Declarative XML Data Cleaning with XClean (MW, IM), pp. 96–110.
ICEIS-DISI-2007-RaminhosP #approach #using: Extraction and transformation of data from semi-structured text files using a declarative approach (RR, JMP), pp. 199–205.
ECOOP-2007-VaziriTFD #using: Declarative Object Identity Using Relation Types (MV, FT, SF, JD), pp. 54–78.
TOOLS-EUROPE-2007-GoderisDPD #framework #user interface: DEUCE : A Declarative Framework for Extricating User Interface Concerns (SG, DD, EVP, TD), pp. 87–104.
PADL-2007-Bond #modelling: BAD, a Declarative Logic-Based Language for Brain Modeling (AHB), pp. 200–214.
PPDP-2007-BentonF #implementation #interactive #program analysis #prototype #scalability: Interactive, scalable, declarative program analysis: from prototype to implementation (WCB, CNF), pp. 13–24.
PPDP-2007-Hanus #javascript #programming #web: Putting declarative programming into the web: translating curry to javascript (MH), pp. 155–166.
ICSE-2007-UzuncaovaK #named #slicing #specification: Kato: A Program Slicing Tool for Declarative Specifications (EU, SK), pp. 767–770.
SAC-2007-LawleyR #implementation #model transformation: Implementing a practical declarative logic-based model transformation engine (ML, KR), pp. 971–977.
CC-2007-FalconerKIMFB #analysis #framework #optimisation: A Declarative Framework for Analysis and Optimization (HF, PHJK, DMI, MRM, TF, OB), pp. 218–232.
ICLP-2007-CaballeroRV #constraints #debugging #functional #logic programming: Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 425–427.
ICLP-2007-FalaschiOPV #concurrent #constraints #source code: Declarative Diagnosis of Temporal Concurrent Constraint Programs (MF, CO, CP, FV), pp. 271–285.
ICLP-2007-Hanus #multi: Multi-paradigm Declarative Languages (MH), pp. 45–75.
SIGMOD-2006-GawlickKL #database #using: Using the oracle database as a declarative RSS hub (DG, MK, ZHL), p. 722.
SIGMOD-2006-LooCGGHMRRS #execution #network #optimisation: Declarative networking: language, execution and optimization (BTL, TC, MNG, DEG, JMH, PM, RR, TR, IS), pp. 97–108.
VLDB-2006-ChuT0H #network: Entirely Declarative Sensor Network Systems (DC, AT, LP, JMH), pp. 1203–1206.
SEFM-2006-ZhangHW #component #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.
AIIDE-2006-NelsonAM #authoring #interactive: Authoring Interactive Narratives with Declarative Optimization-Based Drama Management (MJN, CA, MM), pp. 127–129.
ICEIS-AIDSS-2006-GolfinopoulosSMP #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 #information retrieval: A Declarative DB-Powered Approach to IR (RC, APdV), pp. 543–547.
OOPSLA-2006-BravenboerTV #aspectj #syntax: Declarative, formal, and extensible syntax definition for aspectJ (MB, ÉT, EV), pp. 209–228.
PADL-2006-MacLartyS #debugging: Controlling Search Space Materialization in a Practical Declarative Debugger (IM, ZS), pp. 31–44.
PADL-2006-Volder #named: JQuery: A Generic Code Browser with a Declarative Configuration Language (KDV), pp. 88–102.
ICSE-2006-ChangJ #model checking #modelling #relational: Symbolic model checking of declarative relational models (FSHC, DJ), pp. 312–320.
CC-2006-DiasR #assembly #using: Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions (JD, NR), pp. 217–231.
ICLP-2006-Brain #problem #semantics #set #using: Declarative Problem Solving Using Answer Set Semantics (MB), pp. 459–460.
ICLP-2006-CaballeroRV #constraints #functional #logic programming: Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 421–422.
ICLP-2006-CaropreseGSZ #maintenance #semantics: Declarative Semantics of Production Rules for Integrity Maintenance (LC, SG, CS, EZ), pp. 26–40.
ICLP-2006-LopezPPRV #concurrent #constraints #framework #programming #security: A Declarative Framework for Security: Secure Concurrent Constraint Programming (HAL, CP, JAP, CR, FDV), pp. 449–450.
ICLP-2006-UedaKHM: LMNtal as a Unifying Declarative Language: Live Demonstration (KU, NK, KH, KM), pp. 457–458.
WICSA-2005-IngstrupH #approach #architecture: A Declarative Approach to Architectural Reflection (MI, KMH), pp. 149–158.
ECDL-2005-JaneeF #hybrid #metadata #python: A Hybrid Declarative/Procedural Metadata Mapping Language Based on Python (GJ, JF), pp. 302–313.
CAiSE-2005-AnderssonBEIJ #modelling #process: A Declarative Foundation of Process Models (BA, MB, AE, TI, PJ), pp. 233–247.
LOPSTR-2005-AntoyH #programming: Declarative Programming with Function Patterns (SA, MH), pp. 6–22.
PADL-2005-Ramsey #compilation: Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction (NR), pp. 1–4.
PADL-2005-TanasescuW #configuration management: Role-Based Declarative Synchronization for Reconfigurable Systems (VT, PTW), pp. 52–66.
PPDP-2005-EchahedP #policy #security: Security policy in a declarative style (RE, FP), pp. 153–163.
PPDP-2005-JagadeesanM #approach #constraints #programming: Timed constraint programming: a declarative approach to usage control (RJ, WM, CP, VAS), pp. 164–175.
SAC-2005-Lu #correctness #using: Use of correctness assertions in declarative diagnosis (LL), pp. 1404–1408.
SAC-2005-Omitola: Declarative control of the future home environment (TO), pp. 1626–1627.
SOSP-2005-LooCHMRS #implementation: Implementing declarative overlays (BTL, TC, JMH, PM, TR, IS), pp. 75–90.
SAT-2005-MarinovKBZR #compilation #modelling #optimisation: Optimizations for Compiling Declarative Models into Boolean Formulas (DM, SK, SB, LZ, MCR), pp. 187–202.
SIGMOD-2004-BrambillaCCDFM #specification #web #web service #workflow: Declarative Specification of Web Applications exploiting Web Services and Workflows (MB, SC, SC, MD, PF, IM), pp. 909–910.
AFP-2004-Pope04 #debugging: Declarative Debugging with Buddha (BP), pp. 273–308.
FLOPS-2004-CaballeroR #debugging #functional #named: DDT: a Declarative Debugging Tool for Functional-Logic Languages (RC, MRA), pp. 70–84.
PADL-2004-Fall #nondeterminism: Supporting Decisions in Complex, Uncertain Domains with Declarative Languages (AF), pp. 16–22.
PDCL-2004-BossiCER #logic programming #semantics #source code: Declarative Semantics of Input Consuming Logic Programs (AB, NC, SE, SR), pp. 90–114.
PEPM-2004-AndersenS: Declarative specialization for object-oriented-program specialization (HMA, UPS), pp. 27–38.
PEPM-2004-McIlraith #programming #towards #web #web service: Invited talk: towards declarative programming for web services (SAM), pp. 1–2.
PPDP-2004-BrasselHHV #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 #lazy evaluation #programming: A lazy narrowing calculus for declarative constraint programming (FJLF, MRA, RdVV), pp. 43–54.
PPDP-2004-McIlraith #programming #towards #web #web service: Invited talk: towards declarative programming for web services (SAM), pp. 3–4.
SAS-2004-McIlraith #programming #towards #web #web service: Towards Declarative Programming for Web Services (SAM), p. 21.
FSE-2004-WalkerV #implementation #protocol: Implementing protocols via declarative event patterns (RJW, KV), pp. 159–169.
SAC-2004-InverardiMN #adaptation #framework: A declarative framework for adaptable applications in heterogeneous environments (PI, FM, MN), pp. 1177–1183.
CC-2004-LindigR #composition #stack: Declarative Composition of Stack Frames (CL, NR), pp. 298–312.
EDOC-2003-DuddyGLRS #approach #model transformation #reuse: Model Transformation: A declarative, reusable patterns approach (KD, AG, ML, KR, JS), pp. 174–185.
PADL-2003-Page #biology #database #mining: The Role of Declarative Languages in Mining Biological Databases (CDPJ), p. 1.
PPDP-2003-PopeN #aspect-oriented #debugging #haskell: Practical aspects of declarative debugging in Haskell 98 (BP, LN), pp. 230–240.
ASE-2003-HeringtonS #coordination #framework #named: DeCo: A Declarative Coordination Framework for Scientific Model Federations (DH, PDS), pp. 60–69.
ASE-2003-ShlyakhterSJST #debugging #modelling #satisfiability #using: Debugging Overconstrained Declarative Models Using Unsatisfiable Cores (IS, RS, DJ, MS, MT), pp. 94–105.
ICLP-2003-DrejhammarSBH #concurrent #java: Flow Java: Declarative Concurrency for Java (FD, CS, PB, SH), pp. 346–360.
JCDL-2002-GoncalvesF #generative #library #named #specification: 5SL: a language for declarative specification and generation of digital libraries (MAG, EAF), pp. 263–272.
SCAM-2002-BunusF #combinator #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 & Procedural Goals in Intelligent Agent Systems (MW, LP, JH, JT), pp. 470–481.
LOPSTR-2002-Vidal #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 #equation #modelling: A Debugging Scheme for Declarative Equation Based Modeling Languages (PB, PF), pp. 280–298.
PADL-2002-Meadows #analysis #using: Using a Declarative Language to Build an Experimental Analysis Tool (CM), pp. 1–2.
PADL-2002-Torgersson #programming: Declarative Programming and Clinical Medicine (OT), pp. 64–81.
SAC-2002-AntoniouA #execution: Executable declarative business rules and their use in electronic commerce (GA, MA), pp. 6–10.
DAC-2002-SiegmundM #communication #hardware #novel #protocol #specification #synthesis: A novel synthesis technique for communication controller hardware from declarative data communication protocol specifications (RS, DM), pp. 602–607.
ICLP-2002-BryS #model transformation #query #semistructured data #simulation #towards #transformation language #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 Data Cleaning: Language, Model, and Algorithms (HG, DF, DS, ES, CAS), pp. 371–380.
ICSM-2001-MensT #design pattern #evolution #framework #object-oriented: A Declarative Evolution Framework for Object-Oriented Design Patterns (TM, TT), pp. 570–579.
FLOPS-2001-AlbertHV #multi: A Practical Partial Evaluator for a Multi-Paradigm Declarative Language (EA, MH, GV), pp. 326–342.
FLOPS-2001-CaballeroLR #debugging #functional #lazy evaluation #logic programming #source code: Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs (RC, FJLF, MRA), pp. 170–184.
LOPSTR-2001-AlbertV #multi #profiling: Symbolic Profiling for Multi-paradigm Declarative Languages (EA, GV), pp. 148–167.
PADL-2001-BrogiC #programming: From Subject Directories to Subject Meta-directories via Declarative Programming (AB, GC), pp. 45–59.
PADL-2001-PetersonHRH #named #visual notation: FVision: A Declarative Language for Visual Tracking (JP, PH, AR, GDH), pp. 304–321.
PPDP-2001-Esparza #model checking #source code: Model Checking (with) Declarative Programs (JE), p. 37.
PPDP-2001-GiavittoM #approximate #data type: Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains (JLG, OM), pp. 150–161.
PPDP-2001-Schmidt #programming #question #uml: Should UML Be Used for Declarative Programming? (DAS), pp. 1–3.
ICLP-2001-DrabentM #approach #correctness #proving #source code: Proving Correctness and Completeness of Normal Programs — A Declarative Approach (WD, MM), pp. 284–299.
ICFP-2000-Sage #haskell #named #user interface: FranTk — a declarative GUI language for Haskell (MS), pp. 106–117.
IFL-2000-HanusHN #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 #learning: Learning Declarative Control Rules for Constraint-BAsed Planning (YCH, BS, HAK), pp. 415–422.
PADL-2000-HindeRP #modelling #named #visual notation: HIPPO — A Declarative Graphical Modelling System (CJH, RJR, KP), pp. 154–168.
PPDP-2000-Elliott #programming: Declarative event-oriented programming (CE), pp. 56–67.
ASE-2000-BoinotMNMC #adaptation #approach #component #design: A Declarative Approach for Designing and Developing Adaptive Components (PB, RM, JN, GM, CC), p. 111–?.
CL-2000-EchahedS #mobile #process #programming: Combining Mobile Processes and Declarative Programming (RE, WS), pp. 300–314.
CL-2000-MancarellaNRT #analysis #named: MuTACLP: A Language for Declarative GIS Analysis (PM, GN, AR, FT), pp. 1002–1016.
CL-2000-NakamuraB #database #maintenance: Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases (MN, CB), pp. 1210–1224.
ECDL-1999-VelegrakisCC #logic #specification #using: Declarative Specification of Z39.50 Wrappers Using Description Logics (YV, VC, PC), pp. 383–402.
RTA-1999-Lopez-FraguasH #multi #named #paradigm: TOY: A Multiparadigm Declarative System (FJLF, JSH), pp. 244–247.
PADL-1999-HakliNTU #implementation #query #string: Implementing a Declarative String Query Language with String Restructuring (RH, MN, HT, EU), pp. 179–195.
PADL-1999-Schmidt #design: A Return to Elegance: The Reapplication of Declarative Notation to Software Design (DAS), pp. 360–364.
PADL-1999-SoininenN: Developing a Declarative Rule Language for Applications in Product Configuration (TS, IN), pp. 305–319.
PADL-1999-WallaceS #eclipse #implementation #named #specification: ECLiPSe: Declarative Specification and Scaleable Implementation (MW, JS), pp. 365–366.
PEPM-1999-Lammel #aspect-oriented #programming: Declarative Aspect-Oriented Programming (RL), pp. 131–146.
PPDP-1999-CorrensonDPR #case study #deforestation #program transformation: Declarative Program Transformation: A Deforestation Case-Study (LC, ÉD, DP, GR), pp. 360–377.
PPDP-1999-Hanus #distributed #multi #programming: Distributed Programming in a Multi-Paradigm Declarative Language (MH), pp. 188–205.
ICLP-1999-Drabent: It Is Declarative (WD), p. 607.
ICLP-1999-HirataY #concurrent #logic: Declarative Priority in a Concurrent Logic Language ON (KH, KY), pp. 215–229.
ICLP-1999-OsorioJN #functional #query: Declarative Pruning in a Functional Query Language (MO, BJ, JCN), pp. 588–604.
ICLP-1999-Pereira #programming: Declarative Programming for a Messy World (FCNP), pp. 3–5.
TOOLS-USA-1998-Wuyts #object-oriented #reasoning: Declarative Reasoning about the Structure of Object-Oriented Systems (RW), pp. 112–124.
ALP-PLILP-1998-HanusS #source code: Controlling Search in Declarative Programs (MH, FS), pp. 374–390.
LOPSTR-1998-BaldanCLP #semantics #towards: A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury (DB, BLC, CL, IP), pp. 21–40.
ESOP-1998-Ruggieri #debugging: A Complete Declarative Debugger of Missing Answers (SR), pp. 236–251.
HCI-CC-1997-SavidisS97a #complexity #framework #specification: Agent Classes for Managing Dialogue Control Specification Complexity: A Declarative Language Framework (AS, CS), pp. 461–464.
ICML-1997-TodorovskiD #bias #equation: Declarative Bias in Equation Discovery (LT, SD), pp. 376–384.
OOPSLA-1997-VolanschiCMC #object-oriented #source code: Declarative Specialization of Object-Oriented Programs (ENV, CC, GM, CC), pp. 286–300.
PLILP-1997-Gregory #approach #concurrent #programming: A Declarative Approach to Concurrent Programming (SG), pp. 79–93.
PLILP-1997-Roure: Introducing the Declarative Dungeon (DDR), pp. 407–417.
ASE-1997-PenixAH #architecture #specification: Declarative Specification of Software Architectures (JP, PA, KH), p. 201–?.
ILPS-1997-Hanus #multi #programming: Multi-Paradigm Declarative Programming (MH), pp. 43–45.
VLDB-1996-CochranePM #constraints #database #sql: Integrating Triggers and Declarative Constraints in SQL Database Sytems (RC, HP, NMM), pp. 567–578.
CIKM-1996-WarshawM #case study: A Case Study of Venus and a Declarative Basis for Rule Modules (LW, DPM), pp. 317–325.
ESOP-1996-Gonzalez-MorenoHLR #logic #programming: A Rewriting Logic for Declarative Programming (JCGM, MTHG, FJLF, MRA), pp. 156–172.
JICSLP-1996-HamfeltN #logic programming #recursion: Declarative Logic Programming with Primitive Recursive Relations on Lists (AH, JFN), pp. 230–243.
JICSLP-1996-Naish: A Declarative View of Modes (LN), pp. 185–199.
CIKM-1995-BuvacF #formal method: A Declarative Formalization of Knowledge Translation (SB, RF), pp. 340–347.
ICLP-1995-GregoryR #concurrent #named #programming language: Tempo: A Declarative Concurrent Programming Language (SG, RR), pp. 515–529.
ILPS-1995-CominiLV #revisited: Declarative Diagnosis Revisited (MC, GL, GV), pp. 275–287.
ILPS-1995-Gurr #logic programming #source code: Declarative Annotations for Logic Programs (CAG), p. 639.
ILPS-1995-JamilL #behaviour #inheritance #semantics: A Declarative Semantics for Behavioral Inheritance and Conflict Resolution (HMJ, LVSL), pp. 130–144.
ILPS-1995-LeoneS #fixpoint #modelling: Declarative and Fixpoint Characterizations of Disjunctive Stable Models (NL, FS), pp. 399–413.
ECOOP-1994-AlagicSB #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 #deduction #logic programming #source code: Partial Deduction of Disjunctive Logic Programs: A Declarative Approach (CS, HS), pp. 170–182.
ICLP-1994-AptG: Declarative Interpretations Reconsidered (KRA, MG), pp. 74–89.
ILPS-1994-BondP #fault: Declarative Error Diagnosis as Consistency-Based Diagnosis (GWB, BP), p. 673.
LICS-1994-Stark #prolog #semantics: The Declarative Semantics of the Prolog Selection Rule (RFS), pp. 252–261.
VLDB-1993-Grefen #approach #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 #in the large: A Case for Declarative Programming-in-the-Large (PS, PB), pp. 360–362.
PLILP-1993-JourdanLMR #imperative: Embedding Declarative Subprograms into Imperative Constructs (MJ, FL, FM, PR), pp. 414–415.
ILPS-1993-Apt #programming #prolog: Declarative Programming in Prolog (KRA), pp. 12–35.
VLDB-1992-LiuM #approach #behaviour #communication #database #object-oriented #process: Activity Model: A Declarative Approach for Capturing Communication Behavior in Object-Oriented Databases (LL, RM), pp. 481–493.
CAiSE-1992-CasanovaHF #concept #modelling: A Declarative Conceptual Modelling Language: Description and Example Applications (MAC, ASH, ALF), pp. 589–611.
CAiSE-1992-HagelsteinR #specification: Reconciling Operational and Declarative Specifications (JH, DR), pp. 221–238.
KR-1992-Gibert #information management #representation #scheduling: Declarative Knowledge Representation in Planning and Scheduling (JG), pp. 3–13.
OOPSLA-1992-MyersGZ #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 #logic programming #named #source code: FOLON: An Environment for Declarative Construction of Logic Programs (JH, BLC), pp. 217–231.
PLILP-1992-Plaza #logic programming: Fully Declarative Logic Programming (JAP), pp. 415–427.
TRI-Ada-C-1992-BailesJSW #ada #functional #programming: Full Functional Programming in a Declarative Ada Dialect (PAB, DBJ, EJS, LW), pp. 350–358.
ICSE-1992-Beach #component: Connecting Software Components with Declarative Glue (BWB), pp. 120–137.
JICSLP-1992-Bugliesi #inheritance #logic programming: A Declarative View of Inheritance in Logic Programming (MB), pp. 113–127.
TOOLS-USA-1991-StaryM #specification #user interface: MERCY-High Level Control for Declarative User Interface Specification (CS, KJM), pp. 281–290.
CSL-1991-Gonzalez-MorenoHR #functional #programming #semantics: Denotational Versus Declarative Semantics for Functional Programming (JCGM, MTHG, MRA), pp. 134–148.
ISLP-1991-DietzenP #logic programming: A Declarative Alternative to “Assert” in Logic Programming (SD, FP), pp. 372–386.
VLDB-1990-HullY #identifier #named: ILOG: Declarative Creation and Manipulation of Object Identifiers (RH, MY), pp. 455–468.
ICSE-1990-BernsteinF #automation #maintenance #programming: Automatic Maintenance of Routine Programming Tasks Based on a Declarative Description (DBB, RF), pp. 310–315.
PODS-1989-Manchanda #database #deduction: Declarative Expression of Deductive Database Updates (SM), pp. 93–100.
ML-1989-GrosofR #bias: Declarative Bias for Structural Domains (BNG, SJR), pp. 480–482.
ICSE-1989-RomanC #paradigm #visualisation: Declarative Visualization in the Shared Dataspace Paradigm (GCR, KCC), pp. 34–43.
CAAP-1989-Deransart #logic programming #proving #source code: Proofs of Declarative Properties of Logic Programs (PD), pp. 207–226.
NACLP-1989-DungK89a #approach #fixpoint #logic programming #semantics #source code: A Fixpoint Approach to Declarative Semantics of Logic Programs (PMD, KK), pp. 604–625.
PODS-1988-AbiteboulV #database: Procedural and Declarative Database Update Languages (SA, VV), pp. 240–250.
JICSCP-1988-FalaschiLMP88 #logic #semantics: A New Declarative Semantics for Logic Languages (MF, GL, MM, CP), pp. 993–1005.
FPCA-1987-GautierG #named #programming #realtime: SIGNAL: A declarative language for synchronous programming of real-time systems (TG, PLG), pp. 257–277.
POPL-1987-CaspiPHP #named #programming: Lustre: A Declarative Language for Programming Synchronous Systems (PC, DP, NH, JP), pp. 178–188.
AF-1987-ClarkF #concurrent #logic programming: A Declarative Environment for Concurrent Logic Programming (KLC, ITF), pp. 212–242.
ICLP-1987-LeviP87 #approach #logic #semantics: An Approach to the Declarative Semantics of Synchronization in Logic Languages (GL, CP), pp. 877–893.
ICLP-1986-HelmM86: Declarative Graphics (RH, KM), pp. 513–527.
SLP-1985-LeviP85 #logic #semantics: The Declarative Semantics of Logical Read-Only Variables (GL, CP), pp. 128–137.
VLDB-1984-Morgenstern #automation #constraints #equation: Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement (MM), pp. 291–300.
DAC-1984-WardleWWMN #approach #design: A declarative design approach for combining macrocells by directed placement and constructive routing (CLW, CRW, CAW, JCM, BJN), pp. 594–601.