programming languages - researchr tag

researchr

You are not signed in
Sign in
Sign up

2013

Declarative Name Binding and Scope Rules Gabriël D. P. Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser. SLE 2012: 311-331 [doi]

2012

Synthesising graphics card programs from DSLsLuke Cartey, Rune Lyngso, Oege de Moor. In Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation. 2012: 121-132 [doi]

Practical Foundations for Programming LanguagesRobert Harper. 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]

The Programming Paradigm EvolutionDevon M. Simmonds. computer, 45:93-95, 2012. [doi]

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

mbeddr: an extensible C-based programming language and IDE for embedded systemsVoelter, Markus, Ratiu, Daniel, Schaetz, Bernhard, Kolb, Bernd. In Proc. of the 3rd conf. on Systems, programming, and applications: software for humanity. 2012: 121-140 [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

Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part IILuca Aceto, Monika Henzinger, Jiri Sgall, editors, Volume 6756 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part ILuca Aceto, Monika Henzinger, Jiri Sgall, editors, Volume 6755 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Intuitive industrial robot programming through incremental multimodal language and augmented realityBatu Akan, Afshin Ameri, Baran Çürüklü, Lars Asplund. icra 2011: 3934-3939 [doi]

Permission-based programming languages: NIER trackJonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff. ICSE 2011: 828-831 [doi]

A Flexible XPath-Based Query Language Implemented with Fuzzy Logic ProgrammingJesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno. ruleml 2011: 186-193 [doi]

Clean Translation of an Imperative Reversible Programming LanguageHolger Bock Axelsen. CC 2011: 144-163 [doi]

Liquidsoap: A High-Level Programming Language for Multimedia StreamingDavid Baelde, Romain Beauxis, Samuel Mimram. sofsem 2011: 99-110 [doi]

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011Thomas Ball, Mooly Sagiv, editors, ACM, 2011.

Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. ProceedingsGilles Barthe, editor, Volume 6602 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Ambiguity Detection for Programming Language GrammarsBas Basten. PhD thesis, Universiteit van Amsterdam, December 2011.

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

Assessing programming language impact on development and maintenance: a study on c and c++Pamela Bhattacharya, Iulian Neamtiu. ICSE 2011: 171-180 [doi]

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

Programming Languages for Real-Time Applications Executing on Parallel HardwareAlan Burns. Ada-Europe 2011: 193-195 [doi]

How developers use the dynamic features of programming languages: the case of smalltalkOscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger. msr 2011: 23-32 [doi]

Representing the Language of the Causal Calculator in Answer Set ProgrammingMichael Casolary, Joohyung Lee. ICLP 2011: 51-61 [doi]

DrHJ: the cure to your multicore programming woesVincent Cavé, Jarred Payne, Raghavan Raman, Mathias Ricken, Robert Cartwright, Vivek Sarkar. In Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion. 2011: 5-6 [doi]

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

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:

SWAM: A logic-based mobile agent programming language for the Semantic WebMarco Crasso, Cristian Mateos, Alejandro Zunino, Marcelo Campo. eswa, 38(3):1723-1737, 2011. [doi]

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

Formal languages for integer programming modeling of shift scheduling problemsMarie-Claude Côté, Bernard Gendron, Claude-Guy Quimper, Louis-Martin Rousseau. constraints, 16(1):54-76, 2011. [doi]

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

SugarJ: Library-based Syntactic Language ExtensibilitySebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann. OOPSLA 2011: 391-406 [doi]

Termination Analysis of C Programs Using Compiler Intermediate LanguagesStephan Falke, Deepak Kapur, Carsten Sinz. RTA 2011: 41-50 [doi]

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, OOPSLA 2011Kathleen Fisher, Cristina Videira Lopes, editors, ACM, New York, NY, USA, October 2011.

A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming languageMichael Gabbay. JSYML, 76(2):673-699, 2011. [doi]

Developing a Language for Spoken ProgrammingBenjamin M. Gordon. AAAI 2011: [doi]

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011Rajiv Gupta, Todd C. Mowry, editors, ACM, 2011.

::::Language Implementation Patterns: Create your own Domain-Specific and General Programming Languages::::, by Terence Parr, Pragmatic Bookshelf, http: //www.pragprog.com, ISBN 9781934356456Jurriaan Hage. JFP, 21(2):215-217, 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.

Type harvesting: a practical approach to obtaining typing information in dynamic programming languagesMichael Haupt, Michael Perscheid, Robert Hirschfeld. SAC 2011: 1282-1289 [doi]

A Tamper-Resistant Programming Language SystemDennis Heimbigner. tdsc, 8(2):194-206, 2011. [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]

A Case of Visitor versus Interpreter PatternMark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju. In Proceedings of the 49th International Conference on Objects, Models, Components and Patterns. 2011:

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:

A Modified GoI Interpretation for a Linear Functional Programming Language and Its AdequacyNaohiko Hoshino. fossacs 2011: 320-334 [doi]

Special Issue on Programming Languages and SystemsZhenjiang Hu. ngc, 29(1):1-2, 2011. [doi]

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

A Sound Semantics for a Similarity-Based Logic Programming LanguagePascual Julián Iranzo, Clemente Rubio-Manzano. iwann 2011: 421-428 [doi]

Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011Ranjit Jhala, Wouter Swierstra, editors, ACM, 2011.

EventCJ: a context-oriented programming language with declarative event-based context transitionTetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara. AOSD 2011: 253-264 [doi]

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

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

On the implementation of the probabilistic logic programming language ProbLogAngelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha. tplp, 11(2-3):235-262, 2011. [doi]

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

Code Reuse with Language Oriented ProgrammingDavid H. Lorenz, Boaz Rosenan. icsr 2011: 167-182 [doi]

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

Search-based software testing and test data generation for a dynamic programming languageStefan Mairhofer, Robert Feldt, Richard Torkar. gecco 2011: 1859-1866 [doi]

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

Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming languageSteffen Mazanek, Michael Hanus. vlc, 22(1):66-89, 2011. [doi]

VDM semantics of programming languages: combinators and monadsPeter D. Mosses. fac, 23(2):221-238, 2011. [doi]

Crowdsourcing suggestions to programming problems for dynamic web development languagesDhawal Mujumdar, Manuel Kallenbach, Brandon Liu, Björn Hartmann. CHI 2011: 1525-1530 [doi]

A parallel programming framework orchestrating multiple languages and architecturesMasana Murase, Hideaki Komatsu, Kumiko Maeda, Shigeho Noda, Munehiro Doi, Ryutaro Himeno. cf 2011: 22 [doi]

Natural language in introductory programming: an experimental studyOsvaldo Luiz Oliveira, Ana María Monteiro, Norton Trevisan Roman. iticse 2011: 363 [doi]

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

Programming Languages Meet MulticoreErhard Ploedereder. Ada-Europe 2011: 189-192 [doi]

A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic ConstraintsSean Policarpio, Yan Zhang. ijsse, 2(1):22-39, 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]

Commutative set: a language extension for implicit parallel programmingPrakash Prabhu, Soumyadeep Ghosh, Yun Zhang, Nick P. Johnson, David I. August. PLDI 2011: 1-11 [doi]

Towards Programming Languages for Machine Learning and Data Mining (Extended Abstract)Luc De Raedt, Siegfried Nijssen. ismis 2011: 25-32 [doi]

From an Agent Logic to an Agent Programming Language for Partially Observable Stochastic DomainsGavin Rens. IJCAI 2011: 2842-2843 [doi]

Gramin: a system for incremental learning of programming language grammarsDiptikalyan Saha, Vishal Narula. indiaSE 2011: 185-194 [doi]

A BDI agent programming language with failure handling, declarative goals, and planningSebastian Sardiña, Lin Padgham. AAMAS, 23(1):18-70, 2011. [doi]

On the limits of visual programming languagesRobert Schaefer. sigsoft, 36(2):7-8, 2011. [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:

Refined typing to localize the impact of forced strictness on free theoremsDaniel Seidel, Janis Voigtländer. ACTA, 48(3):191-211, 2011. [doi]

Autotuning in an Array Processing Language using High-level Program TransformationsYusuke Shirota, Jun ichi Segawa, Masaya Tarui, Tatsunori Kanai. procedia, 4:2126-2135, 2011. [doi]

A language for generic programming in the largeJeremy G. Siek, Andrew Lumsdaine. SCP, 76(5):423-465, 2011. [doi]

Empirical studies on programming language stimuliAndreas Stefik, Ed Gellenbeck. sqj, 19(1):65-99, 2011. [doi]

Toward Intuitive Programming LanguagesAndreas Stefik, Susanna Siebert, Kim Slattery, Melissa Stefik. IWPC 2011: 213-214 [doi]

Programming with Infinitesimals: A While-Language for Hybrid System ModelingKohei Suenaga, Ichiro Hasuo. icalp 2011: 392-403 [doi]

Programming language support for routing in pervasive networksTomohiro Suzuki, Kevin Pinte, Tom Van Cutsem, Wolfgang De Meuter, Akinori Yonezawa. percom 2011: 226-232 [doi]

Multicore Programming in ParaSail - Parallel Specification and Implementation LanguageS. Tucker Taft. Ada-Europe 2011: 196-200 [doi]

How soccer players would do stream joinsJens Teubner, René Müller. sigmod 2011: 625-636 [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]

A survey of high-level programming languages in control systemsFernando Valles-Barajas. iajit, 8(2):178-187, 2011. [doi]

A natural language programming solution for executable papersSandor M. Veres, J. Patrik Adolfsson. procedia, 4:678-687, 2011. [doi]

SDF Disambiguation Medkit for Programming LanguagesJurgen J. Vinju. Technical Report SEN-1107, 2011. [doi]

Parallel and distributed programming extensions for mainstream languages based on pi-calculusPatrick Viry. podc 2011: 343-344 [doi]

OutsideIn(X) Modular type inference with local assumptionsDimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann. J. Funct. Program., 21(4-5):333-412, 2011.

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

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

An embedded language for programming protocol stacks in embedded systemsYan Wang, Verónica Gaspes. PEPM 2011: 63-72 [doi]

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

Collection Processing with Constraints, Monads, and FoldsRyan Wisnesky. WIR 2011: 37-44

Tactics Choice Behaviors Represented in a Programming Language in the Map Tracing ProblemsNobuhito Yamamoto, Syoko Shiroma, Tomoyuki Nishioka. hci 2011: 410-419 [doi]

A Flowchart Language for Quantum ProgrammingMingsheng Ying, Yuan Feng. TSE, 37(4):466-485, 2011. [doi]

2010

Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part IISamson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis, editors, Volume 6199 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Interpretable program specification languageF. A. Novikov, V. B. Novoseltsev. pcs, 36(1):48-57, 2010. [doi]

PreviousNext