meta programming - researchr tag

researchr

You are not signed in
Sign in
Sign up

2012

SAFECOMP, Proceedings2012.

Eventually Consistent TransactionsBurckhardt, Sebastian, Leijen, Daan, Fahndrich, Manuel, Sagiv, Mooly. In Programming Languages and Systems. Volume 7211 of Lecture Notes in Computer Science, pages 67-86, Springer Berlin / Heidelberg, 2012.

Methods and Techniques for the Design and Implementation of Domain-Specific LanguagesZef Hemel. PhD thesis, Delft University of Technology, Delft, The Netherlands, January 2012.

Run your research: on the effectiveness of lightweight mechanizationCasey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robby Findler. In Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. 2012: 285-296 [doi]

A pure embedding of attribute grammarsAnthony M. Sloane, Lennart C. L. Kats, Eelco Visser. SCP, , 2012. [doi]

BNF WAS HERE: What Have We Done About the Unnecessary Diversity of Notation for Syntactic DefinitionsVadim Zaytsev. In Programming Languages Track, Volume II of the Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012). 2012: 1910-1915 [doi]

2011

On the application of genetic programming for software engineering predictive modeling: A systematic reviewWasif Afzal, Richard Torkar. eswa, 38(9):11984-11997, 2011. [doi]

A Graph Query Language for EMF modelsGábor Bergmann, Zoltán Ujhelyi, István Ráth, Dániel Varró. ICMT 2011: 167-182

A Cloud-based Cyberlearning Environment for Introductory Computing Programming EducationPrabir Bhattacharya, Minzhe Guo, Lixin Tao, Bin Wu, Kai Qian, E. Kent Palmer. icalt 2011: 12-13 [doi]

Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model CheckingBenedikt Bollig, Aiswarya Cyriac, Paul Gastin, Marc Zeitoun. mfcs 2011: 132-144 [doi]

Proceedings of the Workshop on Intermediate RepresentationsFlorent Bouchez, Sebastian Hack, Eelco Visser, editors, 2011.

Linear programming models for traffic engineering in 100 survivable networks under combined IS-IS/OSPF and MPLS-TED. Cherubini, A. Fanni, A. Mereu, Antonio Frangioni, C. Murgia, Maria Grazia Scutellà, P. Zuddas. cor, 38(12):1805-1815, 2011. [doi]

Optimum Selection of Access Networks Within Heterogeneous Wireless Environments Based on Linear Programming TechniquesJohnny Choque, Ramón Agüero, Luis Muñoz. monet, 16(4):412-423, 2011. [doi]

A Generic Tool for Tracing Executions Back to a DSML's Operational SemanticsBenoit Combemale, Laure Gonnord, Vlad Rusu. In Seventh European Conference on Modelling Foundations and Applications. 2011:

Generic Model Transformations: Write Once, Reuse EverywhereJesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT 2011: 62-77

ProgTest: An environment for the submission and evaluation of programming assignments based on testing activitiesDraylson Micael de Souza, José Carlos Maldonado, Ellen Francine Barbosa. csee 2011: 1-10 [doi]

Implementing statically typed object-oriented programming languagesRoland Ducournau. ACM Comput. Surv., 43(3):18, 2011. [doi]

Dynamic ant: introducing a new benchmark for genetic programming in dynamic environmentsDavid Fagan, Miguel Nicolau, Erik Hemberg, Michael O Neill, Anthony Brabazon. gecco 2011: 183-184 [doi]

ASPIDE: Integrated Development Environment for Answer Set ProgrammingOnofrio Febbraro, Kristian Reale, Francesco Ricca. lpnmr 2011: 317-330 [doi]

MPOpt-Cell: a high-performance data-flow programming environment for the CELL BE processorAlessio Franceschelli, Paolo Burgio, Giuseppe Tagliavini, Andrea Marongiu, Martino Ruggiero, Michele Lombardi, Alessio Bonfietti, Michela Milano, Luca Benini. cf 2011: 11 [doi]

Verified Synthesis of Knowledge-Based Programs in Finite Synchronous EnvironmentsPeter Gammie. itp 2011: 87-102 [doi]

Object-oriented simulation: a modeling and programming perspectiveJosé M. Garrido. ACMse 2011: 3 [doi]

Checking Models, Proving Programs, and Testing SystemsMarie-Claude Gaudel. tap 2011: 1-13 [doi]

Object-Oriented Parallelisation of Java Desktop ProgramsNasser Giacaman, Oliver Sinnen. IEEE Software, 28(1):32-38, 2011. [doi]

Learners at the Wheel: Novice Programming Environments Come of AgeJudith Good. ijpop, 1(1):1-24, 2011. [doi]

MinIR, a Minimalistic Intermediate RepresentationJulien Le Guen, Christophe Guillon, Fabrice Rastello. WIR 2011: 5-12

Model Checking Recursive Programs with Numeric Data TypesMatthew Hague, Anthony Widjaja Lin. cav 2011: 743-759 [doi]

Declaratively Programming the Mobile Web with MoblZef Hemel, Eelco Visser. OOPSLA 2011: 695-712 [doi]

Programming the Mobile Web with MoblZef Hemel, Eelco Visser. Technical Report TUD-SERG-2011-01, 2011. [doi]

RLSRunner: Linking Rascal with K for Program AnalysisHills, Mark, Klint, P. , Jurgen J. Vinju. In Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011). 2011:

Statically Safe Program Generation with SafeGenShan Shan Huang, David Zook, Yannis Smaragdakis. SCP, 76(5):376-391, May 2011. [doi]

Investigating cognitive structures of object oriented programmingPeter Hubwieser, Andreas Mühling. iticse 2011: 377 [doi]

Best practices in iPhone programming: Model-view-controller architecture - Carousel component developmentTabacu Iulia-Maria, Horia Ciocarlie. eurocon 2011: 1-4 [doi]

An Approach for Dynamic Optimization of Prevention Program Implementation in Stochastic EnvironmentsYuncheol Kang, Vittal Prabhu. sbp 2011: 260-267 [doi]

Interactive Disambiguation of Meta Programs with Concrete Object SyntaxLennart C. L. Kats, Karl Trygve Kalleberg, Eelco Visser. SLE 2010:

Building Blocks for Language WorkbenchesLennart C. L. Kats. PhD thesis, Delft University of Technology, 2011.

Program Phase-Aware Dynamic Voltage Scaling Under Variable Computational Workload and Memory Stall EnvironmentJungsoo Kim, Sungjoo Yoo, Chong-Min Kyung. tcad, 30(1):110-123, 2011. [doi]

The Rascal TutorPaul Klint, Tijs van der Storm, Jurgen J. Vinju. Centrum Wiskunde & Informatica, first, october 2011.

Declaratively Defining Domain-Specific Language DebuggersRicky T. Lindeman, Lennart C. L. Kats, Eelco Visser. GPCE 2011: 127-136 [doi]

Logic Java: Combining Object-Oriented and Logic ProgrammingTim A. Majchrzak, Herbert Kuchen. wflp 2011: 122-137 [doi]

Debugging in domain-specific modellingMannadiar, Raphael, Vangheluwe, Hans. In Proceedings of the Third international conference on Software language engineering. 2011: 276-285

A fuzzy logic model for predicting the development effort of short scale programs based upon two independent variablesCuauhtémoc López Martín. asc, 11(1):724-732, 2011. [doi]

An automatic trace based performance evaluation model building for parallel distributed systemsAhmad Mizan, Greg Franks. In Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering. 2011: [doi]

Program Sketching via CTL* Model CheckingAndreas Morgenstern, Klaus Schneider. spin 2011: 126-143 [doi]

Convex programming based robust localization in NLOS prone cluttered environmentsSarfraz Nawaz, Niki Trigoni. ipsn 2011: 318-329 [doi]

Dynamic environments can speed up evolution with genetic programmingMichael O Neill, Miguel Nicolau, Anthony Brabazon. gecco 2011: 191-192 [doi]

VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering TechnologyJohannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl. lpnmr 2011: 382-387 [doi]

Tool Demonstration: DrHJ - A Lightweight Pedagogic IDE for Habanero JavaJarred Payne, Vincent Cavé, Raghavan Raman, Mathias Ricken, Robert Cartwright, Vivek Sarkar. 2011:

A stream-computing extension to OpenMPAntoniu Pop, Albert Cohen. In Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers. 2011: 5-14 [doi]

Using a Learner- and Teacher-Friendly Environment for Turing Machine Programming and TestingRein Prank, Mart Anton. ticttl 2011: 198-206 [doi]

Environment programming in multi-agent systems: an artifact-based perspectiveAlessandro Ricci, Michele Piunti, Mirko Viroli. AAMAS, 23(2):158-192, 2011. [doi]

A Framework for Testing Concurrent ProgramsMathias Ricken. PhD thesis, Rice University, April 2011.

Automatic Detection of Feature Interactions using the Java Modeling Language: An Experience ReportScholz, Wolfgang, Thomas Thüm, Sven Apel, Christian Lengauer. In Proceedings of the International SPLC Workshop Feature-Oriented Software Development (FOSD). 2011:

More than the usual suspects: the physical self and other resources for learning to program using a 3D avatar environmentKate Starbird, Leysia Palen. iconference 2011: 614-621 [doi]

A self-replicating programmable constructor in a kinematic simulation environmentWilliam M. Stevens. robotica, 29(1):153-176, 2011. [doi]

A programming model for BSP with partitioned synchronisationAlan Stewart. fac, 23(4):421-432, 2011. [doi]

The F# Asynchronous Programming ModelDon Syme, Tomas Petricek, Dmitry Lomov. padl 2011: 175-189 [doi]

Development of a fuzzy goal programming model for optimization of lead time and cost in an overlapped product development project using a Gaussian Adaptive Particle Swarm Optimization-based approachSatish K. Tyagi, Kai Yang, Annu Tyagi, Suren N. Dwivedi. eaai, 24(5):866-879, 2011. [doi]

Rascal: From Algebraic Specification to Meta-ProgrammingJeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju. In Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering (AMMSE), Zurich, Switzerland, June 30, 2011. 2011: 15-32

Whole-Array SSA: An Intermediate Representation of Memory for Trading-Off Precision against ComplexityHans Vandierendonck, Koen De Bosschere. WIR 2011: 69-76

From Programming to Modeling - and Back AgainMarkus Völter. IEEE Software, , 2011.

Product Line Engineering using Domain-Specific LanguagesMarkus Völter, Eelco Visser. SPLC 2011: 70-79 [doi]

A Programming Language Approach to Internet-Based Virtual Computing EnvironmentJi Wang, Rui Shen, Huaimin Wang. jcst, 26(4):600-615, 2011. [doi]

An Internet-Based Scientific Programming EnvironmentMichael Weeks. DICTAP 2011: 1-12 [doi]

Location Types for Safe Distributed Object-Oriented ProgrammingYannick Welsch, Jan Schäfer. TOOLS 2011: 194-210 [doi]

Basic Object Oriented Genetic ProgrammingTony White, Jinfei Fan, Franz Oppacher. ieaaie 2011: 59-68 [doi]

Live Programming Learning Objects on CloudBin Wu, Kai Qian, Prabir Bhattacharya, Minzhe Guo, Wanjun Hu. icalt 2011: 362-363 [doi]

WeScheme: the browser is your programming environmentDanny Yoo, Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler. iticse 2011: 163-167 [doi]

Locating faults using multiple spectra-specific modelsKai Yu, Mengxiang Lin, Qing Gao, Hui Zhang, Xiangyu Zhang. SAC 2011: 1404-1410 [doi]

Exploring flow in novice programming environmentsMark Zarb, Janet Hughes. iticse 2011: 394 [doi]

Combined static and dynamic automated test generationSai Zhang, David Saff, Yingyi Bu, Michael D. Ernst. ISSTA 2011: 353-363 [doi]

The Expected Value Model of Multiobjective Programming and its Solution Method Based on Bifuzzy EnvironmentMingfa Zheng, Bingjie Li, Guangxing Kou. jcp, 6(9):1942-1948, 2011. [doi]

2010

Testing coupling relationships in object-oriented programsRoger T. Alexander, Jeff Offutt, Andreas Stefik. stvr, 20(4):291-327, 2010. [doi]

Detecting and repairing anomalous evolutions in noisy environments - Logic programming formalization and complexity resultsFabrizio Angiulli, Gianluigi Greco, Luigi Palopoli. AMAI, 60(3-4):179-228, 2010. [doi]

A graph coloring approach to slicing of object-oriented programsS. S. Barpanda, B. N. Biswal, D. Mohapatra. icwet 2010: 713-716 [doi]

Gender differences and programming environments: across programming populationsMargaret M. Burnett, Scott D. Fleming, Shamsi Iqbal, Gina Venolia, Vidya Rajaram, Umer Farooq, Valentina Grigoreanu, Mary Czerwinski. esem 2010: [doi]

Distributed Object-Oriented Programming with RFID TechnologyAndoni Lombide Carreton, Kevin Pinte, Wolfgang De Meuter. dais 2010: 56-69 [doi]

Abstraction of Object Graphs in Program VerificationYifeng Chen, Jeff W. Sanders. mpc 2010: 80-99 [doi]

Inter-deriving semantic artifacts for object-oriented programmingOlivier Danvy, Jacob Johannsen. jcss, 76(5):302-323, 2010. [doi]

RGP: an open source genetic programming system for the R environmentOliver Flasch, Olaf Mersmann, Thomas Bartz-Beielstein. gecco 2010: 2071-2072 [doi]

Improving quality of prediction in highly dynamic environments using approximate dynamic programmingRajesh Ganesan, Poornima Balakrishna, Lance Sherry. qre, 26(7):717-732, 2010. [doi]

Modular session types for distributed object-oriented programmingSimon J. Gay, Vasco Thudichum Vasconcelos, AntÃ³nio Ravara, Nils Gesbert, Alexandre Z. Caldeira. POPL 2010: 299-312 [doi]

Minding the (semantic) gap: engineering programming language theoryArjun Guha, Shriram Krishnamurthi. In Proceedings of the FSE/SDP workshop on Future of software engineering research. 2010: 155-156 [doi]

Challenges and Future Directions of Software Technology: The Need for Explicit Programming EnvironmentsJohn L. Gustafson. compsac 2010: 8-9 [doi]

The case for end-user programming of ubiquitous computing environmentsSeth Holloway, Christine Julien. FSE 2010: 167-172 [doi]

Research on Object Programming MethodologyShi-chang Hu, Jian Yu. cason 2010: 152-155 [doi]

The Study of Plagiarism Detection for Object-Oriented Programming LanguageJong-Yih Kuo, Wei-Ting Wang. iccci 2010: 376-386 [doi]

Applying fuzzy goal programming to project management decisions with multiple goals in uncertain environmentsTien-Fu Liang. eswa, 37(12):8499-8507, 2010. [doi]

Multi-Objective Genetic Programming for object detectionThomas Liddle, Mark Johnston, Mengjie Zhang. cec 2010: 1-8 [doi]

Introduction to Automatic Differentiation and MATLAB Object-Oriented ProgrammingRichard D. Neidinger. siamrev, 52(3):545-563, 2010. [doi]

Recurring bug fixes in object-oriented programsTung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen. ICSE 2010: 315-324 [doi]

CodePad: interactive spaces for maintaining concentration in programming environmentsChris Parnin, Carsten Görg, Spencer Rugaber. softvis 2010: 15-24 [doi]

Programming Open Systems with Agents, Environments and OrganizationsMichele Piunti, Alessandro Ricci, Olivier Boissier, Jomi Fred Hübner. woa 2010: [doi]

Current State Model for Easy Reconfiguration of Robot Systems and Offline-Programming-EnvironmentsGunther Reinhart, Stefan Krug. isr 2010: 1-8 [doi]

Special Issue: Advanced Scheduling Strategies and Grid Programming EnvironmentsBruno Schulze, Geoffrey Fox. concurrency, 22(3):233-240, 2010. [doi]

On complementary principles of object-oriented constraint programmingVitaly Semenov, K. V. Dragalov, D. V. Ilyin, Sergei Morozov, O. V. Sidyaka. pcs, 36(5):264-275, 2010. [doi]

A Refinement Methodology for Object-Oriented ProgramsAsma Tafat, Sylvain Boulmé, Claude Marché. foveoos 2011: 153-167 [doi]

An iterative Mixed Integer Linear Programming Approach to pursuit evasion problems in polygonal environmentsJohan Thunberg, Petter Ögren. icra 2010: 5498-5503 [doi]

Object-oriented stream programming using aspectsMingliang Wang, Manish Parashar. ipps 2010: 1-11 [doi]

Proceedings of the 15:::th::: international workshop on high-level parallel programming models and supportive environmentsFelix Wolf. ipps 2010: 1-2 [doi]

PreviousNext