Stem meta$ (all stems)

441 papers:

CBSE-2015-DanielsPCJH #component #low cost #metadata #named #pervasive

Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications (WD, JP, DC, WJ, DH), pp. 27–36.

ECSA-2015-Gerostathopoulos #adaptation #cyber-physical

Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems (IG, TB, PH, AH, FP, DS), pp. 45–52.

DATE-2015-DeAntoniDTCC #concurrent #domain-specific language #metalanguage #towards

Towards a meta-language for the concurrency concern in DSLs (JD, PID, CT, JC, BC), pp. 313–316.

VLDB-2015-GreenOW #approach #live programming #programming

Live Programming in the LogicBlox System: A MetaLogiQL Approach (TJG, DO, GW), pp. 1782–1793.

SANER-2015-Erfani #metamodelling #ontology #towards

Towards an ontology-based context-aware meta-model for the software domain (ME), pp. 605–606.

PLDI-2015-BowmanMSD #metaprogramming

Profile-guided meta-programming (WJB, SM, VSA, RKD), pp. 403–412.

ICML-2015-JohnsonG #named #optimisation #scalability

Blitz: A Principled Meta-Algorithm for Scaling Sparse Optimization (TJ, CG), pp. 1171–1179.

KDD-2015-ZhouLB #analysis #clustering #graph

Integrating Vertex-centric Clustering with Edge-centric Clustering for Meta Path Graph Analysis (YZ, LL, DB), pp. 1563–1572.

SIGIR-2015-BakkalAT #cost analysis

Cost-Aware Result Caching for Meta-Search Engines (EB, ISA, IHT), pp. 739–742.

SIGIR-2015-CanutoGSRM #approach #classification #documentation #parallel #performance #scalability

An Efficient and Scalable MetaFeature-based Document Classification Approach based on Massively Parallel Computing (SDC, MAG, WS, TR, WM), pp. 333–342.

ECMFA-J-2012-LaraGC15 #metamodelling #modelling

Model-driven engineering with domain-specific meta-modelling languages (JdL, EG, JSC), pp. 429–459.

OOPSLA-2015-MarrD #partial evaluation #self

Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters (SM, SD), pp. 821–839.

OOPSLA-2015-PolozovG #framework #induction #named #synthesis

FlashMeta: a framework for inductive program synthesis (OP, SG), pp. 107–126.

POPL-2015-Tobisawa #λ-calculus

A Meta λ Calculus with Cross-Level Computation (KT), pp. 383–393.

SAC-2015-GoncalvesON #architecture

A meta-process to construct software architectures for system of systems (MBG, FO, EYN), pp. 1411–1416.

SAC-2015-LopezR #analysis #metaprogramming

Meta-programming with well-typed code analysis (ML, GDR), pp. 2119–2121.

SAC-2015-SugiyamaS #learning #multi

Meta-strategy for cooperative tasks with learning of environments in multi-agent continuous tasks (AS, TS), pp. 494–500.

SLE-2015-DegueuleCBBJ #composition #development #domain-specific language #metalanguage #named #reuse

Melange: a meta-language for modular and reusable development of DSLs (TD, BC, AB, OB, JMJ), pp. 25–36.

CBSE-2014-SmaaliCB #metamodelling #towards

Towards a meta-model for dynamic applications (SS, AC, FB), pp. 23–28.

CBSE-2014-SpacekDT #architecture #component #implementation #modelling #programming #prototype

A component-based meta-level architecture and prototypical implementation of a reflective component-based programming and modeling language (PS, CD, CT), pp. 13–22.

ASE-2014-Lopez-FernandezGL #metamodelling #validation #verification

Meta-Model validation and verification with MetaBest (JJLF, EG, JdL), pp. 831–834.

VLDB-2014-0001PK

Supervised Meta-blocking (GP, GP, GK), pp. 1929–1940.

CSMR-WCRE-2014-RahmanYR #exception #fault #ide #programming #recommendation #towards

Towards a context-aware IDE-based meta search engine for recommendation about programming errors and exceptions (MMR, SY, CKR), pp. 194–203.

CSMR-WCRE-2014-RooverS #development #library #metaprogramming #tool support #using

Building development tools interactively using the EKEKO meta-programming library (CDR, RS), pp. 429–433.

ICSME-2014-RahmanR #ide #named

SurfClipse: Context-Aware Meta-search in the IDE (MMR, CKR), pp. 617–620.

MSR-2014-WilliamsRMRK #dataset #modelling

Models of OSS project meta-information: a dataset of three forges (JRW, DDR, NDM, JDR, DSK), pp. 408–411.

PEPM-J-2013-ServettoZ14 #library

A meta-circular language for active libraries (MS, EZ), pp. 219–253.

DUXU-DI-2014-CamposNNC #interface #paradigm #usability

The Paradigm of Meta-interface as a Facilitator of Websites Usability and Accessibility (FFCC, EVN, MN, WFMC), pp. 81–91.

ICEIS-v3-2014-BalinaAMS #development #metamodelling

Meta Model of e-Learning Materials Development (SB, IA, IM, ES), pp. 150–155.

ICEIS-v3-2014-SaidCAB #metamodelling #modelling #process

Extending BPMN 2.0 Meta-models for Process Version Modelling (IBS, MAC, EA, RB), pp. 384–393.

CIKM-2014-CanutoSGRRGRM #classification #effectiveness #on the #performance

On Efficient Meta-Level Features for Effective Text Classification (SDC, TS, MAG, LCdR, GSR, LG, TCR, WSM), pp. 1709–1718.

CIKM-2014-KangKL #automation #owl #performance

A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency (YBK, SK, YFL), pp. 1935–1938.

CIKM-2014-LiuYGS #feedback #graph #pseudo #ranking #recommendation

Meta-Path-Based Ranking with Pseudo Relevance Feedback on Heterogeneous Graph for Citation Recommendation (XL, YY, CG, YS), pp. 121–130.

ICML-c2-2014-ReyRF

Sparse meta-Gaussian information bottleneck (MR, VR, TJF), pp. 910–918.

ICPR-2014-CruzSC #on the

On Meta-learning for Dynamic Ensemble Selection (RMOC, RS, GDCC), pp. 1230–1235.

KDD-2014-ZhangYZ #multi #predict

Meta-path based multi-network collective link prediction (JZ, PSY, ZHZ), pp. 1286–1295.

KR-2014-CeruttiGVZ #recursion

An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (FC, MG, MV, MZ).

LOPSTR-2014-PreiningOF #case study #liveness #specification

Liveness Properties in CafeOBJ — A Case Study for Meta-Level Specifications (NP, KO, KF), pp. 182–198.

HPCA-2014-HuangHFS #concurrent #data transformation #detection #metadata #runtime

Low-overhead and high coverage run-time race detection through selective meta-data management (RCH, EH, AF, GES), pp. 96–107.

ICST-2014-HaysHB #testing #validation

Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013 (MH, JHH, ACB), pp. 333–342.

DATE-2013-XydisPZS #architecture #compilation #framework #metamodelling #parametricity #synthesis

A meta-model assisted coprocessor synthesis framework for compiler/architecture parameters customization (SX, GP, VZ, CS), pp. 659–664.

WCRE-2013-RahmanYR #ide

An IDE-based context-aware meta search engine (MMR, SY, CKR), pp. 467–471.

PEPM-2013-ServettoZ #library

A meta-circular language for active libraries (MS, EZ), pp. 117–126.

ICFP-2013-DelawareKSO #composition #monad

Modular monadic meta-theory (BD, SK, TS, BCdSO), pp. 319–330.

ICFP-2013-DevrieseP #metaprogramming

Typed syntactic meta-programming (DD, FP), pp. 73–86.

DUXU-WM-2013-Tussyadiah #approach #case study #experience #mobile

Meta-design Approach for Mobile Platforms Supporting Creative Tourism Experiences (IPT), pp. 733–739.

ICEIS-v2-2013-CuzzocreaF #analysis #comparative #exclamation #metamodelling #power of #state of the art

Comparative Analysis of State-of-the-Art Spatial Data Warehouse Meta-models — Catching the Expressive Power of SDW Schemas! (AC, RdNF), pp. 302–309.

ICEIS-v2-2013-GratiBB #metamodelling #monitoring #requirements

A Meta Model for Monitoring Requirements in Cloud Environnment (RG, KB, HBA), pp. 223–231.

CIKM-2013-KimNC #approach #modelling #probability #social #social media

Modeling dynamics of meta-populations with a probabilistic approach: global diffusion in social media (MK, DN, PC), pp. 489–498.

CIKM-2013-ZhouC #documentation

Entity-centric document filtering: boosting feature mapping through meta-features (MZ, KCCC), pp. 119–128.

AMT-2013-FinotMSD #metamodelling #testing #using

Using Meta-model Coverage to Qualify Test Oracles (OF, JMM, GS, TD), pp. 12–21.

MoDELS-2013-RajbhojR #approach #detection #metamodelling #version control

A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System (AR, SR), pp. 422–435.

MoDELS-2013-TaentzerMAL #metamodelling #migration #multi

Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes (GT, FM, TA, YL), pp. 254–270.

MoDELS-2013-RajbhojR #approach #detection #metamodelling #version control

A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System (AR, SR), pp. 422–435.

MoDELS-2013-TaentzerMAL #metamodelling #migration #multi

Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes (GT, FM, TA, YL), pp. 254–270.

POPL-2013-DelawareOS

Meta-theory à la carte (BD, BCdSO, TS), pp. 207–218.

SAC-2013-SinghR #algorithm #architecture #optimisation #predict

Meta-learning based architectural and algorithmic optimization for achieving green-ness in predictive workload analytics (NS, SR), pp. 1169–1176.

DAC-2012-WangBDS #memory management #metadata #named #reliability

Meta-Cure: a reliability enhancement strategy for metadata in NAND flash memory storage systems (YW, LADB, NDD, ZS), pp. 214–219.

DATE-2012-StipicTZCUV #data access #hardware #metadata #named #performance

TagTM — accelerating STMs with hardware tags for fast meta-data access (SS, ST, FZ, AC, OSÜ, MV), pp. 39–44.

ESOP-2012-LeeOCY #first-order #framework #named

GMeta: A Generic Formal Metatheory Framework for First-Order Representations (GL, BCdSO, SC, KY), pp. 436–455.

WCRE-2012-NodaKA #abstraction #execution

Execution Trace Abstraction Based on Meta Patterns Usage (KN, TK, KA), pp. 167–176.

PEPM-2012-Berger #metaprogramming #specification #verification

Specification and verification of meta-programs (MB), pp. 3–4.

ICFP-2012-FoltzerKSSJN #composition #scheduling

A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud (AF, AK, RS, SS, EJ, RN), pp. 235–246.

ICFP-2012-Mainland #haskell #metaprogramming

Explicitly heterogeneous metaprogramming with MetaHaskell (GM), pp. 311–322.

CAiSE-2012-Guizzardi #ontology

Ontological Meta-properties of Derived Object Types (GG), pp. 318–333.

CAiSE-2012-KaragiannisMM #approach #evaluation #heatmap #metamodelling

Compliance Evaluation Featuring Heat Maps (CE-HM): A Meta-Modeling-Based Approach (DK, CM, AM), pp. 414–428.

EDOC-2012-FarwickPBSVH #architecture #automation #enterprise #maintenance #metamodelling

A Meta-Model for Automated Enterprise Architecture Model Maintenance (MF, WP, RB, CMS, KV, IH), pp. 1–10.

ICEIS-J-2012-FillRK12a #formal method #metamodelling #modelling

Formalizing Meta Models with FDMM: The ADOxx Case (HGF, TR, DK), pp. 429–451.

ICEIS-v3-2012-FillRK #metamodelling #modelling #named

FDMM: A Formalism for Describing ADOxx Meta Models and Models (HGF, TR, DK), pp. 133–144.

CIKM-2012-KongYDW #classification #network

Meta path-based collective classification in heterogeneous information networks (XK, PSY, YD, DJW), pp. 1567–1571.

CIKM-2012-YuSNMH #network #similarity #using

User guided entity similarity search using meta-path selection in heterogeneous information networks (XY, YS, BN, TM, JH), pp. 2025–2029.

ICPR-2012-KrijtheHL #classification #using

Improving cross-validation based classifier selection using meta-learning (JHK, TKH, ML), pp. 2873–2876.

KDD-2012-SunNHYYY #clustering #network

Integrating meta-path selection with user-guided object clustering in heterogeneous information networks (YS, BN, JH, XY, PSY, XY), pp. 1348–1356.

SIGIR-2012-ZhangFQDSY #classification #online

Emotion tagging for comments of online news by meta classification with heterogeneous information sources (YZ, YF, XQ, LD, LS, XY), pp. 1059–1060.

ECMFA-2012-LaraG #metamodelling #modelling

Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering (JdL, EG), pp. 259–274.

MoDELS-2012-CuadradoLG #approach #bottom-up #interactive #metamodelling

Bottom-Up Meta-Modelling: An Interactive Approach (JSC, JdL, EG), pp. 3–19.

MoDELS-2012-CuadradoLG #approach #bottom-up #interactive #metamodelling

Bottom-Up Meta-Modelling: An Interactive Approach (JSC, JdL, EG), pp. 3–19.

TOOLS-EUROPE-2012-LilisS #debugging #fault #metaprogramming #precise

Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs (YL, AS), pp. 155–170.

POPL-2012-Moore #proving #theorem proving

Meta-level features in an industrial-strength theorem prover (JSM), pp. 425–426.

SLE-2012-HillsKV #metalanguage #type safety

Meta-language Support for Type-Safe Access to External Resources (MH, PK, JJV), pp. 372–391.

ICST-2012-BorgesdABP #execution #metaheuristic #symbolic computation

Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.

DATE-2011-MohapatraCRR #approximate #design

Design of voltage-scalable meta-functions for approximate computing (DM, VKC, AR, KR), pp. 950–955.

DocEng-2011-QuKWH #case study #metadata #semantics

Interoperable metadata semantics with meta-metadata: a use case integrating search engines (YQ, AK, AMW, AH), pp. 171–174.

VLDB-2011-SunHYYW #named #network #similarity

PathSim: Meta Path-Based Top-K Similarity Search in Heterogeneous Information Networks (YS, JH, XY, PSY, TW), pp. 992–1003.

ICSM-2011-Roover #detection #logic #metaprogramming #object-oriented #source code

A logic meta-programming foundation for example-driven pattern detection in object-oriented programs (CDR), pp. 556–561.

WCRE-2011-OlszakRJ #java #runtime

Meta-Level Runtime Feature Awareness for Java (AO, MR, BNJ), pp. 271–274.

AGTIVE-2011-MantzJT #concept #consistency #evolution #graph transformation #metamodelling #migration

Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration (FM, SJ, GT), pp. 3–18.

GT-VMT-2011-GogollaHXZ #visual notation

Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques (MG, LH, JX, JZ).

ICEIS-v4-2011-DavisC11a #data transformation #logic #metadata #modelling

Variant Logic Meta-data Management for Model Driven Applications — Allows Unlimited End User Configuration and Customisation of All Meta-data EIS Application Features (JD, EC), pp. 395–400.

KDD-2011-DasB #optimisation

Meta optimization and its application to portfolio selection (PD, AB), pp. 1163–1171.

KMIS-2011-GronauWH #collaboration

Interpretation of Collaborative Decisions by Meta-metrics (NG, EW, PH), pp. 158–166.

SEKE-2011-JuniorGM #analysis #architecture #product line #trade-off

A Meta-Process to Support Trade-Off Analysis in Software Product Line Architecture (EAdOJ, IMdSG, JCM), pp. 687–692.

SIGIR-2011-HuggettR #generative

The Meta-Dex Suite: generating and analyzing indexes and meta-indexes (MH, ER), pp. 1285–1286.

LOPSTR-2011-Moura #semantics

Meta-predicate Semantics (PM), pp. 155–172.

CGO-2011-LeeT #automation #fine-grained #parallel

Automatic parallelization of fine-grained meta-functions on a chip multiprocessor (SL, JT), pp. 130–140.

CASE-2010-FerrariniD #composition #design #metamodelling

A modular and hierarchical meta-model for the control design of manufacturing systems (LF, AD), pp. 150–155.

ICPC-2010-AmouiLOT #adaptation #metamodelling #towards

Towards Developing a Meta-model for Comprehending Software Adaptability (MA, SL, EAOJ, LT), pp. 56–57.

GT-VMT-2010-HoffmannM #graph grammar #metamodelling #modelling

Defining Models — Meta Models versus Graph Grammars (BH, MM).

EDOC-2010-SaatFLE #architecture #enterprise #metamodelling #modelling

Enterprise Architecture Meta Models for IT/Business Alignment Situations (JS, UF, RL, ME), pp. 14–23.

ICEIS-AIDSS-2010-CacoveanuBP #framework #predict

Evaluating Prediction Strategies in an Enhanced Meta-learning Framework (SC, CVB, RP), pp. 148–156.

ICEIS-DISI-2010-DiboB #architecture #component #deployment #distributed #metamodelling #modelling

Defining an Unified Meta Modeling Architecture for Deployment of Distributed Components-based Software Applications (MD, NB), pp. 316–321.

ICEIS-ISAS-2010-EspindolaA #metamodelling #process

A SPEM based Software Process Improvement Meta-model (RSdE, JLNA), pp. 301–306.

ICEIS-J-2010-PotoleaCL #evaluation #framework #predict

Meta-learning Framework for Prediction Strategy Evaluation (RP, SC, CL), pp. 280–295.

CIKM-2010-GordeviciusELAG #evolution #ranking

Ranking of evolving stories through meta-aggregation (JG, FJE, HCL, PA, JG), pp. 1909–1912.

CIKM-2010-KerneQWDLM #metadata #named #representation #semantics

Meta-metadata: a metadata semantics language for collection representation applications (AK, YQ, AMW, SD, NL, AM), pp. 1129–1138.

ICPR-2010-CiompiPR #approach #random #using

A Meta-Learning Approach to Conditional Random Fields Using Error-Correcting Output Codes (FC, OP, PR), pp. 710–713.

KDIR-2010-WangSFR #concept

A Meta-learning Method for Concept Drift (RW, LS, MÓF, ER), pp. 257–262.

SEKE-2010-Egyhazy

Meta Context for Agent Planning (CJE), pp. 672–674.

SEKE-2010-LiC #ontology #repository

An Ontology-based Mapping Repository for Meta-querier Customization (XL, RC), pp. 325–330.

SIGIR-2010-CarpinetoR #clustering

Optimal meta search results clustering (CC, GR), pp. 170–177.

SIGIR-2010-GopalY #classification #multi

Multilabel classification with meta-level features (SG, YY), pp. 315–322.

MoDELS-v1-2010-LaraG #concept #metamodelling #mixin

Generic Meta-modelling with Concepts, Templates and Mixin Layers (JdL, EG), pp. 16–30.

MoDELS-v2-2010-FernandezPKB #lessons learnt #metamodelling #requirements

A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering (DMF, BP, MK, MB), pp. 183–197.

MoDELS-v2-2010-SongHXCSM #api #metamodelling #runtime

Inferring Meta-models for Runtime System Data from the Clients of Management APIs (HS, GH, YX, FC, YS, HM), pp. 168–182.

OOPSLA-2010-ServettoZ #composition #java #named

MetaFJig: a meta-circular composition language for Java-like classes (MS, EZ), pp. 464–483.

TOOLS-EUROPE-2010-ChristBEGL #approach #framework #metamodelling #specification

A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage (FC, JCB, GE, CG, ML), pp. 21–40.

TOOLS-EUROPE-2010-LaraG #metamodelling

Deep Meta-modelling with MetaDepth (JdL, EG), pp. 1–20.

PPDP-2010-SnowBN #approach #logic programming #metaprogramming

A meta-programming approach to realizing dependently typed logic programming (ZS, DB, GN), pp. 187–198.

SAC-2010-HayashiB #comprehension

Understanding meta-communication in an inclusive scenario (ECSH, MCCB), pp. 1213–1218.

SAC-2010-SerugendoFR #architecture #development #named #self

MetaSelf: an architecture and a development method for dependable self-* systems (GDMS, JSF, AR), pp. 457–461.

SAC-2010-VoigtIR #automation #generative #metamodelling #named

MatchBox: combined meta-model matching for semi-automatic mapping generation (KV, PI, AR), pp. 2281–2288.

SAC-2010-Volz #metamodelling #representation

A meta model for representing arbitrary meta model hierarchies (BV), pp. 2371–2372.

SLE-2010-BakCW #metamodelling

Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled (KB, KC, AW), pp. 102–122.

SLE-2010-KatsKV #ambiguity #interactive #metaprogramming #source code #syntax

Interactive Disambiguation of Meta Programs with Concrete Object Syntax (LCLK, KTK, EV), pp. 327–336.

GT-VMT-2009-Tveit #approach #metamodelling #specification #visual notation

A Meta-Model-Based Approach for Specification of Graphical Representations (MST), pp. 85–99.

CHI-2009-Cockton #design #interactive

Getting there: six meta-principles and interaction design (GC), pp. 2223–2232.

HCI-NIMT-2009-ElliottCR #bibliography #visual notation

Overview of Meta-analyses Investigating Vibrotactile versus Visual Display Options (LRE, MDC, ESR), pp. 435–443.

HCI-NIMT-2009-HsuCJ #named #visualisation

Phorigami: A Photo Browser Based on Meta-categorization and Origami Visualization (SHH, PC, SJ), pp. 801–810.

HCI-NT-2009-Bastide #integration #metamodelling

An Integration of Task and Use-Case Meta-models (RB), pp. 579–586.

HIMI-DIE-2009-LiJCY #experience #metadata #research #user interface

Data Pattern for Allocating User Experience Meta-Data to User Experience Research Data (LL, HJ, XC, XY), pp. 675–684.

KDD-2009-AndoS #clustering #detection

Detection of unique temporal segments by information theoretic meta-clustering (SA, ES), pp. 59–68.

KDD-2009-LinSCKSK #community #named #relational

MetaFac: community discovery via relational hypergraph factorization (YRL, JS, PC, RBK, HS, AK), pp. 527–536.

RecSys-2009-BaoBT #recommendation

Stacking recommendation engines with additional meta-features (XB, LB, RT), pp. 109–116.

SEKE-2009-HauboldBG #code generation #metamodelling #object-oriented #uml

A Pragmatic UML-based Meta Model for Object-oriented Code Generation (TH, GB, WG), pp. 733–738.

MoDELS-2009-SenMBJ #metamodelling

Meta-model Pruning (SS, NM, BB, JMJ), pp. 32–46.

MoDELS-2009-SenMBJ #metamodelling

Meta-model Pruning (SS, NM, BB, JMJ), pp. 32–46.

PADL-2009-Moura #implementation

Secure Implementation of Meta-predicates (PM), pp. 269–283.

GTTSE-2009-GjosaeterP #compilation #education #metamodelling

Teaching Computer Language Handling — From Compiler Theory to Meta-modelling (TG, AP), pp. 446–460.

GTTSE-2009-KlintSV #metaprogramming #rascal

EASY Meta-programming with Rascal (PK, TvdS, JJV), pp. 222–289.

HPCA-2009-WenischFAFM #memory management #metadata #streaming

Practical off-chip meta-data for temporal memory streaming (TFW, MF, AA, BF, AM), pp. 79–90.

CADE-2009-RoedererPS #axiom #named

Divvy: An ATP Meta-system Based on Axiom Relevance Ordering (AR, YP, GS), pp. 157–162.

CAV-2009-FarzanMS

Meta-analysis for Atomicity Violations under Nested Locking (AF, PM, FS), pp. 248–262.

ECSA-2008-DamaseviciusST #component #design #diagrams #feature model #generative #metaprogramming #ontology #using

Domain Ontology-Based Generative Component Design Using Feature Diagrams and Meta-programming Techniques (RD, VS, JT), pp. 338–341.

GT-VMT-2006-JakobS08 #graph grammar #metamodelling #modelling #using

View Creation of Meta Models by Using Modified Triple Graph Grammars (JJ, AS), pp. 181–190.

GT-VMT-2006-WinkelmannTEK08 #constraints #generative #graph grammar #metamodelling #ocl #strict

Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars (JW, GT, KE, JMK), pp. 159–170.

GT-VMT-2008-MaierM #algorithm #layout

A Static Layout Algorithm for DiaMeta (SM, MM).

ICPR-2008-KawaiTFK #3d #performance #representation #web

Efficient meta-information annotation and view-dependent representation system for 3D objects on the Web (YK, ST, RF, HK), pp. 1–4.

RecSys-2008-Zanker #collaboration #constraints #recommendation

A collaborative constraint-based meta-level recommender (MZ), pp. 139–146.

SEKE-2008-HernandezKPC #metamodelling #testing #web

A Meta-model to Support Regression Testing of Web Applications (YH, TMK, JP, PJC), pp. 500–505.

TOOLS-EUROPE-2008-DenkerSD #architecture

The Meta in Meta-object Architectures (MD, MS, SD), pp. 218–237.

ICSE-2008-GrundyHHL #eclipse #generative #multi #named

Marama: an eclipse meta-toolset for generating multi-view environments (JCG, JGH, JH, KNLL), pp. 819–822.

IJCAR-2008-NigamM #linear #logic

Focusing in Linear Meta-logic (VN, DM), pp. 507–522.

ASE-2007-CharlesFS #eclipse #framework #ide #named

IMP: a meta-tooling platform for creating language-specific ides in eclipse (PC, RMF, SMSJ), pp. 485–488.

ASE-2007-HoskingG #domain-specific language #implementation #tool support #visual notation

Meta tools for implementing domain specific visual languages (JGH, JCG), p. 576.

ICDAR-2007-KramerKKB #finite #metadata #probability #transducer #using

Bibliographic Meta-Data Extraction Using Probabilistic Finite State Transducers (MK, HK, DK, TMB), pp. 609–613.

CSMR-2007-BrandBEJKKSV #ide #legacy #maintenance #using

Using The Meta-Environment for Maintenance and Renovation (MvdB, MB, GRE, HAdJ, PK, ATK, TvdS, JJV), pp. 331–332.

AGTIVE-2007-MaierM #algorithm #editing #layout #metamodelling #modelling

A Generic Layout Algorithm for Meta-model Based Editors (SM, MM), pp. 66–81.

CHI-2007-HornbaekL #correlation #metric #usability

Meta-analysis of correlations among usability measures (KH, ELCL), pp. 617–626.

CHI-2007-YeeBR #case study #experience #user interface

A meta-analysis of the impact of the inclusion and realism of human-like faces on user experiences in interfaces (NY, JNB, KR), pp. 1–10.

HCI-IDU-2007-HwangS #detection #problem #usability #what

What Makes Evaluators to Find More Usability Problems?: A Meta-analysis for Individual Detection Rates (WH, GS), pp. 499–507.

HCI-IDU-2007-LiangJZW #design #modelling #process

A Meta-cognition Modeling of Engineering Product Designer in the Process of Product Design (JL, ZJ, YSZ, JW), pp. 146–155.

CAiSE-2007-EnglebertH #automation #tool support #towards

Towards More Extensible MetaCASE Tools (VE, PH), pp. 454–468.

ICEIS-AIDSS-2007-XiaRYM

Human-Centered Meta-Synthetic Engineering for Knowledge Creative System (CX, DR, LY, ZM), pp. 485–491.

ICEIS-EIS-2007-GinigeG #evolution #information management #metamodelling #workflow

Meta Model for Tracing Impact of Context Information Evolution in Web-Based Workflows (JAG, AG), pp. 410–415.

ICML-2007-LeeCVK #learning #multi

Learning a meta-level prior for feature relevance from multiple related tasks (SIL, VC, DV, DK), pp. 489–496.

MoDELS-2007-JacksonS #reasoning

Constructive Techniques for Meta- and Model-Level Reasoning (EKJ, JS), pp. 405–419.

MoDELS-2007-RenggliDK #approach #developer #named

Magritte — A Meta-driven Approach to Empower Developers and End Users (LR, SD, AK), pp. 106–120.

MoDELS-2007-JacksonS #reasoning

Constructive Techniques for Meta- and Model-Level Reasoning (EKJ, JS), pp. 405–419.

MoDELS-2007-RenggliDK #approach #developer #named

Magritte — A Meta-driven Approach to Empower Developers and End Users (LR, SD, AK), pp. 106–120.

RE-2007-DeshmukhW #development #metamodelling #requirements

A Meta Model for Iterative Development of Requirements Leveraging (ND, SW), pp. 343–349.

SAC-2007-CazzolaPGS #co-evolution #design #metadata #modelling

Co-evolving application code and design models by exploiting meta-data (WC, SP, AG, GS), pp. 1275–1279.

ICSE-2007-GrundyH #diagrams #sketching #visual notation

Supporting Generic Sketching-Based Input of Diagrams in a Domain-Specific Visual Language Meta-Tool (JCG, JGH), pp. 282–291.

ICSE-2007-KarailaS #case study #experience #industrial #metaprogramming #visual notation

Applying Template Meta-Programming Techniques for a Domain-Specific Visual Language — An Industrial Experience Report (MK, TS), pp. 571–580.

DocEng-2006-SimskeWS #classification #documentation

Meta-algorithmic systems for document classification (SJS, DWW, MS), pp. 98–106.

SIGMOD-2006-ChoKS #metadata #xpath

Meta-data indexing for XPath location steps (SC, NK, DS), pp. 455–466.

VLDB-2006-CaliK

Containment of Conjunctive Object Meta-Queries (AC, MK), pp. 942–952.

CSEET-2006-ComerE #development #evaluation #process #student

Students Managing the Software Development Process: A Meta-Level Retrospective Evaluation (AC, HME), pp. 167–174.

ITiCSE-2006-Fleischman

Meta-informatics and ethical issues in computing (WMF), pp. 232–236.

ICSM-2006-StreinLLL #metamodelling #program analysis

An Extensible Meta-Model for Program Analysis (DS, RL, JL, WL), pp. 380–390.

ICFP-2006-HickeyNYK #hybrid #representation #using

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection (JH, AN, XY, AK), pp. 172–183.

SIGAda-2006-PlantecS #ada #automation #library #refactoring

Refactoring of an Ada 95 library with a Meta CASE tool (AP, FS), pp. 61–70.

ICEIS-AIDSS-2006-Fornells-HerreraRMB #approach #evolution

Decision Support System for Breast Cancer Diagnosis by a Meta-Learning Approach Based on Grammar Evolution (AFH, EGiR, EBiM, JMB), pp. 222–229.

MoDELS-2006-DucasseG #execution #metalanguage #smalltalk #using

Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.

MoDELS-2006-DucasseG #execution #metalanguage #smalltalk #using

Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.

GPCE-2006-Riehl #tool support

Assimilating MetaBorg: : embedding language tools in languages (JR), pp. 21–28.

GPCE-2006-ShiCX #distributed #metaprogramming

Distributed meta-programming (RS, CC, HX), pp. 243–248.

SAC-2006-MalgouyresM #approach #consistency #formal method #metamodelling #uml #verification

A UML model consistency verification approach based on meta-modeling formalization (HM, GM), pp. 1804–1809.

SAC-2006-Poernomo

The meta-object facility typed (IP), pp. 1845–1849.

SAC-2006-SoaresB #kernel #parametricity #using

Selecting parameters of SVM using meta-learning and kernel matrix-based meta-features (CS, PB), pp. 564–568.

ICSE-2006-HuangS #aspectj

Easy language extension with meta-aspectJ (SSH, YS), pp. 865–868.

WICSA-2005-SmedaOK #uml #using

Mapping ADLs into UML 2.0 Using a Meta ADL (AS, MO, TK), pp. 247–248.

SIGMOD-2005-Bernstein #integration

The many roles of meta data in data integration (PAB), p. 792.

SIGMOD-2005-Friedrich #configuration management #metadata #multi

Meta-data version and configuration management in multi-vendor environments (JRF), pp. 799–804.

SIGMOD-2005-HeZC #named #on the fly #query #web

MetaQuerier: querying structured web sources on-the-fly (BH, ZZ, KCCC), pp. 927–929.

VLDB-2005-ChoKS #metadata #named #xml

MIX: A Meta-data Indexing System for XML (SC, NK, DS), pp. 1326–1329.

ICFP-2005-Harper #programming language

Mechanizing the meta-theory of programming languages (RH), p. 240.

CHI-2005-BrushWTS #difference #metadata #social

Assessing differential usage of usenet social accounting meta-data (AJBB, XW, TCT, MAS), pp. 889–898.

CAiSE-2005-HodelHD #documentation #editing #using

Using Text Editing Creation Time Meta Data for Document Management (TBH, RH, KRD), pp. 105–118.

CAiSE-2005-RiggioUKK #approach

Interoperability in Meta-environments: An XMI-Based Approach (RR, DU, HK, DK), pp. 77–89.

ECIR-2005-SiersdorferW #classification #strict #using

Using Restrictive Classification and Meta Classification for Junk Elimination (SS, GW), pp. 287–299.

MLDM-2005-XiaWZL #data mining #mining #modelling #random

Mixture Random Effect Model Based Meta-analysis for Medical Data Mining (YX, SW, CZ, SL), pp. 630–640.

MLDM-2005-YeWWCHT #approach #mining

An Integrated Approach for Mining Meta-rules (FY, JW, SW, HC, TH, LT), pp. 549–557.

SEKE-2005-ChuW #evolution #metamodelling #process #xml

An XML-based Meta-model for PRocess and Agent-based Integrated Software Evolution environment (PRAISE) (WCC, CHW), pp. 324–329.

ECMDA-FA-2005-Bloomfield #industrial #metamodelling #model transformation

MDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry (TB), pp. 9–18.

MoDELS-2005-MullerFJ #execution #metalanguage #object-oriented #weaving

Weaving Executability into Object-Oriented Meta-languages (PAM, FF, JMJ), pp. 264–278.

MoDELS-2005-MullerFJ #execution #metalanguage #object-oriented #weaving

Weaving Executability into Object-Oriented Meta-languages (PAM, FF, JMJ), pp. 264–278.

GPCE-2005-BravenboerVVV #ambiguity #metaprogramming #source code #syntax #type system

Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax (MB, RV, JJV, EV), pp. 157–172.

GPCE-2005-Pohjonen #metamodelling #tool support

Metamodeling Made Easy — MetaEdit+ (Tool Demonstration) (RP), pp. 442–446.

GTTSE-2005-Brand #asf+sdf #ide

Applications of the Asf+Sdf Meta-Environment (MvdB), pp. 278–296.

GTTSE-2005-BravenboerGV #domain-specific language #stratego #using

MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT (MB, RdG, EV), pp. 297–311.

ATEM-2004-GirbaFD05 #evolution #metamodelling #model transformation #using

Using Meta-Model Transformation to Model Software Evolution (TG, JMF, SD), pp. 57–64.

HPDC-2005-SabinSS #assessment #multi

Assessment and enhancement of meta-schedulers for multi-site job sharing (GS, VS, PS), pp. 144–153.

FASE-2004-BardohlELT #aspect-oriented #graph transformation #metamodelling #performance #visual notation

Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation (RB, HE, JdL, GT), pp. 214–228.

TACAS-2004-LingerS #analysis #constraints #ml #theorem proving #type inference

Binding-Time Analysis for MetaML via Type Inference and Constraint Solving (NL, TS), pp. 266–279.

TACAS-2004-Muller-OlmY #animation #game studies #model checking #named

MetaGame: An Animation Tool for Model-Checking Games (MMO, HY), pp. 163–167.

CSMR-2004-HassounJC #architecture #metric #runtime

A Dynamic Runtime Coupling Metric for Meta-Level Architectures (YH, RJ, SC), pp. 339–346.

FLOPS-2004-Schurmann #framework #functional #logic #programming

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework (CS), pp. 22–23.

ICGT-2004-GuerraL #graph transformation #integration #metamodelling #towards

Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation (EG, JdL), pp. 54–69.

CAiSE-2004-RalyteRD #towards

Towards a Meta-tool for Change-Centric Method Engineering: A Typology of Generic Operators (JR, CR, RD), pp. 202–218.

ICEIS-v1-2004-VerdierC #health #information management #process

Health Care Process Based on the ABC Model Through a Meta-Structured Information System (CV, GC), pp. 149–154.

ICEIS-v3-2004-DavisTC #development #enterprise #framework #information management #specification

Meta Data Framework for Enterprise Information Systems Specification — Aiming to Reduce or Remove the Development Phase for EIS Systems (JD, AT, EC), pp. 451–456.

ICEIS-v3-2004-RukanovaSS #communication #how #metamodelling #towards

Towards a Meta Model for Describing Communication: How to Address Interoperability on a Pragmatic Level (BR, KvS, RAS), pp. 375–382.

CIKM-2004-SiersdorferSW #classification #documentation #parametricity

Goal-oriented methods and meta methods for document classification and their parameter tuning (SS, SS, GW), pp. 59–68.

SEKE-2004-JarzabekSZZ #analysis #case study #metaprogramming

Analysis of meta-programs: a case study (SJ, RS, HZ, ZS), pp. 68–73.

UML-2004-JiangSZMMM #classification #metamodelling #on the #uml

On the Classification of UML’s Meta Model Extension Mechanism (YJ, WS, LZ, ZM, XM, HM), pp. 54–68.

UML-2004-MaSZJ #metamodelling #metric #object-oriented #uml

Applying OO Metrics to Assess UML Meta-models (HM, WS, LZ, YJ), pp. 12–26.

UML-2004-VarroP #model transformation

Generic and Meta-transformations for Model Transformation Engineering (DV, AP), pp. 290–304.

OOPSLA-2004-BrachaU #design #named #object-oriented #programming language

Mirrors: design principles for meta-level facilities of object-oriented programming languages (GB, DU), pp. 331–344.

GPCE-2004-PasalicL #metaprogramming

Meta-programming with Typed Object-Language Representations (EP, NL), pp. 136–167.

GPCE-2004-ZookHS #aspectj #generative #source code

Generating AspectJ Programs with Meta-AspectJ (DZ, SSH, YS), pp. 1–18.

SAC-2004-AgiusA #metadata #modelling #video

Modelling and filtering of MPEG-7-compliant meta-data for digital video (HWA, MCA), pp. 1248–1252.

ATEM-2003-KnodelC04 #delphi #fact extraction #metamodelling #source code

A Meta-Model for Fact Extraction from Delphi Source Code (JK, GCM), pp. 19–28.

SPLC-2004-FritschR #adaptation #approach #product line

Four Mechanisms for Adaptable Systems: A Meta-level Approach to Building a Software Product Line (CF, BR), pp. 51–72.

ASE-2003-Collard #difference #framework #refactoring #source code

An Infrastructure to Support Meta-Differencing and Refactoring of Source Code (MLC), pp. 377–380.

DATE-2003-DoucetSG #framework

Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated (FD, SKS, RKG), pp. 10382–10387.

FoSSaCS-2003-MomiglianoA #higher-order #multi #syntax

Multi-level Meta-reasoning with Higher-Order Abstract Syntax (AM, SA), pp. 375–391.

CSMR-2003-TahvildariK #approach #design #quality

A Metric-Based Approach to Enhance Design Quality through Meta-pattern Transformation (LT, KK), pp. 183–192.

CSMR-2003-TourweM #identification #logic #metaprogramming #refactoring #using

Identifying Refactoring Opportunities Using Logic Meta Programming (TT, TM), pp. 91–100.

WCRE-2003-FavreGW #metamodelling #reverse engineering

First International Workshop on Meta-Models and Schemas for Reverse Engineering — ateM 2003 (JMF, MWG, AW), pp. 366–367.

PLDI-2003-StephensonAMO #compilation #heuristic #machine learning #optimisation

Meta optimization: improving compiler heuristics with machine learning (MS, SPA, MCM, UMO), pp. 77–90.

FME-2003-MussetR #linear

Computing Meta-transitions for Linear Transition Systems with Polynomials (JM, MR), pp. 562–581.

ICFP-2003-ChenX #metaprogramming #representation

Meta-programming through typeful code representation (CC, HX), pp. 275–286.

AGTIVE-2003-LaraGV #analysis #graph transformation #hybrid #metamodelling #model checking

Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems (JdL, EG, HV), pp. 292–298.

VISSOFT-2003-RillingWM #3d #visualisation

MetaViz – Issues in Software Visualizing Beyond 3D (JR, JW, SPM), pp. 92–97.

ICEIS-v2-2003-PetitP #approach #data mining #mining

A New Approach of Data Mining: The Meta Projectories (CP, SP), pp. 515–518.

ECIR-2003-KlampanosBJ #information retrieval #network #peer-to-peer

Evaluating Peer-to-Peer Networking for Information Retrieval within the Context of Meta-searching (IAK, JJB, JMJ), pp. 528–536.

ICML-2003-KalousisH

Representational Issues in Meta-Learning (AK, MH), pp. 313–320.

ESEC-FSE-2003-JarzabekS #adaptation #composition #metaprogramming

Eliminating redundancies with a “composition with adaptation” meta-programming technique (SJ, SL), pp. 237–246.

ICSE-2003-LorenzV #implementation #interface

Pluggable Reflection: Decoupling Meta-Interface and Implementation (DHL, JMV), pp. 3–13.

CSL-2003-SatoSKI #calculus

Calculi of Meta-variables (MS, TS, YK, AI), pp. 484–497.

VLDB-2002-AlexandrovABBBCDFHJKKKLLMMMPNPPRRSSW #energy #metadata #named #online #physics #repository

OBK — An Online High Energy Physics’ Meta-Data Repository (IA, AA, EB, MB, DBC, MC, MD, JF, RH, RJ, AK, SK, VK, DL, LL, LM, MM, LM, IP, MN, NP, LP, AR, YR, DS, IS, HW), pp. 920–927.

FASE-2002-BaresiGMP #design #metamodelling #tool support #web

Meta-modeling Techniques Meet Web Application Design Tools (LB, FG, LM, PP), pp. 294–307.

FASE-2002-ClarkEK #approach #metamodelling #modelling #precise

Engineering Modelling Languages: A Precise Meta-Modelling Approach (TC, AE, SK), pp. 159–173.

FASE-2002-LaraV #metamodelling #multi #named

AToM3: A Tool for Multi-formalism and Meta-modelling (JdL, HV), pp. 174–188.

ICFP-2002-Nanevski #metaprogramming

Meta-programming with names and necessity (AN), pp. 206–217.

ICEIS-2002-AmousS #documentation #multi

Descriptors and Meta-Documents for Mono-Media and Multimedia Documents (IA, FS), pp. 11–17.

ICEIS-2002-LaraV #using

Using AToM3 as a Meta-Case Tool (JdL, HV), pp. 642–649.

CIKM-2002-SchaferKR #integration #recommendation

Meta-recommendation systems: user-controlled integration of diverse recommendations (JBS, JAK, JR), pp. 43–51.

SEKE-2002-RiescoSPPJ #analysis #metamodelling #uml

Al analysis patterns as UML meta-model constructs (AMR, GS, DP, SP, JMJ), pp. 237–238.

TOOLS-USA-2002-Nunes #contract #design #using

Design by Contract Using Meta-Assertions (IN), pp. 37–56.

GPCE-2002-Visser #metaprogramming #syntax

Meta-programming with Concrete Object Syntax (EV), pp. 299–315.

SAC-2002-Gomez-SanzPG #metamodelling #multi

Meta-models for building multi-agent systems (JJGS, JP, FJG), pp. 37–41.

SAC-2002-Yang #metamodelling #modelling

A uniform meta-model for modeling integrated cooperation (GY), pp. 322–328.

SPLC-2002-FeyFB #feature model #metamodelling #modelling #usability

Feature Modeling: A Meta-Model to Enhance Usability and Usefulness (DF, RF, AB), pp. 198–216.

CADE-2002-Paulson #case study #reasoning #theorem

The Reflection Theorem: A Study in Meta-theoretic Reasoning (LCP), pp. 377–391.

DAC-2001-MeguerdichianKMPP #design #named #optimisation

MetaCores: Design and Optimization Techniques (SM, FK, AM, DP, MP), pp. 585–590.

DATE-2001-Zhu #abstraction #design #named

MetaRTL: raising the abstraction level of RTL design (JZ), pp. 71–76.

CAiSE-2001-HuangTHN #adaptation #distributed #information management

Distributed Information Search with Adaptive Meta-Search Engines (LH, UT, MH, EJN), pp. 315–329.

EDOC-2001-PallecV #workflow

A Cooperative Workflow Management System with the Meta-Object Facility (XLP, TV), p. 273–?.

ICML-2001-GhaniSY #categorisation #hypermedia #using

Hypertext Categorization using Hyperlink Patterns and Meta Data (RG, SS, YY), pp. 178–185.

SIGIR-2001-JinFH #automation #information retrieval #named

Meta-scoring: Automatically Evaluating Term Weighting Schemes in IR without Precision-Recall (RJ, CF, AGH), pp. 83–89.

SIGIR-2001-LamL #approach #categorisation

A Meta-Learning Approach for Text Categorization (WL, KYL), pp. 303–309.

UML-2001-EngelsHK #behaviour #consistency #metamodelling #rule-based #specification #uml

Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model (GE, RH, JMK), pp. 272–286.

UML-2001-WeisBGP #component #contract #metamodelling #uml

A UML Meta-model for Contract Aware Components (TW, CB, KG, NP), pp. 442–456.

TOOLS-EUROPE-2001-KleppeW #approach #architecture #aspect-oriented #case study #integration #metamodelling #modelling #object-oriented #uml

Integration of Static and Dynamic Core for UML: A Study in Dynamic Aspects of the pUML OO Meta Modelling Approach to the Rearchitecting of UML (AK, JW), pp. 66–77.

TOOLS-USA-2001-Blasbland #reflexive

Reflexivity and Meta-Tools to Manage Your Software Real Estate (DB), p. 378.

SAIG-2001-FerrariMP #metaprogramming #named

MetaKlaim: Meta-programming for Global Computing (GLF, EM, RP), pp. 183–198.

SAIG-2001-Sheard #challenge #metaprogramming #research

Accomplishments and Research Challenges in Meta-programming (TS), pp. 2–44.

PADL-2001-BrogiC #declarative #programming

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

PADL-2001-FlenerHK01a #metaheuristic #problem #set

A Meta-heuristic for Subset Problems (PF, BH, ZK), pp. 274–287.

RE-2001-Spafford #privacy #security

The Hidden Meta-Requirements of Security and Privacy (EHS), p. 10.

ICSE-2001-Gray #component #framework #generative #using

Using Software Component Generators to Contstruct a Meta-Weaver Framework (JG), pp. 789–790.

LDTA-2001-BrandDHJJKKMOSVVV #asf+sdf #component #development #ide

The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment (MvdB, AvD, JH, HAdJ, MdJ, TK, PK, LM, PAO, JS, JJV, EV, JV), pp. 3–8.

LDTA-2001-LammelW #asf+sdf #ide #syntax

Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment (RL, GW), pp. 9–33.

CC-2001-BrandDHJJKKMOSVVV #asf+sdf #component #development #ide

The ASF+SDF Meta-environment: A Component-Based Language Development Environment (MvdB, AvD, JH, HAdJ, MdJ, TK, PK, LM, PAO, JS, JJV, EV, JV), pp. 365–370.

HPDC-2001-JardineSC #concurrent

Livelock Avoidance for Meta-Schedulers (JJ, QS, MJC), pp. 141–146.

CAV-2001-Cabodi #named #representation

Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions (GC), pp. 118–130.

IJCAR-2001-GanzingerM #bottom-up #logic programming #source code #theorem

A New Meta-complexity Theorem for Bottom-Up Logic Programs (HG, DAM), pp. 514–528.

FASE-2000-Overgaard #metamodelling #object-oriented #specification

Formal Specification of Object-Oriented Meta-modelling (GÖ), pp. 193–207.

WRLA-2000-DenkerMT #composition #distributed #semantics

Rewriting Semantics of Meta-Objects and Composable Distributed Services (GD, JM, CLT), pp. 405–425.

PEPM-2000-Taha #formal method #ml #multi #reduction #semantics

A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract) (WT), pp. 34–43.

CAiSE-2000-Zhang #automation #component

Defining Components in a MetaCASE Environment (ZZ), pp. 340–354.

CIKM-2000-DreyerD #database #framework #metamodelling #replication

A Meta Model and an Infrastructure for the Non-Transparent Replication of Object Databases (WD, KRD), pp. 344–351.

ICML-2000-HosteDSG #corpus

Meta-Learning for Phonemic Annotation of Corpora (VH, WD, EFTKS, SG), pp. 375–382.

ICML-2000-OSullivanLCB #algorithm #named #robust

FeatureBoost: A Meta-Learning Algorithm that Improves Model Robustness (JO, JL, RC, AB), pp. 703–710.

ICML-2000-PfahringerBG #algorithm #learning

Meta-Learning by Landmarking Various Learning Algorithms (BP, HB, CGGC), pp. 743–750.

UML-2000-EngelsHHS #approach #behaviour #diagrams #metamodelling #modelling #semantics #uml #visual notation

Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML (GE, JHH, RH, SS), pp. 323–337.

TOOLS-EUROPE-2000-AssmannBG #metaprogramming

Meta-Programming Grey-Box Connectors (UA, HB, TG), pp. 300–311.

TOOLS-USA-2000-ColbertL #embedded #realtime #uml

Building Real-Time Embedded Systems with MetaH and UML [Abstract] (EC, BAL), pp. 445–446.

TOOLS-USA-2000-LewisCV #embedded #evolution

Developing Evolvable, Embedded, Time-Critical Systems with MetaH (BAL, EC, SV), pp. 447–456.

TOOLS-USA-2000-Perkins #metadata

Business Rules = Meta-Data (AP), pp. 285–294.

SAC-2000-Wyk #domain-specific language

Domain Specific Meta Languages (EVW), pp. 799–803.

ASPLOS-2000-ChouCEH #compilation #protocol #using

Using Meta-level Compilation to Check FLASH Protocol Code (AC, BC, DRE, MH), pp. 59–70.

CADE-2000-Schurmann #framework #logic #named #tutorial

Tutorial: Meta-logical Frameworks (CS), pp. 507–508.

CL-2000-Pallotta #composition #logic #logic programming #semantics #source code

A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs (VP), pp. 777–791.

ASE-1999-Wile #architecture #metalanguage #named

AML: An Architecture Meta-Language (DSW), pp. 183–190.

ICDAR-1999-GarainC #documentation

Extraction of Type Style based Meta-Information from Imaged Documents (UG, BBC), pp. 341–344.

ESOP-1999-MoggiTBS #ml

An Idealized MetaML: Simpler, and More Expressive (EM, WT, ZEAB, TS), pp. 193–207.

FM-v2-1999-ClavelDEMS #maude

Maude as a Formal Meta-tool (MC, FD, SE, JM, MOS), pp. 1684–1703.

IFL-1999-DidrichGSTT #functional #programming language

Reflections in Opal — Meta Information in a Functional Programming Language (KD, WG, FS, TT, BTyW), pp. 149–164.

HCI-CCAD-1999-Womser-HackerM #adaptation #documentation #information retrieval

Adapting meta information retrieval to user preferences and document features (CWH, TM), pp. 604–608.

AdaEurope-1999-Kordon #ada

MetaScribe, an Ada-based Tool for the Construction of Transformation Engines (FK), pp. 308–319.

KDD-1999-Domingos #classification #named

MetaCost: A General Method for Making Classifiers Cost-Sensitive (PMD), pp. 155–164.

UML-1999-EvansK #approach #metamodelling #semantics #uml

Core Meta-Modelling Semantics of UML: The pUML Approach (AE, SK), pp. 140–155.

OOPSLA-1999-AgesenDGKRW #implementation #performance #ubiquitous

An Efficient Meta-Lock for Implementing Ubiquitous Synchronization (OA, DD, AG, RK, YSR, DW), pp. 207–222.

TOOLS-EUROPE-1999-Blasband #reflexive

Reflexivity and Meta-Tools to Manage Your Software Real Estate (DB), p. 403.

GCSE-1999-RanaLWS #component #generative #scalability #simulation #xml

An XML Based Component Model for Generating Scientific Applications and Performing Large Scale Simulations in a Meta-computing Environment (OFR, ML, DWW, MSS), pp. 210–224.

PPDP-1999-Pfenning #framework #logic

Logical and Meta-Logical Frameworks (Abstract) (FP), p. 206.

CADE-1999-PfenningS #deduction #framework #logic

System Description: Twelf — A Meta-Logical Framework for Deductive Systems (FP, CS), pp. 202–206.

DAC-1998-YangKNCSRKLLKYKLHKKPPLHPK #development #named

MetaCore: An Application Specific DSP Development System (JHY, BWK, SJN, JHC, SWS, CHR, YSK, DHL, JYL, JSK, HDY, JYK, KML, CSH, IHK, JSK, KIP, KHP, YHL, SHH, ICP, CMK), pp. 800–803.

FASE-1998-MargariaS #automation #backtracking #design #synthesis

Backtracking-Free Design Planning by Automatic Synthesis in METAFrame (TMS, BS), pp. 188–204.

CSMR-1998-EbertKP #towards

The Extract-Transform-Rewrite Cycle. A Step towards MetaCARE (JE, BK, AP), pp. 165–171.

AFP-1998-Sheard98 #ml #programming language #staged #using

Using MetaML: A Staged Programming Language (TS), pp. 207–239.

CSCW-1998-DewanS #collaboration #flexibility

Flexible Meta Access-Control for Collaborative Applications (PD, HS), pp. 247–256.

EDOC-1998-Lemesle #metamodelling

Transformation rules based on meta-modeling (RL), pp. 113–122.

ECOOP-1998-MasuharaY #concurrent #design #partial evaluation

Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language (HM, AY), pp. 418–439.

TOOLS-PACIFIC-1998-PhillipsAPM #automation #design #object-oriented #user interface

The Design of the Client User Interface for a Meta Object-Oriented CASE Tool (CP, SA, DP, DM), pp. 156–167.

TOOLS-PACIFIC-1998-SmithGS #corba #metadata

A Case for Meta-Interworking: Projecting CORBA Meta-Data into COM (GS, JG, CAS), pp. 242–253.

LOPSTR-1998-MalletD #database #debugging #deduction #named #relational

Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging (SM, MD), pp. 328–330.

LOPSTR-1998-Rosenblueth #source code #using

An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs (DAR), pp. 322–324.

SAC-1998-SiLW #evolution #framework #metadata #named

4DIS: a temporal framework for unifying meta-data and data evolution (AS, HVL, PYW), pp. 203–210.

CADE-1998-SchurmannP #automation #logic #proving #theorem proving

Automated Theorem Proving in a Simple Meta-Logic for LF (CS, FP), pp. 286–300.

JICSLP-1998-Refalo98a #constraints #logic programming

Meta-linear Constraints in Constraint Logic Programming (PR), pp. 55–69.

SIGMOD-1997-GravanoCGP #experience #internet #named

STARTS: Stanford Proposal for Internet Meta-Searching (Experience Paper) (LG, KCCC, HGM, AP), pp. 207–218.

TACAS-1997-BeeckBCDFKMSS #graph #morphism #polymorphism #power of

Graphs in METAFrame: The Unifying Power of Polymorphism (MvdB, VB, AC, AD, CF, DK, TMS, FS, BS), pp. 112–129.

WIA-1997-Miller #algorithm #context-free grammar #normalisation #towards

Towards a Meta-Normal Form Algorithm for Context-Free Grammars (CLM), pp. 133–143.

FME-1997-Paige #formal method #integration

A Meta-Method for Formal Method Integration (RFP), pp. 473–494.

CAiSE-1997-DominguezZR #approach #concept #metamodelling

A Conceptual Approach to Meta-Modelling (ED, MAZ, JR), pp. 319–332.

CAiSE-1997-EbertSU #automation

Meta-CASE in Practice: a Case for KOGGE (JE, RS, IU), pp. 203–216.

EDOC-1997-Atkinson #distributed #metamodelling

Meta-Modeling for Distributed Object Environments (CA), p. 90–?.

KDD-1997-StolfoPTLFC #database #distributed #java #named

JAM: Java Agents for Meta-Learning over Distributed Databases (SJS, ALP, ST, WL, DWF, PKC), pp. 74–81.

TOOLS-USA-1997-SeinturierDF #distributed #object-oriented #protocol

A Meta-Object Protocol for Distributed OO Applications (LS, LD, GF), pp. 306–317.

ICSE-1997-RobinsonV #metamodelling #requirements

A Meta-Model for Restructuring Stakeholder Requirements (WNR, VV), pp. 140–149.

ASF+SDF-1997-BorovanskyK #partial evaluation

Strategies of ELAN: meta-interpretation and partial evaluation (PB, HK), p. 2.

ASF+SDF-1997-BrandHK #asf+sdf #ide #legacy

Renovation of the ASF+SDF meta-environment: current state of affairs (MvdB, JH, PK), p. 4.

ASF+SDF-1997-BrandKMO #asf+sdf #ide #implementation #prototype

Implementation of a prototype for the new ASF+SDF meta-environment (MvdB, TK, LM, PO), p. 5.

TACAS-1996-KleinKKS #automaton #program analysis

DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation (MK, JK, DK, BS), pp. 422–426.

CHI-1996-WeisbandK

Self Disclosure on Computer Forms: Meta-Analysis and Implications (SPW, SBK), pp. 3–10.

CAiSE-1996-KellyLR #automation #configuration management #multi

MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment (SK, KL, MR), pp. 1–21.

ICML-1996-Widmer #incremental #recognition

Recognition and Exploitation of Contextual CLues via Incremental Meta-Learning (GW), pp. 525–533.

KDD-1996-ChanS #database #modelling

Sharing Learned Models among Remote Database Partitions by Local Meta-Learning (PKC, SJS), pp. 2–7.

LOPSTR-1996-BrogiC #composition #logic programming #source code

Specialising Meta-level Compositions of Logic Programs (AB, SC), pp. 275–294.

CAV-1996-SteffenMCB

The METAFrame’95 Environment (BS, TMS, AC, VB), pp. 450–453.

KBSE-1995-LowryB #domain-specific language #named #performance #synthesis

META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems (MRL, JVB), pp. 2–10.

PEPM-1995-LeuschelS #partial evaluation #towards

Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters (ML, DDS), pp. 253–263.

CAiSE-1995-Herbst #analysis #metamodelling

A Meta-Model for Business Rules in Systems Analysis (HH), pp. 186–199.

CIKM-1995-PapazoglouR #approach #metamodelling #semantics

A Semantic Meta-Modeling Approach to Schema Transformation (MPP, NR), pp. 113–121.

ICML-1995-ChanS #comparative #evaluation

A Comparative Evaluation of Voting and Meta-learning on Partitioned Data (PKC, SJS), pp. 90–98.

SEKE-1995-Lapujade #automation

Contraints, Rules and Modelisation in a Meta-CASE Tool (AL), pp. 446–453.

ECOOP-1995-McAffer #programming

Meta-level Programming with CodA (JM), pp. 190–214.

OOPSLA-1995-MasuharaMAY #compilation #concurrent #object-oriented #partial evaluation #using

Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation (HM, SM, KA, AY), pp. 300–315.

OOPSLA-1995-MuletMC #composition #towards

Towards a Methodology for Explicit Composition of MetaObjects (PM, JM, PC), pp. 316–330.

ASF+SDF-1995-Brand #asf+sdf #ide #past present future #pretty-printing

Pretty printing in the ASF+SDF Meta-environment: Past, Present, and Future (MvdB), pp. 155–174.

ASF+SDF-1995-Klint #asf+sdf #evolution #ide #implementation

The Evolution of Implementation Techniques in the ASF+SDF Meta-environment (PK), pp. 5–26.

KR-1994-GuarinoCG #category theory #ontology

An Ontology of Meta-Level Categories (NG, MC, PG), pp. 270–280.

ECOOP-1994-OkamuraI #programming #using

Object Location Control Using Meta-level Programming (HO, YI), pp. 299–319.

ECOOP-1994-Pree #design #object-oriented #reuse

Meta Patterns — A Means For Capturing the Essentials of Reusable Object-Oriented Design (WP), pp. 150–162.

LOPSTR-1994-BarklundBD #logic programming #multi #programming language

A Basis for a Multi-Level Meta-Logic Programming Language (JB, KB, PD), pp. 262–275.

LOPSTR-1994-BrogiC #logic programming #metalanguage #source code

Gödel as a Meta-Language for Composing Logic Programs (AB, SC), pp. 377–394.

LOPSTR-1994-Dunin-Keplicz #architecture #development #multi #source code

An Architecture with Multiple Meta-Levels for the Development of Correct Programs (BDK), pp. 293–310.

LOPSTR-1994-Harmelen #cost analysis

A Model of Costs and Benefits of Meta-Level Computation (FvH), pp. 248–261.

LOPSTR-1994-Hill #metaprogramming

A Module System for Meta-Programming (PMH), pp. 395–409.

LOPSTR-1994-Treur #architecture #reasoning #semantics

Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning (JT), pp. 353–376.

CADE-1994-Pfenning #deduction #metalanguage #named

Elf: A Meta-Language for Deductive Systems (System Descrition) (FP), pp. 811–815.

LICS-1994-BrogiT #algebra #logic #semantics #source code

Semantics of Meta-Logic in an Algebra of Programs (AB, FT), pp. 262–270.

LICS-1994-Miller #logic #multi

A Multiple-Conclusion Meta-Logic (DM), pp. 272–281.

CAiSE-1993-Bellahsene #database #evolution #metamodelling #object-oriented

An Active Meta-model for Knowledge Evolution in an Object-oriented Database (ZB), pp. 39–53.

CIKM-1993-ChanS #learning #multi

Experiments on Multi-Strategy Learning by Meta-Learning (PKC, SJS), pp. 314–323.

SEKE-1993-LiO #development

A Meta Knowledge Structure for Program Development Support (CL, SO), pp. 649–656.

ECOOP-1993-ChibaM #architecture #design #distributed

Designing an Extensible Distributed Language with a Meta-Level Architecture (SC, TM), pp. 482–501.

ECOOP-1993-JohnsonP #flexibility #generative #named

MetaFlex: A Flexible Metaclass Generator (RJ, MP), pp. 502–527.

PLILP-1993-LimS #approach #constraints #logic programming #metaprogramming

A Conservative Approach to Meta-Programming in Constraint Logic Programming (PL, JS), pp. 44–59.

ESOP-1992-Tarlecki #specification

Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft (AT), pp. 451–472.

CAiSE-1992-OquendoZG #automation

A Meta-CASE Environment for Software Process-Centred CASE Environments (FO, JDZ, PG), pp. 568–588.

ML-1992-CoxR #learning #multi

Multistrategy Learning with Introspective Meta-Explanations (MTC, AR), pp. 123–128.

SEKE-1992-TakedaCM #named #re-engineering

MERA: Meta Language for Software Engineering (KT, DNC, IM), pp. 495–502.

PLILP-1992-Barth

CLP(PB), A Meta-Interpreter in CLP(R) (PB), pp. 491–492.

SOSP-WIP-1991-Marzullo92 #tool support

A Toolkit for Building Reactive Systems or A Minute on Meta (Abstract) (KM), p. 23.

SOSP-WIP-1991-Young92 #lazy evaluation #metadata #named #transaction

Episode: Lazy Transactions for Filesystem Meta-Data Updates (Abstract) (MWY), p. 20.

CADE-1992-PfenningR #deduction #implementation

Implementing the Meta-Theory of Deductive Systems (FP, ER), pp. 537–551.

JICSLP-1992-MartensS #metaprogramming #semantics

A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming (BM, DDS), pp. 511–525.

JICSLP-1992-Sato #metaprogramming

Meta-Programming through a Truth Predicate (TS), pp. 526–540.

PEPM-1991-Hansen

Properties of Unfolding-based Meta-level Systems (TAH), pp. 243–254.

VDME-1991-1-KinnaesV #debugging #metalanguage

A Debugger for a Meta-IV-like Meta-Language (DK, KDV), pp. 597–603.

VDME-1991-1-LarsenL #execution #set #specification

An Executable Subset of Meta-IV with Loose Specification (PGL, PBL), pp. 604–618.

VDME-1991-2-Krieg-BrucknerKLT #development

The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development (BKB, EWK, JL, OT), pp. 363–397.

CAiSE-1991-SmolanderLTM #flexibility #modelling #named #visual notation

MetaEdit — A Flexible Graphical Environment for Methodology Modelling (KS, KL, VPT, PM), pp. 168–193.

KR-1991-BarringerFGH #execution #logic

Meta-Reasoning in Executable Temporal Logic (HB, MF, DMG, AH), pp. 40–49.

LOPSTR-1991-ParrainDL #program transformation #prolog

Prolog Program Transformations and Meta-Interpreters (AP, PD, PL), pp. 238–251.

ICLP-1991-ChengRS #metaprogramming #prolog

Higher Level Meta Programming in Qu-Prolog 3: 0 (ASKC, PJR, JS), pp. 285–298.

DAC-1990-WolfSBD #data transformation #framework

Meta Data Management in the NELSIS CAD Framework (PvdW, GWS, PB, PD), pp. 142–149.

VDME-1990-BednarczykBP90a #semantics #towards

Towards the Semantics of the Definitional Language of MetaSoft (MAB, AMB, WP), pp. 471–503.

VDME-1990-Steensgaard-Madsen #data type

Adding Abstract Datatypes to Meta-IV (JSM), pp. 233–243.

ML-1990-SchoenauerS #incremental #learning

Incremental Learning of Rules and Meta-rules (MS, MS), pp. 49–57.

PLILP-1990-LimM #implementation #logic

Implementing a Meta-Logical Scheme (PL, DNM), pp. 106–120.

ICSE-1990-Dowson #case study #experience #using

Experience Using the Graphite Meta-Tool (Experience Report) (MD), pp. 192–195.

NACLP-1990-LimS #constraints #metaprogramming

Meta Programming as Constraint Programming (PL, PJS), pp. 416–430.

NACLP-1989-HeintzeMSY #metaprogramming #on the

On Meta-Programming in CLR(R) (NH, SM, PJS, RHCY), pp. 52–66.

SIGMOD-1988-CarusoS #database #object-oriented

Meta-Functions and Contexts in an Object-Oriented Database Language (MC, ES), pp. 56–65.

VDME-1988-BorzyszkowskiKS #formal method #polymorphism #λ-calculus

A Set-Theoretic Model for a Typed Polymorphic λ Calculus — A Contribution to MetaSoft (AMB, RK, SS), pp. 267–298.

VDME-1988-ButhB #code generation #correctness #proving #specification #term rewriting #using

Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting (BB, KHB), pp. 406–433.

JICSCP-1988-Bacha88 #design #implementation #prolog

Meta Prolog Design and Implementation (HB), pp. 1371–1387.

JICSCP-1988-BruffaertsH88 #prolog #proving

Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter (AB, EH), pp. 343–358.

JICSCP-1988-CosciaFLST88 #compilation #logic programming

Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment (PC, PF, GL, GS, LT), pp. 359–373.

JICSCP-1988-SterlingL88 #prolog

Composing Prolog Meta-Interpreters (LS, AL), pp. 386–403.

DAC-1987-Brei #metalanguage #named #representation

Needed: A Meta-Language for Evaluating the Expressiveness of EDIF, IGES, VHDL and Other Representation Mechanisms (MLB), p. 565.

VLDB-1987-HowellsFG #query #relational #text-to-text

A Source-to-Source Meta-Translation System for Relational Query Languages (DIH, NJF, WAG), pp. 227–234.

PLDI-1987-GelernterJL #interpreter #lisp #parallel #persistent #symmetry

Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter (DG, SJ, TL), pp. 274–282.

VDME-1987-Airchinnigh #morphism

Mathematical Structures and their Morphisms in Meta-IV (MMaA), pp. 287–320.

VDME-1987-Bjorner #development #graph #metaprogramming

The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments (DB), pp. 77–96.

VDME-1987-Hass #compilation #development

Development and Application of a Meta IV Compiler (MH), pp. 118–140.

ICLP-1987-Bacha87 #approach #programming

Meta-Level Programming: A Compiled Approach (HB), pp. 394–410.

SIGMOD-1986-HarandiSC #using

Rule Base Management Using Meta Knowledge (MTH, TS, SC), pp. 261–267.

ESOP-1986-Nielson #code generation #correctness #metalanguage

Correctness of Code Generation from a Two-Level Meta-Language (FN), pp. 30–40.

ESOP-1986-NielsonN #aspect-oriented #metalanguage

Pragmatic Aspects of Two-Level Denotational Meta-Languages (HRN, FN), pp. 133–143.

CRAI-1986-Bjorner #development #formal method #graph #metaprogramming #towards

Project Graphs and Meta-Programs. Towards a Theory of Software Development (DB), pp. 117–152.

SLP-1986-SterlingB86 #incremental

Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction (LS, RDB), pp. 20–27.

POPL-1985-JohnsonF #editing #evaluation #incremental #metalanguage

A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors (GFJ, CNF), pp. 141–151.

SLP-1985-BowenW85 #prolog

A Meta-Level Extension of Prolog (KAB, TW), pp. 48–53.

CADE-1982-SterlingB #verification

Meta-Level Inference and Program Verification (LS, AB), pp. 144–150.

ILPC-1982-Eshghi82 #fault #logic #metalanguage #programming

Application of Meta-language Programming to Fault Finding in Logic Circuits (KE), pp. 240–246.

ICSE-1981-BaileyB #development #metamodelling

A Meta-Model for Software Development Resource Expenditures (JWB, VRB), pp. 107–116.

TFDA-1980-Bjorner #metalanguage

Reference Manual for the Meta-Language (DB), pp. 607–623.

CADE-1980-AielloW #algebra #reasoning #using

Using Meta-Theoretic Reasoning to do Algebra (LCA, RWW), pp. 1–13.

CADE-1980-BundyW #algebra #multi #using

Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation (AB, BW), pp. 24–38.

VLDB-1978-Sharman #metamodelling #question #semantics #what

What is a “Good” Semantic or Meta Model? (GS), p. 138.

VDM-1978-Bjorner #metalanguage #programming #tutorial

Programming in the META-Language: A Tutorial (DB), pp. 24–217.

VDM-1978-Jones #metalanguage

The META-Language: A Reference Manual (CBJ), pp. 218–277.

POPL-1973-HewittBGSMS #induction

Actor Induction and Meta-Evaluation (CH, PB, IG, BCS, TM, RS), pp. 153–168.

SOSP-1969-Hellerman #principle #scheduling

Complementary replacement: a meta scheduling principle (HH), pp. 43–46.

SHARE-1966-MandellE #automation #design

A meta-compiler as a design automation tool (RLM, GE).