NDLI: Maya: multiple-dispatch syntax extension in Java

Please wait, while we are loading the content...

Flow-sensitive type qualifiers

Fast copy coalescing and live-range identification

ESP: path-sensitive program verification in polynomial time

Profile-guided code compression

A parallel, incremental and concurrent GC for servers

A compiler approach to fast hardware design space exploration in FPGA-based systems

Dynamic hot data stream prefetching for general-purpose programs

Extended static checking for Java

Maya: multiple-dispatch syntax extension in Java

Denali: a goal-directed superoptimizer

Adoption and focus: practical linear types for imperative programming

Preference-directed graph coloring

A system and language for building system-specific, static analyses

Profile-directed optimization of event-based programs

Combining region inference and garbage collection

Space-time trade-off optimization for a class of electronic structure calculations

Efficient discovery of regular stride patterns in irregular programs and its use in compiler prefetching

Using data groups to specify and check side effects

Region-based memory management in cyclone

The embedded machine: predictable, portable real-time code

A sparse algorithm for predicated global value numbering

Deriving specialized program analyses for certifying component-client conformance

Post-pass binary adaptation for software-based speculative precomputation

Beltway: getting around garbage collection gridlock

Effective sign extension elimination

Static load classification for improving the value predictability of data-cache misses

Efficient and precise datarace detection for multithreaded object-oriented programs

MaJIC: compiling MATLAB for speed and responsiveness

Maya: multiple-dispatch syntax extension in Java

Content Provider	ACM Digital Library
Author	Baker, Jason Hsieh, Wilson C.
Abstract	We have designed and implemented Maya, a version of Java that allows programmers to extend and reinterpret its syntax. Maya generalizes macro systems by treating grammar productions as generic functions, and semantic actions on productions as multimethods on the corresponding generic functions. Programmers can write new generic functions (i.e., grammar productions) and new multimethods (i.e., semantic actions), through which they can extend the grammar of the language and change the semantics of its syntactic constructs, respectively. Maya's multimethods are compile-time metaprograms that transform abstract syntax: they execute at program compile-time, because they are semantic actions executed by the parser. Maya's multimethods can be dispatched on the syntactic structure of the input, as well as the static, source-level types of expressions in the input. In this paper we describe what Maya can do and how it works. We describe how its novel parsing techniques work and how Maya can statically detect certain kinds of errors, such as code that generates references to free variables. Finally, to demonstrate Maya's expressiveness, we describe how Maya can be used to implement the MultiJava language, which was described by Clifton et al. at OOPSLA 2000.
Starting Page	270
Ending Page	281
Page Count	12
File Format	PDF
ISBN	1581134630
DOI	10.1145/512529.512562
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2002-06-17
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Java Metaprogramming Generative programming Macros
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Maya:multiple-dispatch syntax extension in Java

Maya: Multiple-Dispatch Syntax Extension in Java (2001)

ABSTRACT Maya: Multiple-Dispatch Syntax Extension in Java

Maya: Multiple-Dispatch Syntax Extension in Java (2002)

Backstage Java: making a difference in metaprogramming

Generative metaprogramming

Demonstration of factory- a java extension for generative programming.

The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier

Scala macros: let our powers combine!: on how rich syntax and static types work with metaprogramming

Maya: multiple-dispatch syntax extension in Java

Similar Documents

Maya:multiple-dispatch syntax extension in Java

Maya: Multiple-Dispatch Syntax Extension in Java (2001)

ABSTRACT Maya: Multiple-Dispatch Syntax Extension in Java

Maya: Multiple-Dispatch Syntax Extension in Java (2002)

Backstage Java: making a difference in metaprogramming

Generative metaprogramming

Demonstration of factory- a java extension for generative programming.

The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier

Scala macros: let our powers combine!: on how rich syntax and static types work with metaprogramming

Maya: multiple-dispatch syntax extension in Java