J%: Integrating Domain-Specific Languages with Java

J% (J-mod), is a Java language extension that supports integration with Domain-Specific Languages (DSLs). The integration is realized through an architecture that permits external modules to support DSLs. The DSL statements can be syntactically checked at compile-time. An additional facility allows the static type checking of Java variables that appear within DSL code. To support this process each DSL module comes as a library that is used both at compile time and during program execution.

[1]  Jim Alves-Foss,et al.  Formal Syntax and Semantics of Java , 2002, Lecture Notes in Computer Science.

[2]  Vivek Sarkar,et al.  XJ: facilitating XML processing in Java , 2005, WWW '05.

[3]  John Placer,et al.  Multiparadigm research: a new direction of language design , 1991, SIGP.

[4]  Gavin M. Bierman,et al.  The Essence of Data Access in Comega , 2005, European Conference on Object-Oriented Programming.

[5]  Premkumar T. Devanbu,et al.  Static checking of dynamically generated queries in database applications , 2004, Proceedings. 26th International Conference on Software Engineering.

[6]  Christian Kirkegaard,et al.  Static analysis of XML transformations in Java , 2003, IEEE Transactions on Software Engineering.

[7]  Jan Vitek,et al.  Matchete: Paths through the Pattern Matching Jungle , 2008, PADL.

[8]  Arie van Deursen,et al.  Little languages: little maintenance , 1998 .

[9]  Wolfram Schulte,et al.  The essence of data access in Cω: the power is in the dot! , 2005 .

[10]  Robert Grimm,et al.  Jeannie: granting java native interface developers their wishes , 2007, OOPSLA.

[11]  Aske Simon Christensen,et al.  Extending Java for High-Level Web Service Construction , 2002 .

[12]  Don Syme,et al.  Proving Java Type Soundness , 1999, Formal Syntax and Semantics of Java.

[13]  R.A. McClure,et al.  SQL DOM: compile time checking of dynamic SQL statements , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[14]  Frank Yellin,et al.  The Java Virtual Machine Specification , 1996 .

[15]  Eelco Visser,et al.  MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT , 2005, GTTSE.

[16]  Sarfraz Khurshid,et al.  Is the Java Type System Sound? , 1999, Theory Pract. Object Syst..

[17]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[18]  Larry Wall,et al.  Programming Perl , 1991 .

[19]  Robert Bruce Findler,et al.  Operational semantics for multi-language programs , 2007, POPL '07.

[20]  Pamela Zave,et al.  A compositional approach to multiparadigm programming , 1989, IEEE Software.

[21]  Jon Louis Bentley,et al.  Programming pearls: little languages , 1986, CACM.

[22]  James Gosling,et al.  The Java Language Specification, 3rd Edition , 2005 .

[23]  Guy L. Steele,et al.  Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley)) , 2005 .

[24]  Peter Thiemann,et al.  Programmable Type Systems for Domain Specific Languages , 2002, WFLP.

[25]  J. Gregory Morrisett,et al.  Ilea: inter-language analysis across java and c , 2007, OOPSLA.

[26]  Daan Leijen,et al.  Domain specific embedded compilers , 1999, DSL '99.