language design - researchr tag

researchr

You are not signed in
Sign in
Sign up

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]

Declarative Specification of Template-Based Textual EditorsTobi Vollebregt. Master's thesis, Delft University of Technology, Delft, The Netherlands, April 2012. [doi]

Declarative Specification of Template-Based Textual EditorsTobi Vollebregt, Lennart C. L. Kats, Eelco Visser. LDTA 2012: [doi]

2011

Generating sample looks for geometric objects in a visual design languageOmid Banyasad, Philip T. Cox. vlc, 22(2):107-119, 2011. [doi]

Iterative Development of Consistency-Preserving Rule-Based RefactoringsBasil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese. ICMT 2011: 123-137

ABV - A Verifier for the Architecture Analysis and Design Language (AADL)Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson. iceccs 2011: 355-360 [doi]

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

From a Pattern Language to a Pattern Ontology Approach for CSCL Script DesignJonathan Chacón, Davinia Hernández Leo, Josep Blat. iccsa 2011: 547-561 [doi]

Data and Process Abstraction in PIPS Internal RepresentationFabien Coelho, Pierre Jouvelot, Corinne Ancourt, François Irigoin. WIR 2011: 77-84

A language for formal design of embedded intelligence research systemsBenjamin Dittes, Christian Goerick. ras, 59(3-4):181-193, 2011. [doi]

Model Driven Design of Agents and Multiagent Systems - DSML4MAS a Domain Specific Modelling Language for Multiagent SystemsKlaus Fischer. icaart 2011: 25-27

A Domain-Specific Language to Design Enterprise Application Integration SolutionsRafael Z. Frantz, Antonia M. Reina Quintero, Rafael Corchuelo. ijcis, 20(2):143-176, 2011. [doi]

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011Mary W. Hall, David A. Padua, editors, ACM, 2011.

A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model AnnexMyron Hecht, Alexander Lam, Chris Vogl. iceccs 2011: 361-366 [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]

Static consistency checking of web applications with WebDSLZef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser. JSC, 46(2):150-182, 2011. [doi]

Design and implementation of a student-generated virtual museum in a language curriculum to enhance collaborative multimodal meaning-makingCaroline Mei Lin Ho, Mark Evan Nelson, Wolfgang Müller-Wittig. ce, 57(1):1083-1097, 2011. [doi]

The organization of interaction design pattern languages alongside the design processChristian Hübscher, Stefan L. Pauwels, Sandra P. Roth, Javier A. Bargas-Avila, Klaus Opwis. iwc, 23(3):189-201, 2011. [doi]

Integrated Language Definition Testing. Enabling Test-Driven Language DevelopmentLennart C. L. Kats, Rob Vermaas, Eelco Visser. OOPSLA 2011: 139-154 [doi]

C modulo DSL: a pragmatic approach to SDRPjotr Kourzanov, Henk Sips. In ITSLE 2011. 2011:

C modulo DSL: a pragmatic approach to SDRPjotr Kourzanov, Henk J. Sips. Internet, July 2011.

Optimization of Visitor Performance by Reflection-Based AnalysisMarkus Lepper, Baltasar Trancón-y-Widemann. ICMT 2011: 15-30

The design of kodu: a tiny visual programming language for children on the Xbox 360Matthew MacLaurin. POPL 2011: 241-246 [doi]

Close Engagements with Artificial Companions: Key Social, Psychological, Ethical, and Design Issues Yorick Wilks (editor) (University of Oxford) Amsterdam: John Benjamins Publishing Company (Natural Language Processing series, edited by Ruslan Mitkov, volJudith Masthoff. coling, 37(2):399-402, 2011. [doi]

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]

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:

The theory and practice of modern modeling language design for model-based software engineeringBran Selic. AOSD 2011: 53-54 [doi]

Languages as librariesTobin-Hochstadt, Sam, St-Amour, Vincent, Culpepper, Ryan, Flatt, Matthew, Matthias Felleisen. In Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation. 2011: 132-141 [doi]

Dimensions of DSL DesignMarkus Völter, Eelco Visser. 2011.

Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011Stephanie Weirich, Derek Dreyer, editors, ACM, 2011.

Application of Systems Modeling Language (SySML) for Cognitive Work Analysis in Systems Engineering Design ProcessWilfred H. Wells, Waldemar Karwowski, Serge N. Sala-Diakanda, Kent Williams, Tareq Z. Ahram, James A. Pharmer. jucs, 17(9):1261-1280, 2011. [doi]

Visualizing and Assessing a Compositional Approach to Service-Oriented Business Process Design Using Unified Modelling Language (UML)Latef Oladimeji Yusuf, Olusegun Folorunso, Adio T. Akinwale, I. A. Adejumobi. ccsecis, 4(3):43-59, 2011. [doi]

2010

Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced LecturesAlessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky, editors, Volume 6154 of Lecture Notes in Computer Science, Springer, 2010. [doi]

An exercise in iterative domain-specific language designMarcel Van Amstel, Mark van den Brand, Luc Engelen. iwpse 2010: 48-57 [doi]

Datalog to SQL Steven Arz, Steven Arzt. 2010.

Context Based Meaning Extraction by Means of Markov LogicImran Sarwar Bajwa. International Journal of Computer Theory and Engineering (IJCTE), 2(1), Feburary 2010.

A Domain Specific Language for Contextual DesignBalbir S. Barn, Tony Clark. HCSE 2010: 46-61 [doi]

SecPAL: Design and semantics of a decentralized authorization languageMoritz Y. Becker, Cédric Fournet, Andrew D. Gordon. jcs, 18(4):619-665, 2010. [doi]

Constructing a Semantic Business Process Modelling Language for the Banking Sector - An Evolutionary Dyadic Design Science ApproachJörg Becker, Irina Thome, Burkhard Weiß, Axel Winkelmann. emisaij, 5(1):4-25, 2010. [doi]

Integration of Natural Language Dialogues into the Conceptual Model of Storyboard DesignMarkus Berg, Antje Düsterhöft, Bernhard Thalheim. nldb 2010: 196-203 [doi]

Design of a Modelling Language for Semiotics based Agent SystemsMangtang Chan. iciso 2010: 95-102

Design and Semantics of a Query Language for Multidimensional DataIngo Claßen. adbis 2010: 551-554 [doi]

A Pattern Language Approach to the Design of a Facilitation Reporting DatabaseDouglas A. Druckenmiller, Jon Jenkins, Daniel Mittleman, Peter Bootsman. hicss 2010: 1-10 [doi]

An algebraic approach to the design of compilers for object-oriented languagesAdolfo Duran, Ana Cavalcanti, Augusto Sampaio. fac, 22(5):489-535, 2010. [doi]

A visual tool for using design patterns as pattern languagesPaloma Díaz, Ignacio Aedo, Mary Beth Rosson, John M. Carroll. avi 2010: 67-74 [doi]

Cognitive effectiveness of visual instructional design languagesKathrin Figl, Michael Derntl, Manuel Caeiro Rodríguez, Luca Botturi. vlc, 21(6):359-373, 2010. [doi]

A design pattern language for accessible web sitesDaniela Fogli, Loredana Parasiliti Provenza, Cristian Bernareggi. avi 2010: 307-310 [doi]

A real-time architecture design language for multi-rate embedded control systemsJulien Forget, Frédéric Boniol, David Lesens, Claire Pagetti. SAC 2010: 527-534 [doi]

Why Undergraduates Should Learn the Principles of Programming Languages Stephen N. Freund, Kim Bruce, Kathi Fisler, Dan Grossman, Matthew Hertz, Doug Lea, Gary T. Leavens, Andrew Meyers, Larry Snyder. SIGPLAN Education Board, June 2010.

Applying the UFO Ontology to Design an Agent-Oriented Engineering LanguageRenata S. S. Guizzardi, Giancarlo Guizzardi. adbis 2010: 190-203 [doi]

The design of SafeJML, a specification language for SCJ with support for WCET specificationGhaith Haddad, Faraz Hussain, Gary T. Leavens. jtres 2010: 155-163 [doi]

Declarative Language Design for Interactive VisualizationJeffrey Heer, Michael Bostock. tvcg, 16(6):1149-1156, 2010. [doi]

Towards a Pattern Language for the Design of Collaborative Interactive SystemsClaudia Iacob, Piero Mussio, Li Zhu, Barbara Rita Barricelli. eceasst, 31, 2010. [doi]

Design and Implementation of a Language for Web Exploring and MashupMao Ito, Mitsugu Suzuki. ACISicis 2010: 503-508 [doi]

An agile approach to language modelling and developmentAdrian Johnstone, Peter D. Mosses, Elizabeth Scott. isse, 6(1-2):145-153, 2010. [doi]

On Modeling - The language/action model of conversation: can conversation perform acts of design?Peter H. Jones. interactions, 17(1):70-75, 2010. [doi]

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010Andrew Kennedy, Nick Benton, editors, ACM, 2010.

Using language complexity to measure cognitive load for adaptive interaction designM. Asif Khawaja, Fang Chen, Nadine Marcus. IUI 2010: 333-336 [doi]

Supercompiler HOSC 1.5: homeomorphic embedding and generalization in a higher-order settingIlya Klyuchnikov. Preprint 62, 2010.

Deriving Accessible Science Books for the Blind Students of PhysicsGeorgios Kouroupetroglou, Hernisa Kacorri. AIP Conference Proceedings, 1203(1), 2010. [doi]

A Domain-Specific Modeling approach for supporting the specification of Visual Instructional Design Languages and the building of dedicated editorsPierre Laforcade. vlc, 21(6):347-358, 2010. [doi]

A Polymorphic Intermediate Verification Language: Design and Logical EncodingK. Rustan M. Leino, Philipp RÃ¼mmer. TACAS 2010: 312-327 [doi]

Suggestion of promising result types for XML keyword searchJianxin Li, Chengfei Liu, Rui Zhou, Wei Wang. edbt 2010: 561-572 [doi]

Design and Implementation of Semantic Matching Based Automatic Scoring System for C Programming LanguageJinrong Li, Wei Pan, Ren Zhang, Feiquan Chen, Shenglong Nie, Xiaoming He. edutainment 2010: 247-257 [doi]

SystemJ: A GALS language for system level designAvinash Malik, Zoran Salcic, Partha S. Roop, Alain Girault. Comp. Lang., Syst. \& Struct., 36(4):317-344, 2010. [doi]

Staking Claims: A History of Programming Language Design Claims and Evidence. A Positional Work in ProgressShane Markstrum. In Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU). 2010:

Design and Implementation of a Concurrent Logic Programming Language with Linear Logic ConstraintsThierry Martinez. ICLP 2010: 277-280 [doi]

A certified framework for compiling and executing garbage-collected languagesAndrew McCreight, Tim Chevalier, Andrew P. Tolmach. ICFP 2010: 273-284 [doi]

Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UKAdam Morawiec, Jinnie Hinderscheit, editors, ECSI, Electronic Chips & Systems design Initiative, 2010. [doi]

Kernel Engineering for Fast and Easy Design of Natural Language ApplicationsAlessandro Moschitti. COLING 2010: 1-91 [doi]

Towards the Design and Evaluation of ROILA: A Speech Recognition Friendly Artificial LanguageOmar Mubin, Christoph Bartneck, Loe M. G. Feijs. tal 2010: 250-256 [doi]

A Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming LanguagesJennifer Pandolfo, Cui Zhang. jot, 9(1):81-115, 2010. [doi]

Language Implementation Patterns: Create Your Own Domain-Specific and General Programming LanguagesTerence John Parr. The Pragmatic Bookshelf, 2010. [doi]

Building an interaction design pattern language: A case studyStefan L. Pauwels, Christian Hübscher, Javier A. Bargas-Avila, Klaus Opwis. chb, 26(3):452-463, 2010. [doi]

A Language for Biochemical Systems: Design and Formal SpecificationMichael Pedersen, Gordon D. Plotkin. TCSB, 12:77-145, 2010. [doi]

Preserving high-level semantics of parallel programming annotations through the compilation flow of optimizing compilersAntoniu Pop, Albert Cohen. In Proceedings of the 15th Workshop on Compilers for Parallel Computers (CPC'10). 2010:

Agile and Efficient Domain-Specific Languages using Multi-Stage Programming in Java MintMathias Ricken, Edwin Westbrook, Walid Taha. 2010:

Mint: A Multi-stage Extension of Java (Purdue University Computer Science Colloquia)Mathias Ricken. March 2010.

Visual instructional design languagesManuel Caeiro Rodríguez, Michael Derntl, Luca Botturi. vlc, 21(6):311-312, 2010. [doi]

Designing language-oriented programming languagesRosenan, Boaz. In SPLASH '10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion. 2010: [doi]

Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala languageLukas Rytz, Martin Odersky. SAC 2010: 2090-2095 [doi]

Conceptual Workflow for Complex Data Integration using AXMLRashed Salem, Omar Boussaid, Jerome Darmont. In International Conference on Machine and Web Intelligence (ICMWI 10), Algiers, Algeria. 2010:

Ott: Effective tool support for the working semanticistPeter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa. JFP, 20(1):71-122, 2010. [doi]

A natural-language approach to biomimetic designL. H. Shu. aiedam, 24(4):507-519, 2010. [doi]

Search results presentation and interface design: A comparative evaluation study of five web search engines in Arabic languageWissam Tawileh, Thomas Mandl, Joachim Griesbaum. isda 2010: 592-597 [doi]

An empirical characterization of stream programs and its implications for language and compiler designWilliam Thies, Saman P. Amarasinghe. IEEEpact 2010: 365-376 [doi]

On the Combination of Domain Specific Modeling LanguagesAntonio Vallecillo. In Proc. of the European Conference on Models Foundations and Applications (ECMFA 2010). 2010:

Proxies: design principles for robust object-oriented intercession APIsTom Van Cutsem, Mark Samuel Miller. In DLS '10: Proceedings of the 6th symposium on Dynamic languages. 2010: [doi]

Language extension and composition with language workbenchesMarkus Völter, Eelco Visser. OOPSLA 2010: 301-304 [doi]

The design and implementation of a holistic training model for language teacher education in a cyber face-to-face learning environmentYuping Wang, Nian-Shing Chen, Mike Levy. ce, 55(2):777-788, 2010. [doi]

The Design and Enforcement of a Rule-based Constraint Policy Language for Service CompositionWei Wei, Ting Yu. socialcom 2010: 873-880 [doi]

Mint: Java multi-stage programming using weak separabilityEdwin Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha. PLDI 2010: 400-411 [doi]

What Can the Language of Musicians Tell Us about Music Interaction Design?Katie Wilkie, Simon Holland, Paul Mulholland. comj, 34(4):34-48, 2010. [doi]

A C++ Language WorkbenchGavin Wood. January 2010.

Component-based LR parsingXiaoqing Wu, Barrett R. Bryant, Jeffrey G. Gray, Marjan Mernik. Comp. Lang., Syst. \& Struct., 36(1):16-33, 2010. [doi]

Educational Game Design for Teaching Chinese as a Foreign Language by Effective Learning Environment, Flow, MotivationYi Zhang, Liming Shan, Shixiang Li. icwl 2011: 1-10 [doi]

Design of a Suite of Visual Languages for Supply Chain SpecificationRick Zhang, John G. Hosking, John C. Grundy, Nikolay Mehandjiev, Martin Carpenter. vl 2010: 240-243 [doi]

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010Benjamin G. Zorn, Alexander Aiken, editors, ACM, 2010.

PreviousNext