Filters








2,418 Hits in 8.0 sec

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact)

Avraham Shinnar, Jérôme Siméon, Martin Hirzel
2015 Proceedings of the 29th European Conference on Object-Oriented Programming   unpublished
This artifact contains the accompanying code for the ECOOP 2015 paper: "A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization".  ...  It contains source files for a full mechanization of the three languages presented in the paper: CAMP (Calculus for Aggregating Matching Patterns), NRA (Nested Relational Algebra) and NNRC (Named Nested  ...  Content The artifact package includes: The complete source for for the mechanization, organized in the following directories: Basic: Basic definitions, lemmas, and utilities shared by all the language  ... 
fatcat:5cfmuuck5vdoravnz2bky7ensy

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization

Avraham Shinnar, Jérôme Siméon, Martin Hirzel
unpublished
This paper introduces a core calculus for pattern-matching in production rule languages: the Calculus for Aggregating Matching Patterns (CAMP).  ...  CAMP is expressive enough to capture modern rule languages such as JRules, including extensions for aggregation.  ...  This paper proposes the Calculus for Aggregating Matching Patterns (CAMP), a core calculus for production rule languages.  ... 
fatcat:bhktz2p7r5axvmzmszmbhf7ioy

Semantic Patches for Java Program Transformation (Artifact) [article]

Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo, Manuel Rigger, Maria Christakis
2019 Dagstuhl Artifacts Series (DARTS)  
There are tools for Java that allow developers to specify patterns for program matching and sourceto-source transformation.  ...  We adapt Coccinelle to be able to apply scripts written in the Semantic Patch Language (SmPL), a language provided by Coccinelle, to Java source files.  ...  Accordingly, Coccinelle provides a language, the Semantic Patch Language (SmPL), for expressing transformations using a generalization of the familiar patch syntax.  ... 
doi:10.4230/darts.5.2.10 dblp:journals/darts/KangTLMJ019 fatcat:smdxbed6zbf6dpcvsaafcemsoq

Standard Type Soundness for Agents and Artifacts

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
2012 Scientific Annals of Computer Science  
In this paper we present FAAL (Featherweight Agent and Artifact Language), a formal calculus modelling the agent and artifact program abstractions provided by the simpA agent framework.  ...  Accordingly, in this paper we introduce a calculus with type system called FAAL (Featherweight Agent and Artifact Language), capturing the relevant and distinctive features of simpA and the A&A (Agents  ...  We do not give the inversion lemmas for the other rules of systems and since they are trivial. Let X range over agent/artifact types and let Y range over agent/artifact types and C.  ... 
doi:10.7561/sacs.2012.2.267 fatcat:fcev33x53vcttnsfemm6wv6i64

Layout-sensitive language extensibility with SugarHaskell

Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann
2013 SIGPLAN notices  
Syntax extensions in SugarHaskell can declare arbitrary context-free and layout-sensitive syntax. Sug-arHaskell modules are compiled into Haskell modules and further processed by a Haskell compiler.  ...  We provide an Eclipse-based IDE for SugarHaskell that is extensible, too, and automatically provides syntax coloring for all syntax extensions imported into a module.  ...  Giarrusso, and the anonymous reviewers for valuable feedback on earlier versions of this work. This work is supported in part by the European Research Council, grant No. 203099.  ... 
doi:10.1145/2430532.2364526 fatcat:lnvcqr2pfzaajnw3i2k6mdxw4m

Layout-sensitive language extensibility with SugarHaskell

Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann
2012 Proceedings of the 2012 symposium on Haskell symposium - Haskell '12  
Syntax extensions in SugarHaskell can declare arbitrary context-free and layout-sensitive syntax. Sug-arHaskell modules are compiled into Haskell modules and further processed by a Haskell compiler.  ...  We provide an Eclipse-based IDE for SugarHaskell that is extensible, too, and automatically provides syntax coloring for all syntax extensions imported into a module.  ...  Giarrusso, and the anonymous reviewers for valuable feedback on earlier versions of this work. This work is supported in part by the European Research Council, grant No. 203099.  ... 
doi:10.1145/2364506.2364526 dblp:conf/haskell/ErdwegRRO12 fatcat:2xcjwol53bbytnyk2e4erxsjpa

Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus

Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
2008 Electronical Notes in Theoretical Computer Science  
To pave the way towards identifying a true language extension for simpA, we define a core calculus of agents and artifacts, by suitabling mixing techniques coming from object-orientation and concurrency  ...  Then, towards identifying a true Java language extension supporting the simpA framework, in this paper we identify a quite expressive subset of simpA, and accordingly develop a core calculus of agents  ...  [7, 8] ), such an extension is developed in terms of a core calculus, namely, a very small language that focuses on the few aspects of interest while abstracting away from unnecessary language mechanisms  ... 
doi:10.1016/j.entcs.2008.03.102 fatcat:mkgicu4axvginjppjdcitbycge

A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization, and Weak Normalization in the Presence of..

Johan Munk
2008 BRICS Report Series  
., artifacts) in the lambda calculus. For example, one puts the expressive power of the lambda calculus to the test in the area of lambda definability.  ...  We give a new account of Felleisen and Hieb's syntactic theory of state, and of abstract machines for strong normalization due to Curien, Crégut, Lescanne, and Kluge.  ...  Felleisen and Flatt have a version where such expressions must be compiled into a language of instructions before running the machine [31, Section 8.1].  ... 
doi:10.7146/brics.v15i3.21938 fatcat:jaibmuzs55ftponzsit7y5wpx4

Evolution of Security Engineering Artifacts

Michael Felderer, Basel Katt, Philipp Kalb, Jan Jürjens, Martín Ochoa, Federica Paci, Le Minh Sang Tran, Thein Than Tun, Koen Yskout, Riccardo Scandariato, Frank Piessens, Dries Vanoverberghe (+4 others)
2014 International Journal of Secure Software Engineering  
For each of these artifacts we give an overview of evolution and security aspects and discuss the state of the art on its security evolution in detail.  ...  Security evolution can only be managed adequately if it is considered for all artifacts throughout the software development lifecycle.  ...  for Open Systems" (FFG 822740), the FWF project MOBSTECO (FWF P 26194-N15), the DFG project "SecVolution" which is part of DFG  ... 
doi:10.4018/ijsse.2014100103 fatcat:o6aq54ak5zbydk42w4psuaabxq

A calculus for uniform feature composition

Sven Apel, Delesley Hutchins
2010 ACM Transactions on Programming Languages and Systems  
We present gDEEP, a core calculus for feature composition, which captures the language independence of FOP; it can be used to compose features containing many different kinds of artifact in a type-safe  ...  Both base programs and features may contain various kinds of software artifacts, for example, source code in different languages, models, build scripts, and documentation.  ...  ACKNOWLEDGMENTS We thank Don Batory, Matthias Felleisen, Christian Kästner, Christian Lengauer, Marko Rosenmüller, and Yannis Smaragdakis for their comments.  ... 
doi:10.1145/1745312.1745316 fatcat:kw7hbccr65b75jattjaco7tyye

CPL: a core language for cloud computing

Oliver Bračevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
2016 Proceedings of the 15th International Conference on Modularity - MODULARITY 2016  
To address these shortcomings, we propose CPL (Cloud Platform Language), a statically-typed core language for programming both distributed applications as well as their deployment on a cloud platform.  ...  However, existing deployment programs unsafely compose artifacts written in different languages, leading to bugs that are hard to detect before run time.  ...  Acknowledgments We thank the anonymous reviewers for their helpful comments. This work has been supported by the European Research Council, grant No. 321217.  ... 
doi:10.1145/2889443.2889452 dblp:conf/aosd/BracevacESM16 fatcat:ki6z42ugjreqzmdfc7hv72ddny

Super-Languages: Developing Languages and Applications with XMF (Second Edition) [article]

Tony Clark, Paul Sammut, James Willans
2015 arXiv   pre-print
This is done by defining the language, providing some examples of applications that can be written directly in the XOCL language that comes with XMF, and then by showing how XMF can be used for language  ...  The aim of this book is to introduce the language XMF.  ...  Rule Compilation Rules are compiled into a network by translating each of the head patterns into sequences of alpha nodes and then combining the patterns using beta-nodes.  ... 
arXiv:1506.03363v1 fatcat:57y27eubjzcujm4tqf37olfjca

Building language towers with Ziggurat

DAVID FISHER, OLIN SHIVERS
2008 Journal of functional programming  
Ziggurat is a meta-language system that permits programmers to develop Scheme-like macros for languages with nontrivial static semantics, such as C or Java (suitably encoded in an S-expression concrete  ...  a polymorphic type system and higher-order flow analysis.  ...  This work was funded by the NSF's Science of Design program, and by a grant from Microsoft Research, sponsored by Todd Proebsting; we'd like to thank them for underwriting our vision.  ... 
doi:10.1017/s0956796808006928 fatcat:cnxx2idegnav5clpstnvy6iecy

Variability modules for Java-like languages

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2021 Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A  
We illustrate VMs by an example from an industrial modeling scenario, formalize them in a core calculus, provide an implementation for the Java-like modeling language ABS, and evaluate VMs by case studies  ...  A Software Product Line (SPL) is a family of similar programs (called variants) generated from a common artifact base.  ...  For instance, a proof-of-concept realization of VM for the Java programming language, based on architectural patterns, is (informally) described in [39] .  ... 
doi:10.1145/3461001.3471143 fatcat:ooldtzihb5hgdo4w5oucjyh2yi

The translation of programming languages through the use of a graph transformation language

Peter van den Bosch
1982 SIGPLAN notices  
the Library shall make it freely available for reference and study.  ...  language translation, conclude this dissertation.  ...  a "compiler" for an applicative language SASL.  ... 
doi:10.1145/947912.947920 fatcat:mp7yt3rb2vh33pvdpfvprechq4
« Previous Showing results 1 — 15 out of 2,418 results