722 papers:
VLDB-2015-MullerG #abstract interpretation #sql- Provenance for SQL through Abstract Interpretation: Value-less, but Worthwhile (TM, TG), pp. 1872–1883.
PEPM-2015-PoulsenMT #abstract interpretation #imperative #morphism #polymorphism- Imperative Polymorphism by Store-Based Types as Abstract Interpretations (CBP, PDM, PT), pp. 3–8.
SEFM-2015-NicolaMPST #interactive #interpreter #modelling #twitter- Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter (RDN, AM, MP, AS, FT), pp. 327–343.
GaM-2015-BakFPR #graph #interpreter #programming language- A Reference Interpreter for the Graph Programming Language GP 2 (CB, GF, DP, CR), pp. 48–64.
CHI-2015-CoughlanCGBMPLS #named- ArtMaps: Interpreting the Spatial Footprints of Artworks (TC, LC, GG, SB, DM, DP, CL, RS, JS), pp. 407–416.
CHI-2015-MentisSPFS #programming- Being Seen: Co-Interpreting Parkinson’s Patient’s Movement Ability in Deep Brain Stimulation Programming (HMM, RS, SP, PF, LS), pp. 511–520.
CHI-2015-WilsonDB #feedback #interactive- In the Heat of the Moment: Subjective Interpretations of Thermal Feedback During Interaction (GW, GD, SAB), pp. 2063–2072.
DUXU-IXD-2015-BorgesonFKTR #energy #learning #visualisation- Learning from Hourly Household Energy Consumption: Extracting, Visualizing and Interpreting Household Smart Meter Data (SB, JAF, JK, CWT, RR), pp. 337–345.
HCI-DE-2015-Semnani-AzadN #automation #behaviour- Automatic Interpretation of Negotiators’ Affect and Involvement Based on Their Non-verbal Behavior (ZSA, EN), pp. 520–529.
ICEIS-v1-2015-CarboneraA15a #approach #information management #knowledge-based #representation- A Cognition-inspired Knowledge Representation Approach for Knowledge-based Interpretation Systems (JLC, MA), pp. 644–649.
KDD-2015-ShahKZGF #graph #named #summary- TimeCrunch: Interpretable Dynamic Graph Summarization (NS, DK, TZ, BG, CF), pp. 1055–1064.
KDD-2015-VattikondaKZDGS- Interpreting Advertiser Intent in Sponsored Search (BCV, SK, HZ, VD, SG, ACS), pp. 2177–2185.
KDD-2015-WangFM #modelling- Trading Interpretability for Accuracy: Oblique Treed Sparse Additive Models (JW, RF, YM), pp. 1245–1254.
OOPSLA-2015-DaraisMH #composition #program analysis #reuse- Galois transformers and modular abstract interpreters: reusable metatheory for program analysis (DD, MM, DVH), pp. 552–571.
OOPSLA-2015-MarrD #partial evaluation #self- Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters (SM, SD), pp. 821–839.
OOPSLA-2015-WangPW- Vectorization of apply to reduce interpretation overhead of R (HW, DAP, PW), pp. 400–415.
GPCE-2015-InostrozaS #algebra #composition #using- Modular interpreters for the masses: implicit context propagation using object algebras (PI, TvdS), pp. 171–180.
PPDP-2015-CanoRLP #concurrent #declarative- Declarative interpretations of session-based concurrency (MC, CR, HAL, JAP), pp. 67–78.
PPDP-2015-Cousot #abstract interpretation #induction #verification- Verification by abstract interpretation, soundness and abstract induction (PC), pp. 1–4.
PPDP-2015-StievenartNMR #abstract interpretation #concurrent #debugging #detection #higher-order #source code- Detecting concurrency bugs in higher-order programs through abstract interpretation (QS, JN, WDM, CDR), pp. 232–243.
PADL-2015-Hanus #compilation #constraints- CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry (MH), pp. 74–89.
SAC-2015-PerkusichMSGAP #approach #metric #network- A Bayesian network approach to assist on the interpretation of software metrics (MP, AM, LCeS, KCG, HOdA, AP), pp. 1498–1503.
ICSE-v1-2015-Tantithamthavorn #fault #modelling #performance #predict- The Impact of Mislabelling on the Performance and Interpretation of Defect Prediction Models (CT, SM, AEH, AI, KiM), pp. 812–823.
CGO-2015-DeweyKH #interpreter #javascript #parallel- A parallel abstract interpreter for JavaScript (KD, VK, BH), pp. 34–45.
CGO-2015-RohouSS #branch #performance #predict #trust- Branch prediction and the performance of interpreters: don’t trust folklore (ER, BNS, AS), pp. 103–114.
LCTES-2015-ZhangK #abstract interpretation #analysis #persistent #precise- Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis (ZZ, XDK), p. 10.
CADE-2015-DSilvaU #abstract interpretation #automation #deduction- Abstract Interpretation as Automated Deduction (VD, CU), pp. 450–464.
CADE-2015-TiwariGD #synthesis #using- Program Synthesis Using Dual Interpretation (AT, AG, BD), pp. 482–497.
CAV-2015-OulamaraV #abstract interpretation- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation (MO, AJV), pp. 415–430.
ICLP-2015-MartinezRIAT #learning #modelling #probability- Learning Probabilistic Action Models from Interpretation Transitions (DM, TR, KI, GA, CT).
LICS-2015-GradelPSK #first-order #polynomial- Characterising Choiceless Polynomial Time with First-Order Interpretations (EG, WP, SS, LK), pp. 677–688.
RTA-2015-Waldmann #matrix- Matrix Interpretations on Polyhedral Domains (JW), pp. 318–333.
TLCA-2015-EscardoX #consistency #nondeterminism- The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation (MHE, CX), pp. 153–164.
VMCAI-2015-UrbanM #abstract interpretation #proving- Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation (CU, AM), pp. 190–208.
VLDB-2015-GebalyAGKS14- Interpretable and Informative Explanations of Outcomes (KEG, PA, LG, FK, DS), pp. 61–72.
ITiCSE-2014-MornarGM #algorithm #automation #generative #pseudo #visualisation- System for automatic generation of algorithm visualizations based on pseudocode interpretation (JM, AG, SM), pp. 27–32.
SCAM-2014-Abi-AntounCVG #abstract interpretation #graph #question #using- Are Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code? (MAA, SC, RV, AG), pp. 245–254.
PEPM-2014-Garcia-PerezNS #λ-calculus- Deriving interpretations of the gradually-typed λ calculus (ÁGP, PN, IS), pp. 157–168.
FLOPS-2014-BarkatiWJ #interpreter #multi #named- Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing — System Description (KB, HW, PJ), pp. 69–85.
SEFM-2014-BratNSV #abstract interpretation #framework #named #static analysis- IKOS: A Framework for Static Analysis Based on Abstract Interpretation (GB, JAN, NS, AV), pp. 271–277.
CHI-2014-BardzellBS #design- Reading critical designs: supporting reasoned interpretations of critical design (JB, SB, ES), pp. 1951–1960.
CHI-2014-FoshBRK- Gifting personal interpretations in galleries (LF, SB, SR, BK), pp. 625–634.
CHI-2014-ScissorsRG #self- Room for interpretation: the role of self-esteem and CMC in romantic couple conflict (LES, MER, DG), pp. 3953–3962.
CHI-2014-WalberSS- Smart photo selection: interpret gaze as personal interest (TCW, AS, SS), pp. 2065–2074.
DUXU-DP-2014-ShimizuINMHKWK #process- Consideration for Interpretation of Brain Activity Pattern during Car Driving Based on Human Movements (SS, HI, HN, FM, NH, SK, EW, SK), pp. 458–468.
HIMI-DE-2014-KatoM #deployment #modelling #quality #using- Quality Function Deployment Using Improved Interpretive Structural Modeling (TK, YM), pp. 352–363.
ICEIS-v3-2014-BernardoSB #automation #recognition #spreadsheet- Automatic Interpretation Biodiversity Spreadsheets Based on Recognition of Construction Patterns (IRB, AS, MCCB), pp. 57–68.
ICML-c2-2014-KurrasLB #geometry #graph- The f-Adjusted Graph Laplacian: a Diagonal Modification with a Geometric Interpretation (SK, UvL, GB), pp. 1530–1538.
ICPR-2014-Lee #geometry #re-engineering- New Geometric Interpretation and Analytic Solution for Quadrilateral Reconstruction (JHL), pp. 4015–4020.
ICPR-2014-SouzaSSS #process- Pattern Theory-Based Interpretation of Activities (FDMdS, SS, AS, JS), pp. 106–111.
KDD-2014-GhalwashRO #nondeterminism- Utilizing temporal patterns for estimating uncertainty in interpretable early decision making (MFG, VR, ZO), pp. 402–411.
KDD-2014-PurushothamMKO #feature model #higher-order #interactive #learning #modelling- Factorized sparse learning models with interpretable high order feature interactions (SP, MRM, CCJK, RO), pp. 552–561.
KDD-2014-Rudin #algorithm #machine learning- Algorithms for interpretable machine learning (CR), p. 1519.
KEOD-2014-Lesot- Bridging the Emotional Gap — From Objective Representations to Subjective Interpretations (MJL), pp. 1–15.
ECMFA-2014-LammelV #architecture- Interpretation of Linguistic Architecture (RL, AV), pp. 67–82.
OOPSLA-2014-ZhangLBF #abstract syntax tree #optimisation- Accelerating iterators in optimizing AST interpreters (WZ, PL, SB, MF), pp. 727–743.
GPCE-2014-HumerWWWW #abstract syntax tree #domain-specific language #self- A domain-specific language for building self-optimizing AST interpreters (CH, CW, CW, AW, TW), pp. 123–132.
POPL-2014-CousotC #abstract interpretation #calculus- A galois connection calculus for abstract interpretation (PC, RC), pp. 3–4.
POPL-2014-DissegnaLR #abstract interpretation #compilation- Tracing compilation by abstract interpretation (SD, FL, FR), pp. 47–60.
RE-2014-GordonB #requirements- The role of legal expertise in interpretation of legal requirements and definitions (DGG, TDB), pp. 273–282.
SAC-2014-Brinke #energy- Interpreting energy profiles with CEGAR (StB), pp. 1221–1222.
ASPLOS-2014-BucurKC #execution #prototype #symbolic computation- Prototyping symbolic execution engines for interpreted languages (SB, JK, GC), pp. 239–254.
CGO-2014-WangWP #optimisation #reduction #virtual machine- Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization (HW, PW, DAP), p. 295.
OSDI-2014-WangLZCT #framework #interpreter #kernel #named- Jitk: A Trustworthy In-Kernel Interpreter Infrastructure (XW, DL, NZ, AC, ZT), pp. 33–47.
PPoPP-2014-OdairaCT #hardware #interpreter #memory management #ruby #transaction- Eliminating global interpreter locks in ruby through hardware transactional memory (RO, JGC, HT), pp. 131–142.
ICLP-J-2014-SerranoLH #abstract interpretation #analysis #logic programming #resource management #source code #using- Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (AS, PLG, MVH), pp. 739–754.
LICS-CSL-2014-0001C #abstract interpretation #automaton- Abstract interpretation from Büchi automata (MH, WC), p. 10.
LICS-CSL-2014-CousotC #abstract interpretation #past present future- Abstract interpretation: past, present and future (PC, RC), p. 10.
LICS-CSL-2014-Pedrot #functional- A functional functional interpretation (PMP), p. 10.
VMCAI-2014-Ferrara #abstract interpretation #analysis- Generic Combination of Heap and Value Analyses in Abstract Interpretation (PF), pp. 302–321.
VMCAI-2014-Mine #abstract interpretation #analysis #relational #thread- Relational Thread-Modular Static Value Analysis by Abstract Interpretation (AM), pp. 39–58.
TACAS-2013-AlbarghouthiGLCC #abstract interpretation #contest #named #verification- UFO: Verification with Interpolants and Abstract Interpretation — (Competition Contribution) (AA, AG, YL, SC, MC), pp. 637–640.
SCAM-2013-KiwelekarJ #abstraction #object-oriented #ontology #programming- Ontological interpretation of object-oriented programming abstractions (AWK, RKJ), pp. 189–198.
PLDI-2013-SergeyDMMDCP #monad- Monadic abstract interpreters (IS, DD, MM, JM, DD, DC, FP), pp. 399–410.
SAS-2013-BlazyLMP #abstract interpretation #analysis #c #verification- Formal Verification of a C Value Analysis Based on Abstract Interpretation (SB, VL, AM, DP), pp. 324–344.
SAS-2013-GangeNSSS #abstract domain #abstract interpretation- Abstract Interpretation over Non-lattice Abstract Domains (GG, JAN, PS, HS, PJS), pp. 6–24.
SAS-2013-Goubault #abstract interpretation #source code #static analysis- Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT (EG), pp. 1–3.
SAS-2013-Komondoor #abstract interpretation #imperative #precise #slicing #source code- Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation (RK), pp. 259–282.
CHI-2013-FoshBRKB- see me, feel me, touch me, hear me: trajectories and interpretation in a sculpture garden (LF, SB, SR, BK, PB), pp. 149–158.
CHI-2013-HeklerKFB #behaviour #human-computer #research #using- Mind the theoretical gap: interpreting, using, and developing behavioral theory in HCI research (EBH, PVK, JF, MPB), pp. 3307–3316.
CSCW-2013-RostBCB #challenge #communication #dataset #representation #scalability #social #social media- Representation and communication: challenges in interpreting large social media datasets (MR, LB, HC, BB), pp. 357–362.
DUXU-PMT-2013-Breiner #detection #forensics #interactive- User Interaction Forensics — Detecting and Interpreting the User’s Footprints during Touch Interaction (KB), pp. 193–202.
HIMI-D-2013-LiaoLH #concept #modelling #ontology #perspective #security #towards- Towards an Ontological Interpretation on the i* Modeling Language Extended with Security Concepts: A Bunge-Wand-Weber Model Perspective (GYL, PJL, LTH), pp. 322–328.
KDD-2013-YinLLW #perspective #recommendation- Silence is also evidence: interpreting dwell time for recommendation from psychological perspective (PY, PL, WCL, MW), pp. 989–997.
KEOD-2013-KarolyA #implementation- The Implementation of a ReALIS-based Method of Static Intensional Interpretation (MK, GA), pp. 393–398.
SIGIR-2013-Leveling #coordination #generative #query- Interpretation of coordinations, compound generation, and result fusion for query variants (JL), pp. 805–808.
ECMFA-2013-CariouGBP #adaptation- Characterization of Adaptable Interpreted-DSML (EC, OLG, FB, SP), pp. 37–53.
LOPSTR-2013-PoulsenM #composition #generative #semantics- Generating Specialized Interpreters for Modular Structural Operational Semantics (CBP, PDM), pp. 220–236.
PPDP-2013-MidtgaardRL- Engineering definitional interpreters (JM, NR, BL), pp. 121–132.
SAC-2013-ProvensiEVR #adaptation #fuzzy #policy #streaming #using #video- Improving context interpretation by using fuzzy policies: the case of adaptive video streaming (LP, FE, RV, RR), pp. 415–422.
CGO-2013-GartleyPSG #case study #design #experience #framework #interpreter #profiling #robust #scalability- Experiences in designing a robust and scalable interpreter profiling framework (IG, MP, VS, NG), p. 10.
CSL-2013-AschieriBB #normalisation- Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1 (FA, SB, GB), pp. 45–60.
ICST-2013-PastoreM #debugging #named- AVA: Supporting Debugging with Failure Interpretations (FP, LM), pp. 416–421.
VMCAI-2013-BrainDHGK #abstract interpretation- An Abstract Interpretation of DPLL(T) (MB, VD, LH, AG, DK), pp. 455–475.
ITiCSE-2012-ShmalloRG #fuzzy #object-oriented- Fuzzy OOP: expanded and reduced term interpretations (RS, NR, DG), pp. 309–314.
ESOP-2012-CousotM #abstract interpretation #probability- Probabilistic Abstract Interpretation (PC, MM), pp. 169–193.
PEPM-2012-GiacobazziJM #obfuscation #partial evaluation- Obfuscation by partial evaluation of distorted interpreters (RG, NDJ, IM), pp. 63–72.
SAS-2012-AlbarghouthiGC- Craig Interpretation (AA, AG, MC), pp. 300–316.
SAS-2012-GiacobazziM #abstract interpretation #modelling #obfuscation- Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation (RG, IM), pp. 129–145.
SAS-2012-HenryMM #abstract interpretation #algorithm #analysis #evaluation- Succinct Representations for Abstract Interpretation — Combined Analysis Algorithms and Experimental Evaluation (JH, DM, MM), pp. 283–299.
FLOPS-2012-Hamana #category theory #haskell- Correct Looping Arrows from Cyclic Terms — Traced Categorical Interpretation in Haskell (MH), pp. 136–150.
CHI-2012-ChuangRMH #analysis #design #modelling #trust #visualisation- Interpretation and trust: designing model-driven visualizations for text analysis (JC, DR, CDM, JH), pp. 443–452.
CHI-2012-FrauenbergerGKP #approach- Interpreting input from children: a designerly approach (CF, JG, WKB, HP), pp. 2377–2386.
ICEIS-v3-2012-AkikiBY #adaptation #enterprise #modelling #runtime #user interface #using- Using Interpreted Runtime Models for Devising Adaptive User Interfaces of Enterprise Applications (PAA, AKB, YY), pp. 72–77.
CIKM-2012-PoundHIW #keyword #knowledge base #query #web- Interpreting keyword queries over web knowledge bases (JP, AKH, IFI, GEW), pp. 305–314.
ECIR-2012-HollinkHV #query- Explaining Query Modifications — An Alternative Interpretation of Term Addition and Removal (VH, JH, APdV), pp. 1–12.
ECIR-2012-LvZ #modelling #normalisation- A Log-Logistic Model-Based Interpretation of TF Normalization of BM25 (YL, CZ), pp. 244–255.
KDIR-2012-BressoGDNS #3d #concept analysis #learning #relational- Formal Concept Analysis for the Interpretation of Relational Learning Applied on 3D Protein-binding Sites (EB, RG, MDD, AN, MST), pp. 111–120.
SEKE-2012-BhattiAHD #concept #re-engineering- A Catalog of Patterns for Concept Lattice Interpretation in Software Reengineering (MUB, NA, MH, SD), pp. 118–123.
ECMFA-2012-VarroAS #pattern matching #unification- Unification of Compiled and Interpreter-Based Pattern Matching Techniques (GV, AA, AS), pp. 368–383.
OOPSLA-2012-CousotCLB #abstract interpretation #contract #framework #refactoring- An abstract interpretation framework for refactoring with application to extract methods with contracts (PC, RC, FL, MB), pp. 213–232.
PADL-2012-Coleman #classification #distributed #policy #specification- Distributed Policy Specification and Interpretation with Classified Advertisements (NC), pp. 198–211.
POPL-2012-CousotC #abstract interpretation #framework #termination- An abstract interpretation framework for termination (PC, RC), pp. 245–258.
CSL-2012-BaillotL #complexity #higher-order- Higher-Order Interpretations and Program Complexity (PB, UDL), pp. 62–76.
CSL-2012-Hida #axiom- A Computational Interpretation of the Axiom of Determinacy in Arithmetic (TH), pp. 335–349.
ICST-2012-PatrickOC #evaluation #named #semantics- MESSI: Mutant Evaluation by Static Semantic Interpretation (MP, MO, JAC), pp. 711–719.
ICST-2012-PonsiniMR #abstract interpretation #analysis #constraints #float #programming #source code- Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs (OP, CM, MR), pp. 775–776.
ISSTA-2012-CoughlinCDS #source code #what- Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say (DC, BYEC, AD, JGS), pp. 276–286.
LICS-2012-BernardyM #parametricity- A Computational Interpretation of Parametricity (JPB, GM), pp. 135–144.
LICS-2012-RabinovichR #branch- Interpretations in Trees with Countably Many Branches (AR, SR), pp. 551–560.
RTA-2012-FuhsK #higher-order #polynomial- Polynomial Interpretations for Higher-Order Rewriting (CF, CK), pp. 176–192.
VMCAI-2012-GhorbalIBMG #abstract interpretation #performance- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (KG, FI, GB, NM, AG), pp. 235–250.
ICDAR-2011-GhorbelMLA #interactive #sketching- Interactive Competitive Breadth-First Exploration for Sketch Interpretation (AG, SM, AL, ÉA), pp. 1195–1199.
VLDB-2011-DasADY #collaboration #named- MRI: Meaningful Interpretations of Collaborative Ratings (MD, SAY, GD, CY), pp. 1063–1074.
FoSSaCS-2011-Hoshino #functional #linear #programming language- A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy (NH), pp. 320–334.
SAS-2011-MadhavanRV #abstract interpretation #analysis- Purity Analysis: An Abstract Interpretation Formulation (RM, GR, KV), pp. 7–24.
SAS-2011-McMillanZ #abstract interpretation #invariant- Invisible Invariants and Abstract Interpretation (KLM, LDZ), pp. 249–262.
SAS-2011-MightH #abstract interpretation #concurrent #higher-order #product line #source code #static analysis- A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs (MM, DVH), pp. 180–197.
ICALP-v2-2011-CrafaR #abstract interpretation #algorithm #bisimulation #probability #simulation- Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (SC, FR), pp. 295–306.
ICFP-2011-JayP #pattern matching #self- Typed self-interpretation by pattern matching (CBJ, JP), pp. 247–258.
GCM-2010-GolasBEE11 #graph transformation #interpreter #semantics #visual notation- A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation (UG, EB, HE, CE).
HCI-UA-2011-JohnsonLTS #approach #comprehension #monitoring #towards- Toward an Understanding of a Computerized Monitoring System Failure: An Interpretive Approach (NJ, YL, FT, SS), pp. 336–345.
OCSC-2011-AhmadL11a #question #what- Interpreting User-Generated Content: What Makes a Blog Believeable? (RA, WGL), pp. 81–89.
CIKM-2011-DongBHRC #optimisation #personalisation #recommendation- User action interpretation for personalized content optimization in recommender systems (AD, JB, XH, SR, YC), pp. 2129–2132.
ICML-2011-FlachHR #classification #performance- A Coherent Interpretation of AUC as a Measure of Aggregated Classification Performance (PAF, JHO, CFR), pp. 657–664.
KDD-2011-PlantB #category theory #clustering #named- INCONCO: interpretable clustering of numerical and categorical objects (CP, CB), pp. 1127–1135.
KDD-2011-RamageMD #mining #modelling #topic- Partially labeled topic models for interpretable text mining (DR, CDM, STD), pp. 457–465.
KEOD-2011-AlbertiK #database #interpreter- The Implemented Human Interpreter as a Database (GA, MK), pp. 379–385.
KMIS-2011-GronauWH #collaboration- Interpretation of Collaborative Decisions by Meta-metrics (NG, EW, PH), pp. 158–166.
TOOLS-EUROPE-2011-HillsKSV #interpreter #visitor- A Case of Visitor versus Interpreter Pattern (MH, PK, TvdS, JJV), pp. 228–243.
POPL-2011-HengleinN #axiom #induction #regular expression- Regular expression containment: coinductive axiomatization and computational interpretation (FH, LN), pp. 385–398.
CC-2011-Brunthaler #interpreter #scheduling- Interpreter Instruction Scheduling (SB), pp. 164–178.
CAV-2011-JhalaMR #functional #named #source code #using #verification- HMC: Verifying Functional Programs Using Abstract Interpreters (RJ, RM, AR), pp. 470–485.
RTA-2011-NeurauterM #matrix #proving #term rewriting #termination- Revisiting Matrix Interpretations for Proving Termination of Term Rewriting (FN, AM), pp. 251–266.
VMCAI-2011-KimC #abstract interpretation #analysis #string- String Analysis as an Abstract Interpretation (SWK, KMC), pp. 294–308.
VMCAI-2011-Logozzo #abstract interpretation #verification- Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation — (Invited Talk) (FL), pp. 19–22.
HT-2010-KimS #hypermedia #visualisation- Interpretation and visualization of user history in a spatial hypertext system (DK, FMSI), pp. 255–264.
ESOP-2010-DSilva #abstract interpretation- Propositional Interpolation and Abstract Interpretation (VD), pp. 185–204.
ESOP-2010-KoprowskiB #interpreter #named #parsing- TRX: A Formally Verified Parser Interpreter (AK, HB), pp. 345–365.
FASE-2010-DarvasM #consistency #proving #using- Proving Consistency and Completeness of Model Classes Using Theory Interpretation (ÁD, PM), pp. 218–232.
ICSM-2010-ZawawyKM #analysis- Log filtering and interpretation for root cause analysis (HZ, KK, JM), pp. 1–5.
PLDI-2010-ChaudhuriS- Smooth interpretation (SC, ASL), pp. 279–291.
SAS-2010-Might #for free- Abstract Interpreters for Free (MM), pp. 407–421.
SAS-2010-PredaGDCT #abstract interpretation #modelling #morphism- Modelling Metamorphism by Abstract Interpretation (MDP, RG, SKD, KC, GMT), pp. 218–235.
FLOPS-2010-DanvyMMZ #call-by #evaluation- Defunctionalized Interpreters for Call-by-Need Evaluation (OD, KM, JM, IZ), pp. 240–256.
CHI-2010-FlatlaG #difference #modelling #visualisation- Individual models of color differentiation to improve interpretability of information visualization (DRF, CG), pp. 2563–2572.
CAiSE-2010-MatuleviciusHK #documentation #quality- Validity of the Documentation Availability Model: Experimental Definition of Quality Interpretation (RM, NH, FK), pp. 236–250.
CIKM-2010-CataldiCS #adaptation #named #taxonomy- ANITA: a narrative interpretation of taxonomies for their adaptation to text collections (MC, KSC, MLS), pp. 1781–1784.
CIKM-2010-KimKLB #interpreter #performance #semantics- Efficient wikipedia-based semantic interpreter by exploiting top-k processing (JWK, AK, DL, SB), pp. 1813–1816.
ECIR-2010-StamouE- Interpreting User Inactivity on Search Results (SS, ENE), pp. 100–113.
KDIR-2010-ParviainenRML #approximate #infinity #learning #network- Interpreting Extreme Learning Machine as an Approximation to an Infinite Neural Network (EP, JR, YM, AL), pp. 65–73.
KR-2010-BoellaGRT #comprehension #logic- A Logical Understanding of Legal Interpretation (GB, GG, AR, LWNvdT).
KR-2010-KontchakovPZ #logic- Interpreting Topological Logics over Euclidean Spaces (RK, IPH, MZ).
SIGIR-2010-LanaganS #named- SIGIR: scholar vs. scholars’ interpretation (JL, AFS), pp. 713–714.
MoDELS-v1-2010-WilkeTW #ocl #variability- Extending Variability for OCL Interpretation (CW, MT, CW), pp. 361–375.
OOPSLA-2010-VerwaestBGLN #named- Pinocchio: bringing reflection to life with first-class interpreters (TV, CB, DG, AL, ON), pp. 774–789.
QAPL-2010-CacheraJ #abstract interpretation #cost analysis #injection #linear #modelling- Injecting Abstract Interpretations into Linear Cost Models (DC, AJ), pp. 64–81.
CC-2010-LogozzoV #abstract interpretation #agile #analysis #javascript #named #optimisation- RATA: Rapid Atomic Type Analysis by Abstract Interpretation — Application to JavaScript Optimization (FL, HV), pp. 66–83.
CGO-2010-WilliamsMG #scripting language- Dynamic interpretation for dynamic scripting languages (KW, JM, DG), pp. 278–287.
ICST-2010-GrassoFFBB #abstract interpretation #modelling #testing- Model Based Testing and Abstract Interpretation in the Railway Signaling Context (DG, AF, AF, CB, SB), pp. 103–106.
IJCAR-2010-NeurauterMZ #polynomial- Monotonicity Criteria for Polynomial Interpretations over the Naturals (FN, AM, HZ), pp. 502–517.
RTA-2010-NeurauterM #integer #polynomial- Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers (FN, AM), pp. 243–258.
RTA-2010-Waldmann #bound #matrix- Polynomially Bounded Matrix Interpretations (JW), pp. 357–372.
VMCAI-2010-Giacobazzi #abstract interpretation- Abstract Interpretation-Based Protection (RG), pp. 23–24.
HT-2009-Francisco-RevillaC #layout #web- Interpreting the layout of web pages (LFR, JC), pp. 157–166.
SAS-2009-GrundR #abstract interpretation- Abstract Interpretation of FIFO Replacement (DG, JR), pp. 120–136.
SAS-2009-Schmidt #abstract interpretation #perspective- Abstract Interpretation from a Topological Perspective (DAS), pp. 293–308.
SEFM-2009-MartinsMB #refinement- Refinement via Interpretation (MAM, AM, LSB), pp. 250–259.
ICFP-2009-MidtgaardJ #abstract interpretation #analysis #control flow- Control-flow analysis of function calls and returns by abstract interpretation (JM, TPJ), pp. 287–298.
GT-VMT-2009-GieseHS #diagrams #flexibility #scalability- Improved Flexibility and Scalability by Interpreting Story Diagrams (HG, SH, AS), pp. 147–158.
DHM-2009-SakellariouCWCA #approach #novel- A Novel Approach to CT Scans’ Interpretation via Incorporation into a VR Human Model (SS, VC, BMW, DC, PA), pp. 550–559.
HCI-AUII-2009-SutoKK- Influences of Telops on Television Audiences’ Interpretation (HS, HK, OK), pp. 670–678.
HCI-NIMT-2009-Valle-AgudoCCR #generative #independence #interactive- Breaking of the Interaction Cycle: Independent Interpretation and Generation for Advanced Dialogue Management (DdVA, FJCG, DCF, JRE), pp. 674–683.
HCI-NT-2009-LeeP #evaluation #speech #synthesis- Interpretation of User Evaluation for Emotional Speech Synthesis System (HJL, JCP), pp. 295–303.
IDGD-2009-EuneL #behaviour #difference #mobile- Cultural Dimensions in User Preferences and Behaviors of Mobile Phones and Interpretation of National Cultural Differences (JE, KPL), pp. 29–38.
IDGD-2009-Sun #design- Designing for a Dialogic View of Interpretation in Cross-Cultural IT Design (HS), pp. 108–116.
AdaEurope-2009-SokolskyLC #algebra #modelling- Process-Algebraic Interpretation of AADL Models (OS, IL, DC), pp. 222–236.
CIKM-2009-BalachandranPK #clustering #configuration management #dataset #documentation- Interpretable and reconfigurable clustering of document datasets by deriving word-based rules (VB, DP, DK), pp. 1773–1776.
KEOD-2009-SantosS #recommendation- Interpretation and Recommendation Tasks Supported by Ceres System (CPS, DRdS), pp. 464–467.
PPDP-2009-FalaschiOP #abstract interpretation #concurrent #constraints #framework #source code- A framework for abstract interpretation of timed concurrent constraint programs (MF, CO, CP), pp. 207–218.
LDTA-2008-Dolstra09 #domain-specific language #functional #lazy evaluation #performance- Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs (ED), pp. 81–99.
LDTA-2008-FokkerS09 #abstract interpretation #attribute grammar #functional #source code #using- Abstract Interpretation of Functional Programs using an Attribute Grammar System (JF, SDS), pp. 117–133.
CGO-2009-CordesFM #abstract interpretation #analysis #modelling #performance #precise #slicing- A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models (PL, DC, HF, PM), pp. 136–146.
CSL-2009-FerreiraO #functional #linear #logic- Functional Interpretations of Intuitionistic Linear Logic (GF, PO), pp. 3–19.
CSL-2009-GaboardiP #bound #semantics #using- Upper Bounds on Stream I/O Using Semantic Interpretations (MG, RP), pp. 271–286.
ISSTA-2009-BabenkoMP #automation #detection #named- AVA: automated interpretation of dynamically detected anomalies (AB, LM, FP), pp. 237–248.
TLCA-2009-AschieriB #interactive- Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1 (FA, SB), pp. 20–34.
VMCAI-2009-KinderZV #abstract interpretation #control flow #framework #re-engineering- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries (JK, FZ, HV), pp. 214–228.
VMCAI-2009-MightM #abstract interpretation #nondeterminism- A PosterioriSoundness for Non-deterministic Abstract Interpretations (MM, PM), pp. 260–274.
ASE-2008-PostSKG #abstract interpretation #bound #model checking- Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking (HP, CS, AK, TG), pp. 188–197.
ESOP-2008-BartheK #abstract interpretation- Certificate Translation in Abstract Interpretation (GB, CK), pp. 368–382.
FASE-2008-CamaraSC #composition #interpreter #named- Clint: A Composition Language Interpreter (Tool Paper) (JC, GS, CC), pp. 423–427.
TACAS-2008-GulavaniCNR #abstract interpretation #automation- Automatically Refining Abstract Interpretations (BSG, SC, AVN, SKR), pp. 443–458.
CSMR-2008-KanellopoulosTHV #clustering #maintenance #source code- Interpretation of Source Code Clusters in Terms of the ISO/IEC-9126 Maintainability Characteristics (YK, CT, IH, JV), pp. 63–72.
SAS-2008-CominiDV #abstract interpretation #on the #polymorphism #recursion #type system- On Polymorphic Recursion, Type Systems, and Abstract Interpretation (MC, FD, SV), pp. 144–158.
SAS-2008-GiacobazziM #abstract interpretation- Transforming Abstract Interpretations by Abstract Interpretation (RG, IM), pp. 1–17.
SAS-2008-MidtgaardJ #abstract interpretation #analysis #approach #control flow- A Calculational Approach to Control-Flow Analysis by Abstract Interpretation (JM, TPJ), pp. 347–362.
SAS-2008-Perdrix #abstract interpretation #analysis #quantum- Quantum Entanglement Analysis Based on Abstract Interpretation (SP), pp. 270–282.
SEFM-2008-Cortesi #abstract interpretation- Widening Operators for Abstract Interpretation (AC), pp. 31–40.
SEFM-2008-Giacobazzi #abstract interpretation #security- Abstract Interpretation in Code Security (RG), p. 3.
ICFP-2008-Danvy #programming language- Defunctionalized interpreters for programming languages (OD), pp. 131–142.
CSCW-2008-Bietz #communication #feedback- Effects of communication media on the interpretation of critical feedback (MJB), pp. 467–476.
ICPR-2008-RicharzPF #3d #detection #gesture #realtime- Real-time detection and interpretation of 3D deictic gestures for interactionwith an intelligent environment (JR, TP, GAF), pp. 1–4.
KDD-2008-HyvonenMT #matrix- Interpretable nonnegative matrix decompositions (SH, PM, ET), pp. 345–353.
SEKE-2008-FunkPC #execution #specification- Model Interpretation for Executable Observation Specifications (MF, PvdP, HC), pp. 785–790.
SIGIR-2008-Robertson #precise- A new interpretation of average precision (SR), pp. 689–690.
ECMDA-FA-2008-SadilekW #domain-specific language #modelling #prototype #visual notation- Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages (DAS, GW), pp. 63–78.
QAPL-2008-PierroSW #abstract interpretation #analysis #precise #probability #relational- Relational Analysis and Precision via Probabilistic Abstract Interpretation (ADP, PS, HW), pp. 23–42.
QAPL-2008-Smith #abstract interpretation #imperative #probability #source code #using- Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions (MJAS), pp. 43–59.
POPL-2008-GulwaniMT #logic #quantifier- Lifting abstract interpreters to quantified logical domains (SG, BM, AT), pp. 235–246.
SAC-2008-AvolaC #analysis #image- Encephalic NMR image analysis by textural interpretation (DA, LC), pp. 1338–1342.
SAC-2008-Paraiso #interface #ontology- Ontology-based utterance interpretation for intelligent conversational interfaces (ECP), pp. 1578–1582.
PPoPP-2008-ChengCHT #classification #manycore #scalability #using- Scalable packet classification using interpreting: a cross-platform multi-core solution (HC, ZC, BH, XT), pp. 33–42.
CAV-2008-WilhelmW #abstract interpretation #validation- Abstract Interpretation with Applications to Timing Validation (RW, BW), pp. 22–36.
RTA-2008-MoserS #polynomial #proving #using- Proving Quadratic Derivational Complexities Using Context Dependent Interpretations (GM, AS), pp. 276–290.
TAP-2008-Ferrara #abstract interpretation #memory management #static analysis- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model (PF), pp. 116–133.
VMCAI-2008-BouissouM #abstract interpretation #embedded #physics #source code- Abstract Interpretation of the Physical Inputs of Embedded Programs (OB, MM), pp. 37–51.
VMCAI-2008-Cousot #abstract interpretation #semantics- Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions (RC), pp. 1–3.
VMCAI-2008-DanosFFK #abstract interpretation #network- Abstract Interpretation of Cellular Signalling Networks (VD, JF, WF, JK), pp. 83–97.
VMCAI-2008-Schmidt #abstract interpretation #logic- Internal and External Logics of Abstract Interpretations (DAS), pp. 263–278.
CASE-2007-KumarSKTS #fuzzy- Fuzzy Filtering for an Intelligent Interpretation of Medical Data (MK, NS, DK, KT, RS), pp. 225–230.
ICDAR-2007-Mace #constraints #documentation #incremental #multi #online #parsing- Context-Driven Constraint Multiset Grammars with Incremental Parsing for On-line Structured Document Interpretation (SM), pp. 442–446.
ICDAR-2007-RaveauxBO #documentation- A Colour Document Interpretation: Application to Ancient Cadastral Maps (RR, JCB, JMO), pp. 1128–1132.
WRLA-2006-HillsSR07 #framework #generative #performance- A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters (MH, TS, GR), pp. 215–231.
ESOP-2007-BessonJT #abstract interpretation #proving- Small Witnesses for Abstract Interpretation-Based Proofs (FB, TPJ, TT), pp. 268–283.
PEPM-2007-LiuHT #bidirectional #xquery- Bidirectional interpretation of XQuery (DL, ZH, MT), pp. 21–30.
PEPM-2007-YokoyamaG #programming language #self- A reversible programming language and its invertible self-interpreter (TY, RG), pp. 144–153.
SEFM-2007-Cousot #abstract interpretation #formal method- The Rôle of Abstract Interpretation in Formal Methods (PC), pp. 135–140.
CEFP-2007-JansenKP #compilation- From Interpretation to Compilation (JMJ, PWMK, RP), pp. 286–301.
ICFP-2007-CooperM #case study #experience #haskell #interpreter- Experience report: a Haskell interpreter for cellML (JC, SM), pp. 247–250.
CHI-2007-BoehnerVSD #how #human-computer- How HCI interprets the probes (KB, JV, PS, PD), pp. 1077–1086.
CHI-2007-GaverSKKB #health #testing #ubiquitous- Enhancing ubiquitous computing with user interpretation: field testing the home health horoscope (WWG, PS, TK, JK, JB), pp. 537–546.
HCI-MIE-2007-ZhouCCB #automation #image #information management- Knowledge Transfer in Semi-automatic Image Interpretation (JZ, LC, TC, WFB), pp. 1028–1034.
HIMI-IIE-2007-IbrahimNM #concept #framework #online #trust #web- “Seeing Is Not Believing But Interpreting”, Inducing Trust Through Institutional Symbolism: A Conceptual Framework for Online Trust Building in a Web Mediated Information Environment (ENMI, NLMN, SM), pp. 64–73.
ICEIS-EIS-2007-ErfurthRSHS #concept #development #domain-specific language #modelling #representation- Concepts of Model Driven Software Development in Practice — Generic Model Representation and DSL Interpretation (CE, WR, CS, DH, SS), pp. 278–286.
ICML-2007-WachmanK #kernel #learning #order- Learning from interpretations: a rooted kernel for ordered hypergraphs (GW, RK), pp. 943–950.
SEKE-2007-FerriGP #approach #human-computer #interactive #multimodal- An Approach to Multimodal Input Interpretation in Human-Computer Interaction (FF, PG, SP), pp. 664–669.
POPL-2007-SiskindP #standard- First-class nonstandard interpretations by opening closures (JMS, BAP), pp. 71–76.
LCTES-2007-Kastner #abstract interpretation #analysis #execution #worst-case- Safe worst-case execution time analysis by abstract interpretation of executable code (DK), p. 135.
CADE-2007-TiwariG #logic #program analysis #proving #theorem proving #using- Logical Interpretation: Static Program Analysis Using Theorem Proving (AT, SG), pp. 147–166.
LICS-2007-Oliva #linear #logic- Modified Realizability Interpretation of Classical Linear Logic (PO), pp. 431–442.
RTA-2007-ZantemaW #termination- Termination by Quasi-periodic Interpretations (HZ, JW), pp. 404–418.
SAT-2007-FuhsGMSTZ #analysis #polynomial #satisfiability #termination- SAT Solving for Termination Analysis with Polynomial Interpretations (CF, JG, AM, PSK, RT, HZ), pp. 340–354.
VMCAI-2007-Logozzo #abstract interpretation #analysis #composition #java #named #verification- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes (FL), pp. 283–298.
CASE-2006-Tan #automation #security- Automatic Interpretation of Human and Vehicle Motion for Enhanced Security (TT), p. 2.
TACAS-2006-GulavaniR #abstract interpretation #refinement- Counterexample Driven Refinement for Abstract Interpretation (BSG, SKR), pp. 474–488.
SCAM-2006-HenriksenG #abstract interpretation #logic programming #source code- Abstract Interpretation of PIC Programs through Logic Programming (KSH, JPG), pp. 184–196.
PLDI-2006-GulwaniT- Combining abstract interpreters (SG, AT), pp. 376–386.
SAS-2006-PueblaAH #abstract interpretation- Abstract Interpretation with Specialized Definitions (GP, EA, MVH), pp. 107–126.
FLOPS-2006-MarionP #analysis- Resource Analysis by Sup-interpretation (JYM, RP), pp. 163–176.
ICALP-v2-2006-BenediktK #query- Interpreting Tree-to-Tree Queries (MB, CK), pp. 552–564.
ICALP-v2-2006-Mogelberg #formal method #modelling #morphism #parametricity #polymorphism- Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism (REM), pp. 372–383.
CIKM-2006-Girju #semantics- Out-of-context noun phrase semantic interpretation with cross-linguistic evidence (RG), pp. 268–276.
ICPR-v1-2006-KimH #3d #image #multi #performance #sequence- Variational Multigrid for Fast 3D Interpretation of Image Sequences (JSK, KSH), pp. 267–270.
ICPR-v2-2006-KimK06b #estimation #graph #modelling #monte carlo #multi #online- Multi-modal Sequential Monte Carlo for On-Line Hierarchical Graph Structure Estimation in Model-based Scene Interpretation (SK, ISK), pp. 251–254.
ICPR-v2-2006-MaceA #documentation #online- A Generic Method for Eager Interpretation of On-Line Handwritten Structured Documents (SM, ÉA), pp. 1106–1109.
ICPR-v2-2006-YuC #image #segmentation #semantics #using- Joint Image Segmentation and Interpretation Using Iterative Semantic Region Growing on SAR Sea Ice Imagery (QY, DAC), pp. 223–226.
SIGIR-2006-TrotmanL #query #strict- Strict and vague interpretation of XML-retrieval queries (AT, ML), pp. 709–710.
GPCE-2006-BradyH #compilation #interpreter #staged- A verified staged interpreter is a verified compiler (EB, KH), pp. 111–120.
LOPSTR-2006-NguyenS #automation #named #polynomial #proving #termination- Polytool: Proving Termination Automatically Based on Polynomial Interpretations (MTN, DDS), pp. 210–218.
SAC-2006-NevesCFB #knowledge base- A new table interpretation methodology with little knowledge base: table interpretation methodology (LAPN, JMdC, JF, FB), pp. 847–852.
CGO-2006-NandaLLC #named #runtime #using- BIRD: Binary Interpretation using Runtime Disassembly (SN, WL, LCL, TcC), pp. 358–370.
HPDC-2006-BernardiCFJK #architecture #clustering #geometry #grid- Geometrical Interpretation for Data partitioning on a Grid Architecture (DB, CC, HF, MJ, MK), pp. 355–356.
ICLP-2006-Emden #composition #logic #semantics- Compositional Semantics for the Procedural Interpretation of Logic (MHvE), pp. 315–329.
IJCAR-2006-EndrullisWZ #matrix #proving #term rewriting #termination- Matrix Interpretations for Proving Termination of Term Rewriting (JE, JW, HZ), pp. 574–588.
IJCAR-2006-McLaughlin #higher-order- An Interpretation of Isabelle/HOL in HOL Light (SM), pp. 192–204.
IJCAR-2006-SutcliffeSCG #finite #using- Using the TPTP Language for Writing Derivations and Finite Interpretations (GS, SS, KC, AVG), pp. 67–81.
RTA-2006-HofbauerW #matrix #string #termination- Termination of String Rewriting with Matrix Interpretations (DH, JW), pp. 328–342.
VMCAI-2006-GantyRB #abstract interpretation #framework- A Complete Abstract Interpretation Framework for Coverability Properties of WSTS (PG, JFR, LVB), pp. 49–64.
VMCAI-2006-LogozzoC #abstract interpretation #refactoring #semantics- Semantic Hierarchy Refactoring by Abstract Interpretation (FL, AC), pp. 313–331.
VMCAI-2006-RanzatoT #abstract interpretation- Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation (FR, FT), pp. 332–347.
ASE-2005-DenmatDR #data mining #execution #mining- Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information (TD, MD, OR), pp. 396–399.
ASE-2005-UbayashiMMT #aspect-oriented #interpreter #modelling- A parameterized interpreter for modeling different AOP mechanisms (NU, GM, HM, TT), pp. 194–203.
DATE-2005-HeckmannF #abstract interpretation #embedded #safety- erifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation (RH, CF), pp. 618–619.
HT-2005-Francisco-RevillaS #ambiguity #hypermedia #parsing- Parsing and interpreting ambiguous structures in spatial hypermedia (LFR, FMSI), pp. 107–116.
ICDAR-2005-AblameykoBP #what- . What Should the User Do? Inference Structures and Line Drawing Interpretation (SA, VB, TPP), pp. 760–764.
ITiCSE-2005-Fossum #interpreter- Classes as first class objects in an environment-passing interpreter (TVF), pp. 261–265.
ESOP-2005-GiacobazziM #abstract interpretation #classification #modelling- Adjoining Declassification and Attack Models by Abstract Interpretation (RG, IM), pp. 295–310.
ESOP-2005-MauborgneR #abstract interpretation #clustering- Trace Partitioning in Abstract Interpretation Based Static Analyzers (LM, XR), pp. 5–20.
TACAS-2005-RanzatoT #abstract interpretation #algorithm #refinement- An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation (FR, FT), pp. 140–156.
SCAM-2005-HongLS #abstract interpretation #approach #model checking #slicing- Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking (HSH, IL, OS), pp. 25–34.
WCRE-2005-CaretteC #assembly #legacy- Symbolic Interpretation of Legacy Assembly Language (JC, PKC), pp. 23–32.
ICALP-2005-PredaG #abstract interpretation #obfuscation #semantics- Semantic-Based Code Obfuscation by Abstract Interpretation (MDP, RG), pp. 1325–1336.
SEFM-2005-PredaG #abstract interpretation #obfuscation- Control Code Obfuscation by Abstract Interpretation (MDP, RG), pp. 301–310.
ICEIS-v2-2005-NairC #image- A System to Interpret and Summarise some Patterns in Images (HN, IC), pp. 283–290.
CIKM-2005-AslamY #analysis #geometry- A geometric interpretation and analysis of R-precision (JAA, EY), pp. 664–671.
ECIR-2005-GoutteG #evaluation #precise #probability- A Probabilistic Interpretation of Precision, Recall and F-Score, with Implication for Evaluation (CG, ÉG), pp. 345–359.
SEKE-2005-ArdimentoBCV #information management- Decision Tables for Knowledge Acquisition during Goal Interpretation (PA, MTB, DC, GV), pp. 404–407.
SIGIR-2005-AslamYP05a #correlation #geometry #precise- A geometric interpretation of r-precision and its correlation with average precision (JAA, EY, VP), pp. 573–574.
SIGIR-2005-JoachimsGPHG #feedback- Accurately interpreting clickthrough data as implicit feedback (TJ, LAG, BP, HH, GG), pp. 154–161.
PPDP-2005-SchrijversSD #abstract interpretation #constraints- Abstract interpretation for constraint handling rules (TS, PJS, GJD), pp. 218–229.
POPL-2005-GulwaniN #analysis #interprocedural #precise #random #using- Precise interprocedural analysis using random interpretation (SG, GCN), pp. 324–337.
CC-2005-CaseyGE #generative #interpreter #named- Tiger — An Interpreter Generation Tool (KC, DG, MAE), pp. 246–249.
CGO-2005-BerndlVZB #flexibility #performance #thread #virtual machine- Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters (MB, BV, MZ, ADB), pp. 15–26.
CSL-2005-Hernest #functional- Light Functional Interpretation (MDH), pp. 477–492.
ICLP-2005-GallagherHB #analysis #scalability- Techniques for Scaling Up Analyses Based on Pre-interpretations (JPG, KSH, GB), pp. 280–296.
ICLP-2005-NguyenS #analysis #logic programming #polynomial #source code #termination- Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs (MTN, DDS), pp. 311–325.
RTA-2005-BonfanteMM #bound- Quasi-interpretations and Small Space Bounds (GB, JYM, JYM), pp. 150–164.
VMCAI-2005-Bertrane #abstract interpretation #composition #source code #static analysis- Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs (JB), pp. 97–112.
VMCAI-2005-ChangL #abstract interpretation- Abstract Interpretation with Alien Expressions and Heap Structures (BYEC, KRML), pp. 147–163.
VMCAI-2005-Hymans #abstract interpretation #fault #verification- Verification of an Error Correcting Code by Abstract Interpretation (CH), pp. 330–345.
ESOP-2004-RanzatoT #abstract interpretation- Strong Preservation as Completeness in Abstract Interpretation (FR, FT), pp. 18–32.
SAS-2004-Rodriguez-CarbonellK #abstract interpretation #approach #automation #generative #invariant #polynomial- An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants (ERC, DK), pp. 280–295.
SAS-2004-ThompsonM #abstract interpretation- Abstract Interpretation of Combinational Asynchronous Circuits (ST, AM), pp. 181–196.
FLOPS-2004-BuenoLH #abstract interpretation #analysis #multi #standard- Multivariant Non-failure Analysis via Standard Abstract Interpretation (FB, PLG, MVH), pp. 100–116.
ICPR-v2-2004-Olson #clustering- Pose Clustering Guided by Short Interpretation Trees (CFO), pp. 149–152.
ICPR-v4-2004-HaritC #using #video- Video Shot Interpretation using Principles of Perceptual Prominence and Perceptual Grouping in Spatio-Temporal Domain (GH, SC), pp. 256–259.
ICPR-v4-2004-SamsonB #clustering #learning #parallel #robust #video- Learning Classes for Video Interpretation with a Robust Parallel Clustering Method (VS, PB), pp. 569–572.
KR-2004-Lang- A Preference-Based Interpretation of Other Agents’ Actions (JL), pp. 644–653.
SEKE-2004-ZhaoBCRABO #composition- Grammatically Interpreting Feature Compositions (WZ, BRB, FC, RRR, MA, CCB, AMO), pp. 185–191.
PDCL-2004-LeuschelCBV #deduction #using- Specialising Interpreters Using Offline Partial Deduction (ML, SJC, MB, WV), pp. 340–375.
POPL-2004-CousotC #abstract interpretation #framework- An abstract interpretation-based framework for software watermarking (PC, RC), pp. 173–185.
POPL-2004-GiacobazziM #abstract interpretation- Abstract non-interference: parameterizing non-interference by abstract interpretation (RG, IM), pp. 186–197.
POPL-2004-GulwaniN #random #using- Global value numbering using random interpretation (SG, GCN), pp. 342–352.
ICSE-2004-Kang #analysis #approximate #embedded #parametricity #realtime- Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation (EYK), pp. 39–41.
CSL-2004-Hyland #abstract interpretation #calculus #proving- Abstract Interpretation of Proofs: Classical Propositional Calculus (MH), pp. 6–21.
ICLP-2004-AlbertPH #abstract interpretation #certification #mobile- Abstract Interpretation-Based Mobile Code Certification (EA, GP, MVH), pp. 446–447.
LICS-2004-Berger #induction- A Computational Interpretation of Open Induction (UB), p. 326.
RTA-2004-Takai #abstract interpretation #term rewriting #using #verification- A Verification Technique Using Term Rewriting Systems and Abstract Interpretation (TT), pp. 119–133.
ICDAR-2003-ViglinoP #approach #automation- A Vector Approach for Automatic Interpretation of the French Cadatral Map (JMV, MPD), pp. 304–308.
PEPM-2003-GluckKH #partial evaluation- Transforming interpreters into inverse interpreters by partial evaluation (RG, YK, TH), pp. 10–19.
PLDI-2003-ErtlG #branch #optimisation #predict #virtual machine- Optimizing indirect branch prediction accuracy in virtual machine interpreters (MAE, DG), pp. 278–288.
SAS-2003-HermenegildoPBL #abstract interpretation #development #preprocessor #using- Program Development Using Abstract Interpretation (And The Ciao System Preprocessor) (MVH, GP, FB, PLG), pp. 127–152.
SAS-2003-Monniaux #abstract interpretation #markov #process #source code- Abstract Interpretation of Programs as Markov Decision Processes (DM), pp. 237–254.
CAiSE-2003-AlbertPFRP #composition #framework #implementation #multi #uml- Implementing UML Association, Aggregation, and Composition. A Particular Interpretation Based on a Multidimensional Framework (MA, VP, JF, MR, OP), pp. 143–158.
KDD-2003-WuBY #modelling #multi- Screening and interpreting multi-item associations based on log-linear modeling (XW, DB, YY), pp. 276–285.
SEKE-2003-SariniS #coordination #design- From Actors to Applications: Interpreting User Centered Design of Coordination Supports (MS, CS), pp. 95–102.
GPCE-2003-Danvy #compilation #virtual machine- A Journey from Interpreters to Compilers and Virtual Machines (OD), p. 117.
LOPSTR-2003-BiernackiD #interpreter #logic- From Interpreter to Logic Engine by Defunctionalization (DB, OD), pp. 143–159.
POPL-2003-GulwaniN #random #using- Discovering affine equalities using random interpretation (SG, GCN), pp. 74–84.
SAC-2003-AssfalgBCBN #automation #video- Automatic Interpretation of Soccer Video for Highlights Extraction and Annotation (JA, MB, CC, ADB, WN), pp. 769–773.
SAC-2003-BeattyCGN #embedded #interpreter #java- An Optimized Java Interpreter for Connected Devices and Embedded Systems (AB, KC, DG, AN), pp. 692–697.
CC-2003-GagnonH #bytecode #effectiveness #java #sequence #thread #using- Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences (EG, LJH), pp. 170–184.
TLCA-2003-Amadio- Max-Plus Quasi-interpretations (RMA), pp. 31–45.
VMCAI-2003-Cousot #abstract interpretation #automation #verification- Automatic Verification by Abstract Interpretation (PC), pp. 20–24.
VMCAI-2003-GoriL #interpreter- Properties of a Type Abstract Interpreter (RG, GL), pp. 132–145.
VMCAI-2003-Masse #abstract interpretation #static analysis- Property Checking Driven Abstract Interpretation-Based Static Analysis (DM), pp. 56–69.
VMCAI-2003-Rival #abstract interpretation #assembly #certification- Abstract Interpretation-Based Certification of Assembly Code (XR), pp. 41–55.
ESOP-2002-GoubaultMP #float #interpreter #precise- Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter (EG, MM, SP), pp. 209–212.
SAS-2002-GiacobazziR #abstract interpretation #model checking- States vs. Traces in Model Checking by Abstract Interpretation (RG, FR), pp. 461–476.
SAS-2002-Hymans #abstract interpretation #behaviour #safety- Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation (CH), pp. 444–460.
SAS-2002-Jeannet #abstract interpretation #approximate #data type #representation- Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes (BJ), pp. 52–68.
SAS-2002-Masse #abstract interpretation #semantics- Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties (DM), pp. 428–443.
SAS-2002-Zanotti #abstract interpretation #security- Security Typings by Abstract Interpretation (MZ), pp. 360–375.
FLOPS-2002-BarbosaO #calculus #induction #process- Coinductive Interpreters for Process Calculi (LSB, JNO), pp. 183–197.
ICFP-2002-PasalicTS #staged- Tagless staged interpreters for typed languages (EP, WT, TS), pp. 218–229.
CSCW-2002-GutwinP #gesture- Improving interpretation of remote gestures with telepointer traces (CG, RP), pp. 49–57.
ICML-2002-KamvarKM #algorithm #approach #clustering #modelling #using- Interpreting and Extending Classical Agglomerative Clustering Algorithms using a Model-Based approach (SDK, DK, CDM), pp. 283–290.
ICPR-v1-2002-YamadaSM #3d #game studies #image #parametricity #sequence #video- Tracking Players and a Ball in Video Image Sequence and Estimating Camera Parameters for 3D Interpretation of Soccer Games (AY, YS, JM), pp. 303–306.
ICPR-v2-2002-WechslerDL #learning #process #using- Hierarchical Interpretation of Human Activities Using Competitive Learning (HW, ZD, FL), pp. 338–341.
ICPR-v3-2002-AblameykoBHPP #automation #image #interactive- Automatic/Interactive Interpretation of Color Map Images (SA, VB, MH, NP, OP), pp. 69–72.
ICPR-v3-2002-LouLTH #process #semantics- Semantic Interpretation of Object Activities in a Surveillance System (JL, QL, TT, WH), pp. 777–780.
ECOOP-2002-NeumannZ #case study #design #implementation #interpreter #parsing #rdf #xml- Pattern-Based Design and Implementation of an XML and RDF Parser and Interpreter: A Case Study (GN, UZ), pp. 392–414.
PADL-2002-GallagherP #abstract interpretation #analysis #automaton #finite #logic programming #nondeterminism #source code- Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs (JPG, GP), pp. 243–261.
POPL-2002-CousotC #abstract interpretation #design #framework #program transformation- Systematic design of program transformation frameworks by abstract interpretation (PC, RC), pp. 178–190.
SAC-2002-BarbutiBF #abstract interpretation #bytecode #java #security- Checking security of Java bytecode by abstract interpretation (RB, CB, NDF), pp. 229–236.
LDTA-2002-DolstraV- Building Interpreters with Rewriting Strategies (ED, EV), pp. 57–76.
ASPLOS-2002-OgataKN #bytecode #interpreter #java #optimisation- Bytecode fetch optimization for a Java interpreter (KO, HK, TN), pp. 58–67.
CC-2002-ErtlG #interpreter- Building an Interpreter with Vmgen (MAE, DG), pp. 5–8.
RTA-2002-Lippi #interactive #interpreter #visual notation- in2 : A Graphical Interpreter for Interaction Nets (SL), pp. 380–386.
VMCAI-2002-BernardeschiF #abstract interpretation #bytecode #java #model checking #security- Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode (CB, NDF), pp. 1–15.
VMCAI-2002-GoriL #abstract interpretation #empirical #type inference #verification- An Experiment in Type Inference and Verification by Abstract Interpretation (RG, GL), pp. 225–239.
VMCAI-2002-KrsticM #algorithm #monad #verification- Verifying BDD Algorithms through Monadic Interpretation (SK, JM), pp. 182–195.
ESOP-2001-Monniaux #abstract interpretation #probability #source code- Backwards Abstract Interpretation of Probabilistic Programs (DM), pp. 367–382.
FoSSaCS-2001-JensenS #abstract interpretation #analysis #object-oriented #source code- Class Analysis of Object-Oriented Programs through Abstract Interpretation (TPJ, FS), pp. 261–275.
TACAS-2001-KloseW #automaton #sequence chart- An Automata Based Interpretation of Live Sequence Charts (JK, HW), pp. 512–527.
SAS-2001-Feret #abstract interpretation #mobile #static analysis- Abstract Interpretation-Based Static Analysis of Mobile Ambients (JF), pp. 412–430.
SAS-2001-LeviM #abstract interpretation #framework #mobile- An Abstract Interpretation Framework for Analysing Mobile Ambients (FL, SM), pp. 395–411.
IFL-2001-Minamide #behaviour #runtime #type system- Runtime Behavior of Conversion Interpretation of Subtyping (YM), pp. 155–167.
ICML-2001-PellegM #clustering- Mixtures of Rectangles: Interpretable Soft Clustering (DP, AWM), pp. 401–408.
ICML-2001-Robnik-SikonjaK- Comprehensible Interpretation of Relief’s Estimates (MRS, IK), pp. 433–440.
SAIG-2001-Asai- Integrating Partial Evaluators into Interpreters (KA), pp. 126–145.
ICSE-2001-Campbell #analysis #diagrams #uml #visualisation- Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams (LAC), pp. 785–786.
ICLP-2001-Cousot #abstract interpretation #design #program transformation #semantics- Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations (PC), pp. 4–5.
RTA-2001-Hofbauer #proving #termination- Termination Proofs by Context-Dependent Interpretations (DH), pp. 108–121.
VLDB-2000-ShahabiFKF #interactive #named #web- INSITE: A Tool for Interpreting Users? Interaction with a Web Space (CS, AF, FBK, JF), pp. 635–638.
SAS-2000-AmatoL #abstract interpretation #calculus #semantics- Abstract Interpretation Based Semantics of Sequent Calculi (GA, GL), pp. 38–57.
SAS-2000-HenzingerMMR #abstract interpretation #game studies- Abstract Interpretation of Game Properties (TAH, RM, FYCM, JFR), pp. 220–239.
SAS-2000-Monniaux #abstract interpretation #probability #semantics- Abstract Interpretation of Probabilistic Semantics (DM), pp. 322–339.
CSCW-2000-CoxG #collaboration #distributed- Supporting collaborative interpretation in distributed Groupware (DAC, SG), pp. 289–298.
ICPR-v1-2000-HuangH #using- Road Sign Interpretation Using Matching Pursuit Method (CLH, SHH), pp. 1329–1334.
ICPR-v1-2000-SherrahGHB #behaviour #interactive #visual notation- Interpretation of Group Behavior in Visually Mediated Interaction (JS, SG, AJH, HB), pp. 1266–1269.
ICPR-v2-2000-Figueiredo #approximate #learning #on the- On Gaussian Radial Basis Function Approximations: Interpretation, Extensions, and Learning Strategies (MATF), pp. 2618–2621.
ICPR-v2-2000-PerchantB #fuzzy #graph #morphism- Graph Fuzzy Homomorphism Interpreted as Fuzzy Association Graphs (AP, IB), pp. 6042–6045.
ICPR-v3-2000-Rahmann #analysis #geometry #image- Polarization Images: A Geometric Interpretation for Shape Analysis (SR), pp. 3542–3546.
ICPR-v4-2000-DijkstraS #image #named #recognition- IRIS — An Image Recognition and Interpretation System for the Dutch Postbank (ILD, NS), pp. 4023–4026.
TOOLS-ASIA-2000-LiuJC #approach #graph- A Graph-Theoretic Approach for Recognizing the User Interpretation without Conflicts (GL, WJ, ZC), pp. 291–298.
LOPSTR-2000-PierroW #abstract interpretation #on the #precise- On the precision of abstract interpretations (ADP, HW).
LOPSTR-J-2000-PierroW #abstract interpretation #precise- Measuring the Precision of Abstract Interpretations (ADP, HW), pp. 147–164.
PPDP-2000-KollerM #abstract interpretation #component #morphism #performance #using- Efficient abstract interpretation using component-wise homomorphisms (JK, MM), pp. 226–234.
PPDP-2000-PierroW #abstract interpretation #concurrent #constraints #probability #programming #towards- Concurrent constraint programming: towards probabilistic abstract interpretation (ADP, HW), pp. 127–138.
POPL-2000-CousotC #abstract interpretation- Temporal Abstract Interpretation (PC, RC), pp. 12–25.
SAC-2000-BusiZ #coordination #data-driven #order- Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations (NB, GZ), pp. 233–239.
SAC-2000-TemmeF #composition #fuzzy #standard- Fix-Mundis for Fuzzy IF-THEN Rule Bases with Standard Compositional Rule of Inference Interpretation (KHT, MF), pp. 529–533.
ICSE-2000-CassLSMWO #interpreter #named #process- Little-JIL/Juliette: a process definition language and interpreter (AGC, BSL, SMSJ, EKM, AEW, LJO), pp. 754–757.
CC-2000-HoogerbruggeA #java #pipes and filters #virtual machine- Pipelined Java Virtual Machine Interpreters (JH, LA), pp. 35–49.
CSL-2000-Parigot #on the- On the Computational Interpretation of Negation (MP), pp. 472–484.
DATE-1999-TanS #diagrams #scalability #using- Interpretable Symbolic Small-Signal Characterization of Large Analog Circuits using Determinant Decision Diagrams (XDT, CJRS), pp. 448–453.
ICDAR-1999-GrabowskiLM #segmentation- Stepwise Segmentation and Interpretation of Section Representations in Vectorized Drawings (HG, CL, AM), pp. 677–680.
ICDAR-1999-NuijtG #probability #recognition #towards- A Probabilistic Model for Postcode Recognition: A First Step towards Probabilistic Address Interpretation (MRN, EvG), pp. 761–764.
ICDAR-1999-SrihariYG #analysis #automation- Information Theoretic Analysis of Postal Address Fields for Automatic Address Interpretation (SNS, WjY, VG), pp. 309–312.
PEPM-1999-PueblaHG #abstract interpretation #framework #integration #partial evaluation- An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework (GP, MVH, JPG), pp. 75–84.
PEPM-1999-Thiemann #type system- Interpreting Specialization in Type Theory (PT), pp. 30–43.
SAS-1999-HansenJNN #abstract interpretation #mobile- Abstract Interpretation of Mobile Ambients (RRH, JGJ, FN, HRN), pp. 134–148.
SAS-1999-KollerM #abstract interpretation- A New Class of Functions for Abstract Interpretation (JK, MM), pp. 248–263.
FLOPS-1999-Ogawa #abstract interpretation #automation #verification- Automatic Verification Based on Abstract Interpretation (MO), pp. 131–146.
FM-v1-1999-Rouzaud #calculus #refinement- Interpreting the B-Method in the Refinement Calculus (YR), pp. 411–430.
ICFP-1999-Elsman- Static Interpretation of Modules (ME), pp. 208–219.
ICFP-1999-Huch #abstract interpretation #erlang #source code #using #verification- Verification of Erlang Programs using Abstract Interpretation and Model Mhecking (FH), pp. 261–272.
HCI-EI-1999-Brandt-PookFWS #recognition #speech- Integrated Recognition and Interpretation of Speech for a Construction Task Domain (HBP, GAF, SW, GS), pp. 550–554.
ICEIS-1999-LeonardoS #approach #development #information management- An Interpretative Approach to Organisational Inquiry and Description for Information Systems Development in Innovation Centres (PL, ALS), pp. 469–476.
LOPSTR-1999-LeuschelM #abstract interpretation #infinity #model checking- Infinite State Model Checking by Abstract Interpretation and Program Specialisation (ML, TM), pp. 62–81.
PPDP-1999-BaldanCFP #abstract interpretation- A Simple and General Method for Integrating Abstract Interpretation in SICStus (DB, NC, GF, FP), pp. 207–223.
LCTES-1999-SchneiderF #abstract interpretation #behaviour #pipes and filters #predict- Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation (JS, CF), pp. 35–44.
TLCA-1999-OHearn #λ-calculus- Resource Interpretations, Bunched Implications and the αλ-Calculus (PWO), pp. 258–279.
DAC-1998-KayP #named #probability- PRIMO: Probability Interpretation of Moments for Delay Calculation (RK, LTP), pp. 463–468.
SAS-1998-BodeiDP #abstract interpretation #concurrent #semantics- Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation (CB, PD, CP), pp. 168–183.
SAS-1998-Giacobazzi #abstract interpretation #tutorial- A Tutorial on Domain Theory in Abstract Interpretation (RG), pp. 349–350.
SAS-1998-GiacobazziRS #abstract interpretation #linear- Building Complete Abstract Interpretations in a Linear Logic-based Setting (RG, FR, FS), pp. 215–229.
SAS-1998-SchmidtS #abstract interpretation #model checking #program analysis- Program Analysis as Model Checking of Abstract Interpretations (DAS, BS), pp. 351–380.
ICFP-1998-Kiselyov98b- A Delegation Language to Request Weather Products and a Scheme of Its Interpretation (OK), p. 343.
TAGT-1998-GadducciHK #logic- A Fully Abstract Model for Graph-Interpreted Temporal Logic (FG, RH, MK), pp. 310–322.
ICPR-1998-GriffinWSKC #approach- An MRF approach for interpreting thermochromic paint (AG, TW, AJS, JK, RCC), pp. 1741–1743.
ICPR-1998-HuetP #classification #fuzzy #image #multi- A multi-scale fuzzy classification by knn. Application to the interpretation of aerial images (FH, SP), pp. 96–98.
ICPR-1998-HuetP98a #classification #fuzzy #image #multi #segmentation- Fusion of images after segmentation by various operators and interpretation by a multi-scale fuzzy classification (FH, SP), pp. 1843–1845.
ICPR-1998-KamathKDD #image #markov #modelling #segmentation #using- Joint segmentation and image interpretation using hidden Markov models (NK, KSK, UBD, RD), pp. 1840–1842.
ICPR-1998-MunkeltRHH #3d #detection #image #modelling #video- A model driven 3D image interpretation system applied to person detection in video images (OM, CR, DH, WH), pp. 70–73.
ICPR-1998-YoungKM #evolution #modelling #using- Hypothesis selection for scene interpretation using grammatical models of scene evolution (RCDY, JK, JM), pp. 1718–1720.
KDD-1998-DebregeasH #interactive- Interactive Interpretation of Kohonen Maps Applied to Curves (AD, GH), pp. 179–183.
KDD-1998-RidgewayMRO #classification #naive bayes- Interpretable Boosted Naïve Bayes Classification (GR, DM, TR, JO), pp. 101–104.
ALP-PLILP-1998-LeviV #abstract interpretation #proving- Derivation of Proof Methods by Abstract Interpretation (GL, PV), pp. 102–117.
LOPSTR-1998-MalletD #database #debugging #deduction #named #relational- Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging (SM, MD), pp. 328–330.
LOPSTR-1998-Rosenblueth #source code #using- An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs (DAR), pp. 322–324.
POPL-1998-Schmidt #abstract interpretation #analysis #data flow #model checking- Data Flow Analysis is Model Checking of Abstract Interpretations (DAS), pp. 38–48.
SAC-1998-ChunLC #semantics- Succinct model semantics: a simple model for inclusive interpretations (SC, HL, JC), pp. 39–44.
CSL-1998-BonfanteCMT #complexity #polynomial #term rewriting- Complexity Classes and Rewrite Systems with Polynomial Interpretation (GB, AC, JYM, HT), pp. 372–384.
JICSLP-1998-Leuschel #abstract interpretation- Program Specialisation and Abstract Interpretation Reconciled (ML), pp. 220–234.
ICDAR-1997-HuttonCEH #online #sketching- A Strategy for On-line Interpretation of Sketched Engineering Drawings (GH, MC, DE, CH), pp. 771–775.
ICDAR-1997-KatoWN #recognition- Recognition of Essential Folding Operations: A Step for Interpreting Illustrated Books of Origami (JK, TW, TN), pp. 81–85.
ICDAR-1997-LuoKAC- Interpretation of Lines in Distributing Frame Drawings (HL, RK, JFA, AKC), pp. 66–70.
ICDAR-1997-OgierMLL #analysis #image #reliability #semantics- An Image Interpretation Device cannot be Reliable without any Semantic Coherency Analysis of the Interpretated Objects — Application to French Cadastral Maps (JMO, RM, JL, YL), pp. 532–535.
ICDAR-1997-SrihariK #integration- Integration of hand-written address interpretation technology into the United States Postal Service Remote Computer Reader system (SNS, EJK), pp. 892–896.
ICDAR-1997-Walischewski #automation #documentation #information management- Automatic Knowledge Acquisition for Spatial Document Interpretation (HW), p. 243–?.
PODS-1997-BenediktL #database #relational- Languages for Relational Databases over Interpreted Structures (MB, LL), pp. 87–98.
PLDI-1997-Collberg #analysis #automation #mutation testing- Reverse Interpretation + Mutation Analysis = Automatic Retargeting (CSC), pp. 57–70.
SAS-1997-BaldanF #abstract interpretation- Abstract Interpretation from Improving WAM Code (DB, GF), p. 364.
SAS-1997-BodeiP #abstract interpretation #concurrent- True Concurrency via Abstract Interpretation (CB, CP), pp. 202–216.
SAS-1997-CharlierF #abstract interpretation #on the #theory and practice- On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract) (BLC, PF), pp. 379–387.
SAS-1997-Cousot #abstract interpretation #semantics #static analysis- Abstract Interpretation Based Static Analysis Parameterized by Semantics (PC), pp. 388–394.
SAS-1997-Harrison #abstract interpretation #compilation- Can Abstract Interpretation Become a Mainstream Compiler Technology? (Abstract) (LH), p. 395.
SAS-1997-Jones #abstract interpretation #bibliography #partial evaluation- Combining Abstract Interpretation and Partial Evaluation (Brief Overview) (NDJ), pp. 396–405.
SAS-1997-Marriott #abstract interpretation #approximate #formal method- Abstract Interpretation: A Theory of Approximate Computation (KM), pp. 367–378.
SAS-1997-Tzolovski #abstract interpretation #data flow #dependence- Data Dependence as Abstract Interpretations (ST), p. 366.
SAS-1997-Zartmann #abstract interpretation #functional #logic programming #source code- Denotational Abstract Interpretation of Functional Logic Programs (FZ), pp. 141–159.
DLT-1997-Raeva #ambiguity #logic #semantics- Semantic Interpretation of Ambiguous Statements, Represented in a Logical Form (IR), pp. 529–537.
HCI-CC-1997-SiauN #case study- An Experimental Study on User Interpretation of Icons (KS, FFHN), pp. 721–724.
TRI-Ada-1997-FofanovRS #interactive #interpreter #named- ASIStint: An Interactive ASIS Interpreter (VF, SR, AS), pp. 205–209.
UML-1997-Strahringer #modelling #object-oriented- Ways of Handling and Interpreting Specialization in Object-Oriented Modeling (SS), pp. 170–189.
OOPSLA-1997-Lorenz #case study #design pattern #interpreter #using- Tiling Design Patterns — A Case Study Using the Interpreter Pattern (DHL), pp. 206–217.
TOOLS-ASIA-1997-Li-Thiao-TeKO #design #metric #object-oriented- Mechanisms for Interpretation of OO Systems Design Metrics (PLTT, JK, JO), pp. 221–231.
PLILP-1997-GiacobazziS #abstract interpretation- Intuitionistic Implication in Abstract Interpretation (RG, FS), pp. 175–189.
POPL-1997-Cousot #abstract interpretation- Types as Abstract Interpretations (PC), pp. 316–331.
ASF+SDF-1997-BorovanskyK #partial evaluation- Strategies of ELAN: meta-interpretation and partial evaluation (PB, HK), p. 2.
ITiCSE-1996-Jimenez-PerisP #interpreter #visualisation- A Modula-2 interpreter/visualizer (RJP, MPM), p. 232.
ESOP-1996-GiacobazziR #abstract interpretation #composition #optimisation- Compositional Optimization of Disjunctive Abstract Interpretations (RG, FR), pp. 141–155.
SAS-1996-AltFMW #abstract interpretation #behaviour #predict- Cache Behavior Prediction by Abstract Interpretation (MA, CF, FM, RW), pp. 52–66.
SAS-1996-BruynoogheDBDM #analysis #logic programming #source code- A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation (MB, BD, DB, MD, AM), pp. 128–142.
SAS-1996-Handjieva #abstract interpretation #named- STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation (MH), pp. 383–384.
ICPR-1996-AokiSAO #prototype #sketching #type system- A prototype system for interpreting hand-sketched floor plans (YA, AS, HA, KO), pp. 747–751.
ICPR-1996-AriasCM #documentation #performance- Efficient interpretation of tabular documents (JFA, AKC, VM), pp. 681–685.
ICPR-1996-BianchiBSGM #image- A dynamical organisation for situated image interpretation (NB, PB, CS, CG, PM), pp. 228–232.
ICPR-1996-ChenLWFH- An interpretation system for cadastral maps (LHC, HYML, JYW, KCF, CCH), pp. 711–715.
ICPR-1996-GriffinKWM- Techniques for the interpretation of thermal paint coated samples (AG, JK, TW, JM), pp. 959–963.
ICPR-1996-KosibaK #analysis #automation- Automatic invoice interpretation: invoice structure analysis (DAK, RK), pp. 721–725.
ICPR-1996-NailonMSR #image- Intravascular ultrasound image interpretation (WHN, SM, TS, MPR), pp. 503–507.
ICPR-1996-ShaoK #fuzzy #multi- Fuzzy non-iterative ARG labeling with multiple interpretations (ZS, JK), pp. 181–185.
ICPR-1996-Smith96a #3d #realtime #segmentation- Integrated real-time motion segmentation and 3D interpretation (SMS), pp. 49–55.
ICPR-1996-Tarel #multi- Multi-objects interpretation (JPT), pp. 612–616.
POPL-1996-AbadiCV- An Interpretation of Objects and Object Types (MA, LC, RV), pp. 396–409.
SAC-1996-BordognaBP #database #fuzzy #information retrieval #query- Fuzzy inclusion in database and information retrieval query interpretation (GB, PB, GP), pp. 547–551.
SAC-1996-SperberGT #higher-order- Bootstrapping higher-order program transformers from interpreters (MS, RG, PT), pp. 408–413.
ASPLOS-1996-RomerLVWWBBL #performance- The Structure and Performance of Interpreters (THR, DL, GMV, AW, WAW, JLB, BNB, HML), pp. 150–159.
ICDAR-v1-1995-MarstonK- Interpretation of 3-view engineering drawings as central quadric surface mechanical parts (REM, MHK), pp. 343–346.
ICDAR-v2-1995-AriasKC #performance- Efficient techniques for telephone company line drawing interpretation (JFA, RK, AKC), pp. 795–798.
ICDAR-v2-1995-KiseYTF #concept #diagrams #string- Interpretation of conceptual diagrams from line segments and strings (KK, NY, ST, KF), pp. 960–963.
ICDAR-v2-1995-Pasternak #taxonomy- The role of taxonomy in drawing interpretation (BP), pp. 799–802.
PEPM-1995-Debray #abstract interpretation #low level #optimisation- Abstract Interpretation and Low-Level Code Optimization (SKD), pp. 111–121.
PEPM-1995-Deutsch #abstract interpretation #data type #induction #modelling #pointer #semantics- Semantic models and abstract interpretation techniques for inductive data structures and pointers (AD), pp. 226–229.
PEPM-1995-Goubault #automaton #higher-order #interpreter- Schedulers as Abstract Interpreter of Higher Dimensional Automata (EG), pp. 134–145.
PEPM-1995-LeuschelS #partial evaluation #towards- Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters (ML, DDS), pp. 253–263.
PEPM-1995-Monsuez #abstract interpretation #strict #type inference #using- Using Abstract Interpretation to Define a Strictness Type Inference System (BM), pp. 122–133.
PLDI-1995-Ertl #stack- Stack Caching for Interpreters (MAE), pp. 315–327.
SAS-1995-CortesiFGPR #abstract interpretation- Complementation in Abstract Interpretation (AC, GF, RG, CP, FR), pp. 100–117.
SAS-1995-Monsuez #abstract interpretation #system f- System F and Abstract Interpretation (BM), pp. 279–295.
SAS-1995-Schmidt #abstract interpretation #semantics- Natural-Semantics-Based Abstract Interpretation (Preliminary Version) (DAS), pp. 1–18.
SAS-1995-Vedrine #abstract interpretation #analysis #strict- Binding-Time Analysis and Strictness Analysis by Abstract Interpretation (FV), pp. 400–417.
DLT-1995-Dorr #abstract interpretation #bound- Computing an Upper Bound for SVS(gg) by Abstract Interpretation (HD), pp. 279–288.
FPCA-1995-CousotC #abstract interpretation #constraints #formal method #program analysis- Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation (PC, RC), pp. 170–181.
KDD-1995-WuM #fuzzy #induction- Fuzzy Interpretation of Induction Results (XW, PM), pp. 325–330.
SEKE-1995-NourO #approach #information management #representation- An Approach Based on “Frames” for Knowledge Representation and Scenes Interpretation in a Robot-Vision System (MN, KO), pp. 275–282.
LOPSTR-1995-GallardoT #abstract interpretation #cost analysis #framework #logic- Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis (MdMG, JMT), pp. 91–105.
POPL-1995-LiangHJ #composition #monad- Monad Transformers and Modular Interpreters (SL, PH, MPJ), pp. 333–343.
POPL-1995-Proebsting #c #interpreter #optimisation- Optimizing an ANSI C Interpreter with Superoperators (TAP), pp. 322–332.
SAC-1995-HalgamugeGG #fuzzy #network #problem #prototype- A sub Bayesian nearest prototype neural network with fuzzy interpretability for diagnosis problems (SKH, CG, MG), pp. 445–449.
SAC-1995-LeeA #thread- Object linkage mechanism for threaded interpretive languages (YML, DJA), pp. 374–378.
ESEC-1995-GaskellP #ambiguity #analysis #execution #semantics- A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation (CG, RP), pp. 235–253.
ICLP-1995-DegtyarevV #horn clause #similarity- A New Procedural Interpretation of Horn Clauses with Equality (AD, AV), pp. 565–579.
ILPS-1995-GiacobazziR #abstract interpretation #dependence #functional #semantics- Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics (RG, FR), pp. 321–335.
ILPS-1995-JanssensBD #abstract interpretation #automaton #constraints #logic programming #source code- A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs (GJ, MB, VD), pp. 336–350.
TLCA-1995-BellucciAC #morphism #parametricity #polymorphism- A Model for Formal Parametric Polymorphism: A PER Interpretation for System R (RB, MA, PLC), pp. 32–46.
TLCA-1995-BerardiBC #axiom- A realization of the negative interpretation of the Axiom of Choice (SB, MB, TC), pp. 47–62.
ESOP-J-1992-HankinH94 #abstract interpretation #approximate #fixpoint- Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 283–306.
ESOP-J-1992-HughesL94 #abstract interpretation- Reversing Abstract Interpretations (JH, JL), pp. 307–326.
SAS-1994-Getzinger #abstract interpretation #cost analysis #optimisation #prolog- The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization (TWG), pp. 1–25.
SAS-1994-Halbwachs #abstract interpretation #programming- About Synchronous Programming and Abstract Interpretation (NH), pp. 179–192.
SAS-1994-Mauborgne #abstract interpretation #using- Abstract Interpretation Using TDGs (LM), pp. 363–379.
CSCW-1994-FurutaS #collaboration #protocol #prototype- Interpreted Collaboration Protocols and Their Use in Groupware Prototyping (RF, PDS), pp. 121–131.
KR-1994-Eugenio #natural language #representation- Action Representation for Interpreting Purpose Clauses in Natural Language Instructions (BDE), pp. 158–169.
OOPSLA-1994-GronbaekM #approach #hypermedia- Building Tailorable Hypermedia Systems: The Embedded-Interpreter Approach (KG, JM), pp. 85–101.
POPL-1994-Steele #monad- Building Interpreters by Composing Monads (GLSJ), pp. 472–492.
SAC-1994-ChangCG #abstract interpretation #bottom-up #execution #logic programming #source code- Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation (BMC, KMC, RG), pp. 388–393.
CC-1994-CheathamGS #analysis #interpreter #tool support- A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter (TC, HG, DCS), pp. 188–202.
CC-1994-JanssensS #abstract interpretation #constraints #implementation #logic programming #on the #source code- On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs (GJ, WS), pp. 172–187.
CC-1994-LammelR #correctness #prototype- Provable Correctness of Prototype Interpreters in LDL (RL, GR), pp. 218–232.
CC-1994-Poetzsch-Heffter #formal method #performance #specification- Developing Efficient Interpreters Based on Formal Language Specifications (APH), pp. 233–247.
ICLP-1994-AptG #declarative- Declarative Interpretations Reconsidered (KRA, MG), pp. 74–89.
ICLP-1994-Basin- IsaWhelk Interpreted in Isabelle (DAB), p. 741.
ICLP-1994-BoulangerS #abstract interpretation #approach #compilation- Compiling Control Revisited: A New Approach based upon Abstract Interpretation (DB, DDS), pp. 699–713.
ILPS-1994-CharlierRH #abstract interpretation #framework #prolog- An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut (BLC, SR, PVH), pp. 157–171.
ILPS-1994-FileR #abstract interpretation #set- Improving Abstract Interpretations by Systematic Lifting to the Powerset (GF, FR), pp. 655–669.
ILPS-1994-Jones #abstract interpretation #functional #logic programming #partial evaluation- Abstract Interpretation and Partial Evaluation in Functional and Logic Programming (NDJ), pp. 17–22.
ILPS-1994-McCartyS #first-order #interpreter #logic #prolog- A PROLOG Interpreter for First-Order Intuitionistic Logic (LTM, LAS), p. 685.
ICDAR-1993-AriasLCKC- Interpretation of telephone system manhole drawings (JFA, CPL, SC, RK, AKC), pp. 365–368.
ICDAR-1993-HoriuchiTYYI #optimisation #problem- Generalized interpretation of optimization methods for labeling problems (TH, KT, HY, KY, TI), pp. 6–9.
ICDAR-1993-HullL #database #documentation #graph #recognition #word- Interpreting word recognition decisions with a document database graph (JJH, YL), pp. 488–492.
ICDAR-1993-JanssenDV #automation #evaluation- Evaluation method for an automatic map interpretation system for cadastral maps (RDTJ, RPWD, AMV), pp. 125–128.
ICDAR-1993-OgierLML- Attributes extraction for French map interpretation (JMO, JL, RM, YL), pp. 672–675.
ICDAR-1993-PasternakN #adaptation #constraints #object-oriented #specification #using- Adaptable drawing interpretation using object-oriented and constraint-based graphic specification (BP, BN), pp. 359–364.
ICDAR-1993-SrihariGS- Interpretation of handwritten addresses in US mailstream (SNS, VG, AS), pp. 291–294.
ICDAR-1993-Wang #analysis #comprehension #documentation #visualisation- Machine visualization, understanding and interpretation of polyhedral line-drawings in document analysis (PSPW), pp. 882–885.
SIGMOD-1993-Watters #calculus #relational- Interpreting a Reconstructed Relational Calculus (Extended Abstract) (AW), pp. 367–376.
VLDB-1993-AmatoGM #abstract interpretation #analysis #database #programming- Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation (GA, FG, GM), pp. 405–415.
PEPM-1993-CodishMBBH #abstract interpretation- Improving Abstract Interpretations by Combining Domains (MC, AM, MB, MJGdlB, MVH), pp. 194–205.
PEPM-1993-Mycroft #abstract interpretation- Completeness and predicate-based abstract interpretation (AM), pp. 179–185.
WSA-1993-CharlierDMH #abstract interpretation #algorithm #fixpoint #optimisation #performance #prolog- Optimization Techniques for General Purpose Fixpoint Algorithms — Practical Efficiency for the Abstract Interpretation of Prolog (BLC, OD, LM, PVH), pp. 15–26.
WSA-1993-FergusonH #abstract interpretation #algorithm #performance #using- Fast Abstract Interpretation Using Sequential Algorithms (AF, JH), pp. 45–59.
WSA-1993-Fernandez #abstract interpretation #verification- Abstract Interpretation and Verification of Reactive Systems (JCF), pp. 60–71.
WSA-1993-HentenryckDCM #abstract interpretation #prolog- The Impact of Granularity in Abstract Interpretation of Prolog (PVH, OD, BLC, LM), pp. 1–14.
HCI-ACS-1993-WestlanderSCA #evaluation- The Success of an Ambtious Broad QWL Strategy — Our Methods of Evaluation and Interpretation of the Findings (GW, IS, BC, EÅ), pp. 857–862.
CIKM-1993-Le #fuzzy #representation- Representation and Interpretation of Fuzzy Information (TVL), pp. 735–737.
LOPSTR-1993-BoulangerB #abstract interpretation #using- Using Abstract Interpretation for Goal Replacement (DB, MB), pp. 210–228.
PLILP-1993-CorsiniMRC #abstract interpretation #bottom-up #constraints #finite #performance #prolog #theorem proving- Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains (MMC, KM, AR, BLC), pp. 75–91.
ESEC-1993-Bourdoncle #abstract interpretation #debugging #imperative #source code- Assertion-based Debugging of Imperative Programs by Abstract Interpretation (FB), pp. 501–516.
ILPS-1993-AndreoliCP #abstract interpretation #linear #logic programming- Abstract Interpretation of Linear Logic Programming (JMA, TC, RP), pp. 295–314.
ILPS-1993-TakahashiS #functional #prolog- Prolog Interpretation of A Functional-Logic Language (ST, FSKS), p. 672.
RTA-1993-Martin #linear- Linear Interpretations by Counting Patterns (UM), pp. 421–433.
DAC-1992-Peltz #design #interpreter- An Interpreter for General Netlist Design Rule Checking (GP), pp. 305–310.
HT-ECHT-1992-JonesS #flexibility #hypermedia- Imagined Conversations: The Relevance of Hypertext, Pragmatism, and Cognitive Flexibility Theory to the Interpretation of “Classic Texts” in Intellectual History (RAJ, RS), pp. 141–148.
ESOP-1992-GiacobazziR #abstract interpretation #bottom-up #detection- Detecting Determinate Computations by Bottom-up Abstract Interpretation (RG, LR), pp. 167–181.
ESOP-1992-HankinH #abstract interpretation #approximate #fixpoint- Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 219–232.
ESOP-1992-HughesL #abstract interpretation- Reversing Abstract Interpretations (JH, JL), pp. 269–286.
PEPM-1992-CheathamS #abstract interpretation- A Suite of Optimizers Based on Abstract Interpretation (TC, DCS), pp. 75–81.
WSA-1992-AmeurCFG #abstract interpretation #float- An Application of Abstract Interpretation to Floating Point Arithmetic (YAA, PC, JJF, AG), pp. 205–212.
WSA-1992-CharlierH #abstract interpretation #design #framework #on the- On the Design of Generic Abstract Interpretation Frameworks (BLC, PVH), pp. 229–246.
WSA-1992-GiannottiL #abstract interpretation #specification #using- Using Abstract Interpretation for Gate splitting in LOTOS Specifications (FG, DL), pp. 194–204.
WSA-1992-Hanus #abstract interpretation #algorithm #logic programming #source code- An Abstract Interpretation Algorithm for Residuating Logic Programs (MH), pp. 304–312.
WSA-1992-ParrainDL #abstract interpretation #optimisation #prolog #source code #towards- Towards Optimization of Full Prolog Programs guided by Abstract Interpretation (AP, PD, PL), pp. 295–303.
ICALP-1992-CortesiFW #abstract interpretation #comparison- Comparison of Abstract Interpretations (AC, GF, WHW), pp. 521–532.
LFP-1992-MullerZ #abstract interpretation- Abstract Interpretation in Weak Powerdomains (RM, YZ), pp. 119–126.
CSCW-1992-Sanderson #case study #implementation #process- The CSCW Implementation Process: An Interpretative Model and Case Study of the Implementation of a Videoconference System (DS), pp. 370–377.
SEKE-1992-SohnGG #interpreter #parallel #profiling- Parallelism Profiling of an Ops5 Production System Interpreter (AS, JLG, MG), pp. 534–543.
ALP-1992-Lescanne #term rewriting #termination- Termination of Rewrite Systems by Elementary Interpretations (PL), pp. 21–36.
LOPSTR-1992-BoulangerB #abstract interpretation #logic programming #source code #using- Deriving Transformations for Logic Programs Using Abstract Interpretation (DB, MB), pp. 99–117.
LOPSTR-1992-ParrainDL #abstract interpretation #optimisation #prolog #source code #towards- Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation (AP, PD, PL), pp. 228–241.
PLILP-1992-Barth- CLP(PB), A Meta-Interpreter in CLP(R) (PB), pp. 491–492.
PLILP-1992-CousotC #abstract interpretation- Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (PC, RC), pp. 269–295.
PLILP-1992-EnglebertCRH #abstract interpretation #algorithm #evaluation #optimisation #prolog- Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation (VE, BLC, DR, PVH), pp. 310–325.
PLILP-1992-Hoa #bottom-up #higher-order #interpreter #logic programming #programming language- A Bottom-Up Interpreter for a Higher-Order Logic Programming Language (AHBH), pp. 326–340.
PLILP-1992-VerschaetseS #abstract interpretation #linear- Deriving of Linear Size Relations by Abstract Interpretation (KV, DDS), pp. 296–310.
POPL-1992-CousotC #abstract interpretation #induction #semantics- Inductive Definitions, Semantics and Abstract Interpretation (PC, RC), pp. 83–94.
CADE-1992-CichonL #algorithm #complexity #polynomial- Polynomial Interpretations and the Complexity of Algorithms (AC, PL), pp. 139–147.
CSL-1992-BerarducciB #normalisation #self #λ-calculus- A Self-Interpreter of λ Calculus Having a Normal Form (AB, CB), pp. 85–99.
JICSLP-1992-BigotDM #abstract interpretation #analysis #comprehension #using- Understanding Finiteness Analysis Using Abstract Interpretation (PAB, SKD, KM), pp. 735–749.
JICSLP-1992-CharlierH #abstract interpretation #prolog- Reexecution in Abstract Interpretation of Prolog (BLC, PVH), pp. 750–764.
PEPM-1991-CortesiF #abstract domain #abstract interpretation #analysis #logic programming #source code- Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis (AC, GF), pp. 52–61.
PEPM-1991-McNerney #abstract interpretation #compilation #correctness #using #verification- Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation (TSM), pp. 106–115.
WSA-1991-Clergerie #abstract interpretation #programming- A Tool for Abstract Interpretation: Dynamic Programming (EVdlC), pp. 151–156.
WSA-1991-CousotC #abstract interpretation #functional #higher-order #relational #source code- Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract) (PC, RC), pp. 33–36.
WSA-1991-CousotC91a #abstract interpretation #comparison- Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (PC, RC), pp. 107–110.
WSA-1991-Monsuez #abstract interpretation #polymorphism- An Attempt to Find Polymorphic Types by Abstract Interpretation (BM), pp. 18–25.
FPCA-1991-Baraki #abstract interpretation #polymorphism- A Note on Abstract Interpretation of Polymorphic Functions (GB), pp. 367–378.
KDD-1991-HoschkaK #statistics- A Support System for Interpreting Statistical Data (PH, WK), pp. 325–346.
TOOLS-USA-1991-NagvarSK #approach #semantics #towards- An O-O Approach Toward Semantic Interpretation of Indian Languages (PN, VS, GK), pp. 181–194.
LOPSTR-1991-LecoutreDL #abstract interpretation #behaviour #logic programming #recursion #source code- Abstract Interpretation and Recursive Behaviour of Logic Programs (CL, PD, PL), pp. 147–166.
LOPSTR-1991-ParrainDL #program transformation #prolog- Prolog Program Transformations and Meta-Interpreters (AP, PD, PL), pp. 238–251.
PLILP-1991-FileS #abstract interpretation #type checking- Abstract Interpretation for Type Checking (GF, PS), pp. 311–322.
PLILP-1991-Nilsson #abstract interpretation- Abstract Interpretation: A Kind of Magic (UN), pp. 299–309.
POPL-1991-SekarMR #abstract interpretation #analysis #on the #strict- On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation (RCS, PM, IVR), pp. 37–48.
ICLP-1991-CharlierMH #abstract interpretation #algorithm #analysis #complexity- A Generic Abstract Interpretation Algorithm and its Complexity Analysis (BLC, KM, PVH), pp. 64–78.
ICLP-1991-Cousot #abstract interpretation #logic programming #source code- Abstract Interpretation of Logic Programs (PC), p. 940.
ICLP-1991-MuthukumarH #abstract interpretation- Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation (KM, MVH), pp. 49–63.
ISLP-1991-Caseau #abstract interpretation #constraints #order- Abstract Interpretation of Constraints on Order-Sorted Domains (YC), pp. 435–452.
ISLP-1991-SatoM #first-order #interpreter #source code #top-down- A Complete Top-Down Interpreter for First Order Programs (TS, FM), pp. 35–53.
LICS-1991-MalacariaR #algebra #λ-calculus- Some Results on the Interpretation of λ-calculus in Operator Algebras (PM, LR), pp. 63–72.
ESOP-1990-Bertot #implementation #interpreter #parallel- Implementation of an Interpreter for a Parallel Language in Centaur (YB), pp. 57–69.
ESOP-1990-ConselD #compilation- From Interpreting to Compiling Binding Times (CC, OD), pp. 88–105.
PLDI-1990-AmmarguellatH #abstract interpretation #automation #induction #recognition- Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation (ZA, WLHI), pp. 283–295.
PLDI-1990-BallanceMO #dependence #imperative #representation #web- The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages (RAB, ABM, KJO), pp. 257–271.
GG-1990-FracchiaP #visual notation- Physically-Based Graphical Interpretation of Marker Cellwork L-Systems (FDF, PP), pp. 363–377.
CAiSE-1990-DunnO #concept #interpreter #natural language- A Natural Language Interpreter for Construction of Conceptual Schemas (LD, MEO), pp. 175–194.
SEKE-1990-Mazurov #learning #parallel #process- Parallel Processes of Decision Making and Multivalued Interpretation of Contradictory Data by Learning Neuron Machines (VDM), p. 165.
ALP-1990-Saint-Dizier #dependence #logic programming #on the- On Logic Programming Interpretations of Dislog: Programming Long-Distance Dependencies in Logic (PSD), pp. 232–246.
PLILP-1990-Bourdoncle #abstract interpretation #alias #interprocedural- Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity (FB), pp. 307–323.
POPL-1990-Burn #abstract interpretation #analysis- A Relationship Between Abstract Interpretation and Projection Analysis (GLB), pp. 151–156.
POPL-1990-Field #analysis #lazy evaluation #on the #specification #tool support- On Laziness and Optimality in λ Interpreters: Tools for Specification and Analysis (JF), pp. 1–15.
POPL-1990-Gunter #correctness #nondeterminism #source code- Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs (CAG), pp. 306–319.
WAGA-1990-Rosendahl #abstract interpretation #attribute grammar #using- Abstract Interpretation Using Attribute Grammar (MR), pp. 143–156.
NACLP-1990-CodognetCC #abstract interpretation #concurrent #logic- Abstract Interpretation for Concurrent Logic Languages (CC, PC, MMC), pp. 215–232.
NACLP-1990-KempR #abstract interpretation #algebra #framework #source code- An Algebraic Framework for Abstract Interpretation of Definite Programs (RSK, GAR), pp. 516–530.
STOC-1989-CookU #functional- Functional Interpretations of Feasibly Constructive Arithmetic (Extended Abstract) (SAC, AU), pp. 107–112.
FPCA-1989-Hunt #abstract interpretation #set- Frontiers and Open Sets in Abstract Interpretation (SH), pp. 1–13.
LICS-1989-RabinovichT #data flow- Nets and Data Flow Interpreters (AMR, BAT), pp. 164–174.
NACLP-1989-MuthukumarH #abstract interpretation #dependence- Determination of Variable Dependence Information through Abstract Interpretation (KM, MVH), pp. 166–185.
SIGMOD-1988-DelcambreE #interpreter #relational #self- A Self-Controlling Interpreter for the Relational Production Language (LMLD, JNE), pp. 396–403.
VLDB-1988-LeeFL #functional #implementation #interpreter #query- Implementing an Interpreter for Functional Rules in a Query Optimizer (MKL, JCF, GML), pp. 218–229.
VDME-1988-AndrewsGLP #interpreter- The Formal Definition of Modula-2 and Its Associated Interpreter (DJA, AG, SPAL, JRP), pp. 167–177.
LFP-1988-BerlinW #named- Scheme86: A System for Interpreting Scheme (AB, HMW), pp. 116–123.
PLILP-1988-Nilsson #abstract interpretation #framework #logic programming #source code #towards- Towards a Framework for the Abstract Interpretation of Logic Programs (UN), pp. 68–82.
PLILP-1988-SchreyeB #abstract interpretation #program transformation- An Application of Abstract Interpretation in Source Level Program Transformation (DDS, MB), pp. 35–57.
POPL-1988-HudakY- A Collecting Interpretation of Expressions (Without Powerdomains) (PH, JY), pp. 107–118.
ICSE-1988-ZeilE- Interpretation in a Tool-Fragment Environment (SJZ, ECE), pp. 241–249.
CADE-1988-MinkerR #logic programming #source code- Procedural Interpretation of Non-Horn Logic Programs (JM, AR), pp. 278–293.
CSL-1988-Dahlhaus #nondeterminism #polynomial- Completeness with Respect to Interpretations in Deterministic and Nondeterministic Polynomial Time (ED), pp. 52–62.
CSL-1988-Luttringhaus #evaluation #interpreter #lazy evaluation #prolog- An Interpreter with Lazy Evaluation for Prolog with Functions (SL), pp. 199–225.
JICSCP-1988-AllenS88 #logic #multi #question- Multiple Interpretations of the Logical Structure of Legal Rules: Impediment or Boon to Legal Expert Systems? (LEA, CSS), pp. 1609–1623.
JICSCP-1988-BruffaertsH88 #prolog #proving- Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter (AB, EH), pp. 343–358.
JICSCP-1988-BruynoogheJ88 #abstract interpretation- An Instance of Abstract Interpretation Integrating Type and Mode Inferencing (MB, GJ), pp. 669–683.
JICSCP-1988-Bundy88 #logic programming- A Broader Interpretation of Logic in Logic Programming (AB), pp. 1624–1648.
JICSCP-1988-MarriottS88 #abstract interpretation #bottom-up #logic programming #source code- Bottom-up Abstract Interpretation of Logic Programs (KM, HS), pp. 733–748.
JICSCP-1988-SmithL88 #interpreter #prolog- A Simple Near-Horn Prolog Interpreter (BTS, DWL), pp. 794–809.
JICSCP-1988-SterlingL88 #prolog- Composing Prolog Meta-Interpreters (LS, AL), pp. 386–403.
JICSCP-1988-Waern88 #abstract interpretation #implementation #prolog- An Implementation Technique for the Abstract Interpretation of Prolog (AW), pp. 700–710.
PODS-1987-DAtriFM #database #query #relational- Dynamic Query Interpretation in Relational Databases (AD, PDF, MM), pp. 70–78.
VLDB-1987-HwangY #query- An Analytical Method for Estimating and Interpreting Query Time (HYH, YTY), pp. 347–358.
PLDI-1987-Barklund #performance #prolog #source code- Efficient interpretation of Prolog programs (JB), pp. 132–137.
PLDI-1987-Boehm #source code- Constructive real interpretation of numerical programs (HJB), pp. 214–221.
PLDI-1987-ChaseH #debugging #source code- Selective interpretation as a technique for debugging computationally intensive programs (BBC, RTH), pp. 113–124.
PLDI-1987-Clark #editing #interpreter #syntax- The JADE interpreter: a RISC interpreter for syntax directed editing (CFC), pp. 222–228.
PLDI-1987-CordyG #design- Design of an interpretive environment for Turing (JRC, TCNG), pp. 199–204.
PLDI-1987-DavidsonG #c #interpreter #named #programming language- Cint: a RISC interpreter for the C programming language (JWD, JVG), pp. 189–198.
PLDI-1987-FaustiniW #interpreter- An eductive interpreter for Lucid (AAF, WWW), pp. 86–91.
PLDI-1987-GelernterJL #interpreter #lisp #parallel #persistent #symmetry- Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter (DG, SJ, TL), pp. 274–282.
PLDI-1987-HarrES #documentation- Interpreting ABF — a language for document construction (HH, MWE, JS), pp. 205–213.
PLDI-1987-KearnsF #concurrent #named- CCAL: An interpreted language for experimentation in concurrent control (PK, CC, MF), pp. 283–291.
PLDI-1987-KoskimiesP #approach #named #object-oriented #tool support- TOOLS: a unifying approach to object-oriented language interpretation (KK, JP), pp. 153–164.
PLDI-1987-Krall #implementation #interpreter #performance #prolog- Implementation of a high-speed Prolog interpreter (AK), pp. 125–131.
PLDI-1987-NotkinG #interpreter- Enhancement through extension: the extension interpreter (DN, WGG), pp. 45–55.
PLDI-1987-OBagyG #interpreter #programming language #recursion- A recursive interpreter for the Icon programming language (JO, REG), pp. 138–149.
PLDI-1987-OffuttK #analysis #fortran #interpreter #mutation testing- A Fortran 77 interpreter for mutation analysis (AJO, KNK), pp. 177–188.
PLDI-1987-Pittman #execution #hybrid #interpreter #performance- Two-level hybrid interpreter/native code execution for combined space-time program efficiency (TP), pp. 150–152.
PLDI-1987-Robison #functional #interpreter #programming- The Illinois functional programming interpreter (ADR), pp. 64–73.
PLDI-1987-SkedzielewskiYO #debugging #interactive #interpreter #named- DI: an interactive debugging interpreter for applicative languages (SKS, RKY, RRO), pp. 102–112.
PLDI-1987-SutorJ #interpreter #type inference- The type inference and coercion facilities in the scratchpad II interpreter (RSS, RDJ), pp. 56–63.
PLDI-1987-Waters #performance- Efficient interpretation of synchronizable series expressions (RCW), pp. 74–85.
FPCA-1987-HudakA #functional #parallel #source code- Pomset interpretations of parallel functional programs (PH, SA), pp. 234–256.
HCI-CE-1987-CampbellR #graph- Issues in Computer-Assisted Interpretation of Graphs and Quantitative Information (JAC, SPR), pp. 473–480.
ECOOP-1987-Lieberman #object-oriented- Reversible Object-Oriented Interpreters (HL), pp. 11–19.
OOPSLA-1987-Miranda #interpreter #named #smalltalk- BrouHaHa — A Portable Smalltalk Interpreter (EM), pp. 354–365.
POPL-1987-Jouvelot #abstract interpretation #parallel #semantics- Semantic Parallelization: A Practical Exercise in Abstract Interpretation (PJ), pp. 39–48.
POPL-1987-Nielson #abstract interpretation #analysis #strict- Strictness Analysis and Denotational Abstract Interpretation (FN), pp. 120–131.
ESEC-1987-EngelsS #development #hybrid #interpreter- A Hybrid Interpreter in a Software Development Environment (GE, AS), pp. 80–88.
ICSE-1987-KatzRT #named #reuse- PARIS: A System for Reusing Partially Interpreted Schemas (SK, CR, KST), pp. 377–386.
SLP-1987-BruynoogheJCD87 #abstract interpretation #optimisation #prolog #source code #towards- Abstract Interpretation: Towards the Global Optimization of Prolog Programs (MB, GJ, AC, BD), pp. 192–204.
SLP-1987-Winsborough87 #parallel #semantics- Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of Failures (WHW), pp. 134–152.
ESOP-1986-GeserH #case study #experience #interpreter #specification #term rewriting- Experiences with the RAP System — A Specification Interpreter Combining Term Rewriting and Resolution (AG, HH), pp. 339–350.
ESOP-1986-Sondergaard #abstract interpretation #logic programming #reduction #source code- An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction (HS), pp. 327–338.
SIGIR-1986-Kwok #component #documentation- An Interpretation of Index Term Weighting Schemes Based on Document Components (KLK), pp. 275–283.
CADE-1986-CherifaL #implementation #polynomial #term rewriting #termination- An Actual Implementation of a Procedure That Mechanically Proves Termination of Rewriting Systems Based on Inequalities Between Polynomial Interpretations (ABC, PL), pp. 42–51.
ICLP-1986-Mellish86 #abstract interpretation #prolog #source code- Abstract Interpretation of Prolog Programs (CM), pp. 463–474.
SLP-1986-SterlingB86 #incremental- Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction (LS, RDB), pp. 20–27.
SLP-1985-Fribourg85 #interpreter #logic programming #named #programming language- SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting (LF), pp. 172–184.
DAC-1984-AlaliDM #logic- A model for non interpreted structures of logical systems (RA, CD, JJM), pp. 258–264.
DAC-1984-PowellE #interpreter- The icewater language and interpreter (PADP, MIE), pp. 98–102.
ICALP-1984-Abdallah #infinity #logic programming #on the- On the Interpretation of Infinite Computations in Logic Programming (MANA), pp. 358–370.
LFP-1984-OkunoTOHW #lisp #named- TAO: Afst Interpreter-Centered Lisp System on Lisp Machine ELIS (HGO, IT, NO, YH, KW), pp. 140–149.
POPL-1984-HoffmannO #equation #implementation #interpreter- Implementation of an Interpreter for Abstract Equations (CMH, MJO), pp. 111–121.
CADE-1984-Paul #principle- A New Interpretation of the Resolution Principle (EP), pp. 333–355.
ILPC-1984-BekkersCRU84 #interpreter #memory management #prolog- A Memory Management Machine for Prolog Interpreter (YB, BC, OR, LU), pp. 343–353.
ILPC-1984-Kacsuk84 #data flow #interpreter #parallel #prolog- A Highly Parallel Prolog Interpreter Based on the Generalized Data Flow Model (PK), pp. 195–205.
ILPC-1984-McCord84 #semantics- Semantic Interpretation for the Epistle System (MCM), pp. 65–76.
ICALP-1983-MycroftN #abstract interpretation #using- Strong Abstract Interpretation Using Power Domains (Extended Abstract) (AM, FN), pp. 536–547.
LFP-1982-White #bound #constant- Constant Time Interpretation for Shallow-bound Variables in the Presence of Mixed SPECIAL/LOCAL Declarations (JLW), pp. 196–200.
POPL-1982-Henson #generative #interpreter #semantics- Completion Semantics, Interpreter Generation (MCH, RT), pp. 242–254.
ILPC-1982-Bruynooghe82 #garbage collection #prolog- A Note on Garbage-Collection in Prolog Interpreters (MB), pp. 52–55.
ILPC-1982-Emden82 #algorithm #prolog #source code- An Algorithm for Interpreting Prolog Programs (MHvE), pp. 56–64.
ILPC-1982-FurukawaNM82 #concurrent #interpreter #programming #prolog- Prolog Interpreter Based on Concurrent Programming (KF, KN, YM), pp. 38–44.
SIGMOD-1980-ChiuH #query- A Methodology for Interpreting Tree Queries Into Optimal Semi-Join Expressions (DMC, YCH), pp. 169–178.
STOC-1980-Mirkowska #algorithm #axiom #bound #nondeterminism- Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations (GM), pp. 14–21.
LISP-1980-McDermott #interpreter #lisp #performance- An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP (DVM), pp. 154–162.
CADE-1980-LovelandS- Simplifying Interpreted Formulas (DWL, RES), pp. 97–109.
ICALP-1979-Gallier #recursion- Recursion Schemes and Generalized Interpretations (Extended Abstract) (JHG), pp. 256–270.
POPL-1979-HoffmanO #generative #interpreter #pattern matching #using- Interpreter Generation Using Tree Pattern Matching (CMH, MJO), pp. 169–179.
ICSE-1979-AsirelliDLMMPST #development #flexibility #interpreter- A Flexible Environment for Program Development Based on a Symbolic Interpreter (PA, PD, GL, AM, UM, GP, FS, FT), pp. 251–264.
ICALP-1978-AlbertMR #generative- Simple EOL Forms under Uniform Interpretation Generating CF Languages (JA, HAM, GR), pp. 1–14.
ICSE-1978-PerschW #pascal- Symbolic Interpretation and Tracing of PASCAL-Programs (GP, GW), pp. 312–319.
ICALP-1977-Courcelle #on the- On the Definition of Classes of Interpretations (BC), pp. 554–569.
POPL-1977-CousotC #abstract interpretation #approximate #fixpoint #source code #static analysis- Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints (PC, RC), pp. 238–252.
ICALP-1976-BerryC #canonical #equivalence- Program Equivalence and Canonical Forms in Stable Discrete Interpretations (GB, BC), pp. 168–188.
ICALP-1974-DilgerR #monad #strict- Monadic Program Schemes Under Restricted Classes of Free Interpretations (WD, PR), pp. 547–561.
SIGFIDET-1970-Beitz #using- The Interpretation of Structured Stored Data Using Delimiters (EHB), pp. 188–200.
STOC-1970-KingF #integer #proving #theorem proving- An Interpretation Oriented Theorem Prover over Integers (JCK, RWF), pp. 169–179.
SOSP-1969-FuchiTMY- A program simulator by partial interpretation (KF, HT, YM, TY), pp. 97–104.