BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
declarative
Google declarative

Tag #declarative

347 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.