QL: Object-oriented queries on relational data

P Avgustinov, O De Moor, MP Jones… - … Conference on Object …, 2016 - drops.dagstuhl.de
This paper describes QL, a language for querying complex, potentially recursive data
structures. QL compiles to Datalog and runs on a standard relational database, yet it …

A variability-aware module system

C Kästner, K Ostermann, S Erdweg - Proceedings of the ACM …, 2012 - dl.acm.org
Module systems enable a divide and conquer strategy to software development. To
implement compile-time variability in software product lines, modules can be composed in …

EventCJ: a context-oriented programming language with declarative event-based context transition

T Kamina, T Aotani, H Masuhara - Proceedings of the tenth international …, 2011 - dl.acm.org
This paper proposes EventCJ, a context-oriented programming (COP) language that can
modularly control layer activation based on user-defined events. In addition to defining …

Evidence-based programming language design: a philosophical and methodological exploration

AJ Kaijanaho - 2015 - jyx.jyu.fi
Background: Programming language design is not usually informed by empirical studies. In
other fields similar problems have inspired an evidence-based paradigm of practice. Such a …

JavaCOP: Declarative pluggable types for Java

S Markstrum, D Marino, M Esquivel, T Millstein… - ACM Transactions on …, 2010 - dl.acm.org
Pluggable types enable users to enforce multiple type systems in one programming
language. We have developed a suite of tools, called the JavaCOP framework, that allows …

Interruptible context-dependent executions: a fresh look at programming context-aware applications

E Bainomugisha, J Vallejos, C De Roover… - Proceedings of the …, 2012 - dl.acm.org
Context-aware applications provide end-users with enhanced experiences by continuously
sensing their environment and adapting their behaviour to match the current context of use …

Abstraction in technical computing

JW Bezanson - 2015 - dspace.mit.edu
Array-based programming environments are popular for scientific and technical computing.
These systems consist of built-in function libraries paired with high-level languages for …

Metadata invariants: Checking and inferring metadata coding conventions

M Song, E Tilevich - 2012 34th International Conference on …, 2012 - ieeexplore.ieee.org
As the prevailing programming model of enterprise applications is becoming more
declarative, programmers are spending an increasing amount of their time and efforts writing …

[图书][B] Pattern Matching for an object-oriented and dynamically typed programming language

F Geller, R Hirschfeld, G Bracha - 2010 - books.google.com
Pattern matching is a well-established concept in the functional programming community. It
provides the means for concisely identifying and destructuring values of interest. This …

Modularity and optimization in synergy

W Cazzola, A Shaqiri - Proceedings of the 15th International Conference …, 2016 - dl.acm.org
As with traditional software, the complexity of a programming language implementation is
faced with modularization which favors the separation of concerns, independent …