ECEASST 2008 - PDF Preprint Papers

ECEASST 2008

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ECEASST-2008 Paper

click to vote

ECEASST
2008

171views more ECEASST 2008»

Type Checking C++ Template Instantiation by Graph Programs

13 years 11 months ago

Download tfs.cs.tu-berlin.de

Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...

Karl Azab, Karl-Heinz Pennemann

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	171	Type Checking C++ Template Instantiation by Graph Programs	claim
2	133	Debugging Distributed Systems with Causal Nets	claim
3	124	Generating Euler Diagrams from Existing Layouts	claim
4	121	Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships	claim
5	112	Flexible Modeling of Emergency Scenarios using Reconfigurable Systems	claim
6	110	Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets	claim
7	106	Controlling resource access in Directed Bigraphs	claim
8	103	Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars	claim
9	96	Deriving Barbed Bisimulations for Bigraphical Reactive Systems	claim
10	95	Graph Transformations for the Resource Description Framework	claim
11	95	A Static Layout Algorithm for DiaMeta	claim
12	92	Context-Aware Adaptation of Mobile Multimedia Presentations	claim
13	91	Graph Transformation Model of a Triangulated Network of Mobile Units	claim
14	88	Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators	claim
15	88	Reconfiguration of Reo Connectors Triggered by Dataflow	claim
16	87	Visual Design and Reasoning with the Use of Hypergraph Transformations	claim
17	87	The GP Programming System	claim
18	85	Survey: Agent-based Middlewares for Context Awareness	claim
19	84	Layout Specification on the Concrete and Abstract Syntax Level of a Diagram Language	claim
20	84	An Incremental OCL Compiler for Modeling Environments	claim
21	83	Layered Architecture Consistency for MANETs: Introducing New Team Members	claim
22	82	Interaction nets: programming language design and implementation	claim
23	80	Positioning Map: a Visual Technique to Improve the Layout of Diagram Contextual Information	claim
24	79	Using Graph Transformation Systems to Specify and Verify Data Abstractions	claim
25	79	From Hyperedge Replacement to Separation Logic and Back	claim
26	77	Using OCL in Executable UML	claim
27	76	Implementing Petri Net Transformations using Graph Transformation Tools	claim
28	75	Extended OCL for Goal Monitoring	claim
29	73	A Framework for Generating Query Language Code from OCL Invariants	claim
30	73	Negative Application Conditions for Reconfigurable Place/Transition Systems	claim
31	73	A Graph-Based Type Representation for Objects	claim
32	71	Learning-based Coordination of Distributed Component Deployment	claim
33	70	Improving Live Sequence Chart to Automata Transformation for Verification	claim
34	70	MSCar: Enhancing Message Sequence Charts with Interactivity for Analysing (Automotive) Communication Sequences	claim
35	70	Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems	claim
36	69	Verifying Model Transformations by Structural Correspondence	claim
37	68	Specifying Executable Platform-Independent Models using OCL	claim
38	67	Sharing OCL Constraints by Using Web Rules	claim
39	67	Negative Application Conditions for Reconfigurable Algebraic High-Level Systems	claim
40	64	OCL: Modularising the Language	claim
41	64	Exploiting the Layout Engine to Assess Diagram Completions	claim
42	61	Foundations of Modelling and Simulation of Complex Systems	claim
43	60	On a Graph-Based Semantics for UML Class and Object Diagrams	claim
44	60	Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences	claim
45	59	Towards Self-evolving Context-aware Services	claim
46	59	Divide and Conquer - Organizing Component-based Adaptation in Distributed Environments	claim
47	58	Model-Driven Adaptation of Ubiquitous Applications	claim
48	56	Interactive, Constraint-based Layout of Engineering Diagrams	claim
49	55	Composing control flow and formula rules for computing on grids	claim
50	55	Reconfigurable Open Algebraic High-Level Systems	claim
51	54	Extending Graph Query Languages by Reduction	claim
52	51	Reactive Context-Aware Programming	claim
53	46	Dynamic Software Architectures Verification using DynAlloy	claim
54	40	Enhancing Planning-Based Adaptation Middleware with Support for Dependability: a Case Study	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers