Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CL
2008
Springer

favoriteEmaildiscussreport

102views Automated Reasoning» more CL 2008»

Application-specific models and pointcuts using a logic metalanguage

13 years 4 months ago

Application-specific models and pointcuts using a logic metalanguage

Download www.hpi.uni-potsdam.de

Johan Brichau, Andy Kellens, Kris Gybels, Kim Mens

Real-time Traffic

Automated Reasoning | CL 2008 |

claim paper

Related Content

» Symbiosis in logicbased pointcuts over a history of join points

» Toolsupported refactoring of aspectoriented programs

» A Register File and Scheduling Model for Application Specific Processor Synthesis

» AOP Extension for Security Testing of Programs

» A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS

» Driving User Interfaces from FaCT

» A logicbased model of intention formation and action for multiagent subcontracting

» LinearlyUsed Continuations in the Enriched Effect Calculus

» Enriching an Effect Calculus with Linear Types

Post Info
More Details (n/a)

Added	09 Dec 2010
Updated	09 Dec 2010
Type	Journal
Year	2008
Where	CL
Authors	Johan Brichau, Andy Kellens, Kris Gybels, Kim Mens, Robert Hirschfeld, Theo D'Hondt

Comments (0)