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:
graph (6)
toward (4)
transform (4)
multi (3)
extern (2)

Stem amalgam$ (all stems)

17 papers:

ICGTICGT-2015-LeblebiciAS #graph grammar #multi #tool support
Tool Support for Multi-amalgamated Triple Graph Grammars (EL, AA, AS), pp. 257–265.
ICGTICGT-2015-LeblebiciAST #graph grammar #multi
Multi-amalgamated Triple Graph Grammars (EL, AA, AS, GT), pp. 87–103.
ICGTICGT-2015-TaentzerG #analysis #confluence #graph transformation #towards
Towards Local Confluence Analysis for Amalgamated Graph Transformation (GT, UG), pp. 69–86.
WRLAWRLA-2014-Duran #composition #domain-specific language
Composition of Graph-Transformation-Based DSL Definitions by Amalgamation (FD), pp. 1–20.
ICPCICPC-2014-HossenKP #maintenance #source code
Amalgamating source code authors, maintainers, and change proneness to triage change requests (KH, HHK, DP), pp. 130–141.
PODSPODS-2013-BojanczykST #verification
Verification of database-driven systems via amalgamation (MB, LS, ST), pp. 63–74.
IJCARIJCAR-2012-BruttomessoGR #composition #quantifier
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation (RB, SG, SR), pp. 118–133.
GCMGCM-2010-GolasBEE11 #graph transformation #interpreter #semantics #visual notation
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation (UG, EB, HE, CE).
ICGTICGT-2010-GolasEH #category theory #multi
Multi-Amalgamation in Adhesive Categories (UG, HE, AH), pp. 346–361.
ICGTICGT-2010-Kahl #category theory #graph transformation
Amalgamating Pushout and Pullback Graph Transformation in Collagories (WK), pp. 362–378.
WCREWCRE-2007-SartipiD #architecture #component #framework #interactive #re-engineering
An Amalgamated Dynamic and Static Architecture Reconstruction Framework to Control Component Interactions 259 (KS, ND), pp. 259–268.
ICALPICALP-v2-2006-LohreyS
Theories of HNN-Extensions and Amalgamated Products (ML, GS), pp. 504–515.
ICALPICALP-2001-SchroderMT
Amalgamation in CASL via Enriched Signatures (LS, TM, AT), pp. 993–1004.
ICLPICLP-1991-MansfieldTMN #approach #named #towards
AMLOG-E: A New Approach towards Amalgamation (GM, AT, NM, SN), pp. 364–378.
SIGIRSIGIR-1988-JonesdK #alloy #named #statistics
ALLOY: An Amalgamation of Expert, Linguistic and Statistical Indexing Methods (LPJ, Cd, SK), pp. 191–199.
PPDPPLILP-1988-BonnierM #logic programming #source code #towards
Towards a Clean Amalgamation of Logic Programs with External Procedures (SB, JM), pp. 20–34.
ICLPJICSCP-1988-BonnierM88 #logic programming #source code #towards
Towards a Clean Amalgamation of Logic Programs with External Procedures (SB, JM), pp. 311–326.

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.