201,699 Hits in 2.5 sec

Programming Language Features for Refinement

Jason Koenig, K. Rustan M. Leino
2016 Electronic Proceedings in Theoretical Computer Science  
Program refinements are performed in the context of some programming language, but mainstream languages lack features for recording the sequence of refinement steps in the program text.  ...  To experiment with the combination of refinement, automated verification, and language design, refinement features have been added to the verification-aware programming language Dafny.  ...  Acknowledgments We are grateful to Lindsay Groves and Mark Utting for feedback at the REFINE 2015 workshop, and to the referees for their detailed readings and constructive feedback.  ... 
doi:10.4204/eptcs.209.7 fatcat:aoqwz3u4xng6bm5illugrc2tg4

An orthogonal access modifier model for feature-oriented programming

Sven Apel, Jörg Liebig, Christian Kästner, Martin Kuhlemann, Thomas Leich
2009 Proceedings of the First International Workshop on Feature-Oriented Software Development - FOSD '09  
The reason for these problems is that common object-oriented modifiers, typically provided by the base language, are not expressive enough for FOP and interact in subtle ways with feature-oriented language  ...  In feature-oriented programming (FOP ), a programmer decomposes a program in terms of features. Ideally, features are implemented modularly so that they can be developed in isolation.  ...  a feature makes, feature-oriented languages like Jak introduce a mechanism for class refinement.  ... 
doi:10.1145/1629716.1629723 dblp:conf/models/ApelLKKL09 fatcat:g6i5iboawfgflcqewcusotzmna

Feature featherweight java

Sven Apel, Christian Kästner, Christian Lengauer
2008 Proceedings of the 7th international conference on Generative programming and component engineering - GPCE '08  
Feature-oriented programming (FOP) is a paradigm that incorporates programming language technology, program generation techniques, and stepwise refinement.  ...  We present such a type system along with a calculus for a simple feature-oriented, Java-like language, called Feature Featherweight Java (FFJ).  ...  Acknowledgments We thank the anonymous reviewers for their helpful comments. The work was funded partly by the German Research Foundation (DFG), project number AP 206/2-1.  ... 
doi:10.1145/1449913.1449931 dblp:conf/gpce/ApelKL08 fatcat:goj5tku3trey5fxeh647fkyitm

Aspectual Feature Modules

S. Apel, T. Leich, G. Saake
2008 IEEE Transactions on Software Engineering  
Feature-oriented programming (FOP) aims at large-scale compositional programming and feature modularity in SPLs using ISD.  ...  Consequently, we propose the symbiosis of FOP and AOP and aspectual feature modules (AFMs), a programming technique that integrates feature modules and aspects.  ...  ACKNOWLEDGMENTS The authors thank Don Batory, Walter Cazzola, William Cook, Christian Kästner, Christian Lengauer, Roberto Lopez-Herrejon, Olaf Spinczyk, Aleksandra Tesanovic, Sahil Thaker, and Salvador Trujillo for  ... 
doi:10.1109/tse.2007.70770 fatcat:da5p2yudfbbghi6eo4qnqdxe4u

FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming [chapter]

Sven Apel, Thomas Leich, Marko Rosenmüller, Gunter Saake
2005 Lecture Notes in Computer Science  
Besides well-known concepts of FOP languages, FeatureC++ contributes several novel FOP language features, in particular multiple inheritance and templates for generic programming.  ...  This paper presents FeatureC++, a novel language extension to C++ that supports Feature-Oriented Programming (FOP) and Aspect-Oriented Programming (AOP).  ...  Acknowledgments We would like to thank Don Batory and Erik Buchmann, as well as the program committee for comments on drafts of this paper.  ... 
doi:10.1007/11561347_10 fatcat:6xcfzmdhqzauhcxwyv7m4vwzs4

Access control in feature-oriented programming

Sven Apel, Sergiy Kolesnikov, Jörg Liebig, Christian Kästner, Martin Kuhlemann, Thomas Leich
2012 Science of Computer Programming  
The absence of a well-defined access control model for FOP breaks encapsulation of feature code and leads to unexpected program behaviors and inadvertent type errors.  ...  But developers of contemporary feature-oriented languages have not considered access control mechanisms so far.  ...  To implement the additions and changes a feature makes, these and other feature-oriented languages introduce a mechanism for class refinement.  ... 
doi:10.1016/j.scico.2010.07.005 fatcat:4vdv5zh3crbphkqjrclbjx4uoa

Aspect Refinement — Unifying AOP and Stepwise Refinement

Sven Apel, Christian Kästner, Thomas Leich, Gunter Saake
2007 Journal of Object Technology  
To reflect this unification to the programming language level, we present an implementation technique for refining aspects based on mixin composition along with a set of language mechanisms for refining  ...  Stepwise refinement (SWR) is fundamental to software engineering. As aspectoriented programming (AOP) is gaining momentum in software development, aspects should be considered in the light of SWR.  ...  We thank Don Batory, William Cook, Christian Lengauer, and Roberto Lopez-Herrejon for their insightful comments on earlier drafts of this paper.  ... 
doi:10.5381/jot.2007.6.9.a1 fatcat:efbhebi3treothyt6gbpn5qp2m

Object-oriented design in feature-oriented programming

Sven Schuster, Sandro Schulze
2012 Proceedings of the 4th International Workshop on Feature-Oriented Software Development - FOSD '12  
Recently, feature-oriented programming (FOP) gained attention, specifically for developing software product lines (SPLs).  ...  Object-oriented programming is the state-of-the-art programming paradigm for developing large and complex software systems.  ...  Furthermore, refinements should not contradict with language mechanisms used for design patterns such as inheritance or interfaces, for the previously mentioned reasons.  ... 
doi:10.1145/2377816.2377820 dblp:conf/gpce/SchusterS12 fatcat:z7zweljdxjeojklgq5onfvjure

The abstract state machines method for modular design and analysis of programming languages

Egon Börger
2014 Journal of Logic and Computation  
This is illustrated in Sect. 2.3,2.4 for object-oriented programming languages. The hierarchy of ASM models for Java (resp.  ...  models, leading from the source code to a machine code view for full-fledged real-life programming languages.  ...  entire language but nevertheless be a justifiably correct programming language product line approach, enhancing feature-driven language composition (as proposed in [11] ) by feature verification (statement  ... 
doi:10.1093/logcom/exu077 fatcat:7quppauog5eyvaahlbvlrk7w3u

Refinable Function : An Object-oriented Approach to Procedure Modularity [article]

Hiun Kim
2021 arXiv   pre-print
In this paper, we present Refinable Function, an object-oriented approach to advanced language-based, symmetric modularity technique for the procedure.  ...  We conceptually compare Refinable Function to existing technique to substantiate benefits of modularity can be implemented in on well-established object-oriented language without compiler support.  ...  Promise is used for synchronising program execution in language.  ... 
arXiv:1707.02590v2 fatcat:r2ksfcdyunayrl2nmhxvmdueuq

On the importance and challenges of FOSD

Don Batory
2009 Proceedings of the First International Workshop on Feature-Oriented Software Development - FOSD '09  
Observations on Semantic Documents 59 • Type systems for languages have soundness theorems • Feature-extensible languages require a feature-extensible type system, which in turn requires feature-extensible  ...  to arise • What I've learned (to quote Bracha) : costs of learning, tooling and interoperability argue for the status quo (on programming languages) • ex: if we add a "feature" construct to an existing  ... 
doi:10.1145/1629716.1629718 dblp:conf/models/Batory09 fatcat:ejopetbebbgapjn7igwn762hli

A calculus for uniform feature composition

Sven Apel, Delesley Hutchins
2010 ACM Transactions on Programming Languages and Systems  
The goal of feature-oriented programming (FOP) is to modularize software systems in terms of features. A feature refines the content of a base program.  ...  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

User-driven Design and Evaluation of Liquid Types in Java [article]

Catarina Gamboa, Paulo Alexandre Santos, Christopher S. Timperley, Alcides Fonseca
2021 arXiv   pre-print
Liquid Types are more powerful than those found in mainstream programming languages, allowing the detection of more classes of bugs.  ...  This paper investigates how Liquid Types can be integrated in a mainstream programming language, Java, by proposing a new design that aims to lower the barrier to entry and adapts to problems that Java  ...  of functional programming languages.  ... 
arXiv:2110.05444v1 fatcat:44okrhrxnrecjl6yvwidbev6wm

A small extension to Java for class refinement

Muga Nishizawa, Shigeru Chiba
2008 Proceedings of the 2008 ACM symposium on Applied computing - SAC '08  
This is significant for the industrial acceptability of a new language. A GluonJ program is written in standard Java with additional Java annotations.  ...  This paper presents an extended Java language in which users can refine a class definition to a certain degree.  ...  Only a special runtime system is needed to run a GluonJ program. We introduced these features for industrial acceptability.  ... 
doi:10.1145/1363686.1363732 dblp:conf/sac/NishizawaC08 fatcat:nmenbtbhp5f5bkwgp5b2mp3vei

Scaling step-wise refinement

D. Batory, J.N. Sarvela, A. Rauschmayer
2003 25th International Conference on Software Engineering, 2003. Proceedings.  
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally.  ...  We present the AHEAD (Algebraic Hierarchical Equations for Application Design) model that shows how step-wise refinement scales to synthesize multiple programs and multiple noncode representations.  ...  They thank Melanie Kail and Mark Esslinger for their contributions to the design of AHEAD tools and Jim Browne, Stan Jarzabek, Dewayne Perry, and Roberto Lopez-Herrejon for their helpful comments on earlier  ... 
doi:10.1109/icse.2003.1201199 dblp:conf/icse/BatorySR03 fatcat:ccwf2ry7g5eenjdotxddxm62km
« Previous Showing results 1 — 15 out of 201,699 results