BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
abstract (272)
program (99)
base (75)
analysi (65)
model (56)

Stem interpret$ (all stems)

722 papers:

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

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