A Pattern Enforcing Compiler (PEC) for Java: Using the compiler

Howard C. Lovatt; Anthony M. Sloane; Dominic R. Verity

A Pattern Enforcing Compiler (PEC) for Java: Using the compiler

Howard C. Lovatt^*, Anthony M. Sloane, Dominic R. Verity

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

6 Citations (Scopus)

Abstract

A PEC is a Pattern Enforcing Compiler, which is like a conventional compiler only extended to include the extra checks needed to enforce design patterns. PECs are currently a research project and the PEC written is targeted at the Java programming language. This paper: Describes the PEC Describes how to use the PEC Demonstrates how the PEC combines static testing, dynamic testing (unit testing), and code generation synergistically into one utility Shows that the user of the PEC can write their own design patterns and have the compiler enforce them The PEC is believed to be unique in statically testing, dynamically testing, generating code and being user extendable. The PEC is stable enough for production code and is available for free download under the Lesser GNU General Public License (Lovatt 2004). The PEC makes extensive use of reflection (runtime type identification); both when testing that a class conforms to pattern and also to allow the compiler to be user extendable.

Original language	English
Title of host publication	Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling
Editors	Sven Hartmann, Markus Stumptner
Place of Publication	Sydney, NSW
Publisher	Australian Computer Society
Pages	69-78
Number of pages	10
Volume	43
ISBN (Print)	1920682252, 9781920682255
Publication status	Published - 2005
Event	2nd Asia-Pacific Conference on Conceptual Modelling, APCCM - 2005 - Newcastle, Australia Duration: 30 Jan 2005 → 4 Feb 2005

Other

Other	2nd Asia-Pacific Conference on Conceptual Modelling, APCCM - 2005
Country/Territory	Australia
City	Newcastle
Period	30/01/05 → 4/02/05

Keywords

Compilers
Design patterns
Dynamic checking
Extendable compiler
Pattern Enforcing Compiler
PEC
Static checking
Unit testing

Access to Document

http://dl.acm.org/citation.cfm?id=1082285&preflayout=flat#source

Cite this

@inproceedings{0f8ae9a0eb12443da42973eea1a05744,

title = "A Pattern Enforcing Compiler (PEC) for Java: Using the compiler",

abstract = "A PEC is a Pattern Enforcing Compiler, which is like a conventional compiler only extended to include the extra checks needed to enforce design patterns. PECs are currently a research project and the PEC written is targeted at the Java programming language. This paper: Describes the PEC Describes how to use the PEC Demonstrates how the PEC combines static testing, dynamic testing (unit testing), and code generation synergistically into one utility Shows that the user of the PEC can write their own design patterns and have the compiler enforce them The PEC is believed to be unique in statically testing, dynamically testing, generating code and being user extendable. The PEC is stable enough for production code and is available for free download under the Lesser GNU General Public License (Lovatt 2004). The PEC makes extensive use of reflection (runtime type identification); both when testing that a class conforms to pattern and also to allow the compiler to be user extendable.",

keywords = "Compilers, Design patterns, Dynamic checking, Extendable compiler, Pattern Enforcing Compiler, PEC, Static checking, Unit testing",

author = "Lovatt, {Howard C.} and Sloane, {Anthony M.} and Verity, {Dominic R.}",

year = "2005",

language = "English",

isbn = "1920682252",

volume = "43",

pages = "69--78",

editor = "Sven Hartmann and Markus Stumptner",

booktitle = "Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling",

publisher = "Australian Computer Society",

address = "Australia",

note = "2nd Asia-Pacific Conference on Conceptual Modelling, APCCM - 2005 ; Conference date: 30-01-2005 Through 04-02-2005",

}

Lovatt, HC, Sloane, AM & Verity, DR 2005, A Pattern Enforcing Compiler (PEC) for Java: Using the compiler. in S Hartmann & M Stumptner (eds), Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling. vol. 43, Australian Computer Society, Sydney, NSW, pp. 69-78, 2nd Asia-Pacific Conference on Conceptual Modelling, APCCM - 2005, Newcastle, New South Wales, Australia, 30/01/05. <http://dl.acm.org/citation.cfm?id=1082285&preflayout=flat#source>

A Pattern Enforcing Compiler (PEC) for Java: Using the compiler. / Lovatt, Howard C.; Sloane, Anthony M.; Verity, Dominic R.
Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling. ed. / Sven Hartmann; Markus Stumptner. Vol. 43 Sydney, NSW: Australian Computer Society, 2005. p. 69-78.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - A Pattern Enforcing Compiler (PEC) for Java

T2 - 2nd Asia-Pacific Conference on Conceptual Modelling, APCCM - 2005

AU - Lovatt, Howard C.

AU - Sloane, Anthony M.

AU - Verity, Dominic R.

PY - 2005

Y1 - 2005

N2 - A PEC is a Pattern Enforcing Compiler, which is like a conventional compiler only extended to include the extra checks needed to enforce design patterns. PECs are currently a research project and the PEC written is targeted at the Java programming language. This paper: Describes the PEC Describes how to use the PEC Demonstrates how the PEC combines static testing, dynamic testing (unit testing), and code generation synergistically into one utility Shows that the user of the PEC can write their own design patterns and have the compiler enforce them The PEC is believed to be unique in statically testing, dynamically testing, generating code and being user extendable. The PEC is stable enough for production code and is available for free download under the Lesser GNU General Public License (Lovatt 2004). The PEC makes extensive use of reflection (runtime type identification); both when testing that a class conforms to pattern and also to allow the compiler to be user extendable.

AB - A PEC is a Pattern Enforcing Compiler, which is like a conventional compiler only extended to include the extra checks needed to enforce design patterns. PECs are currently a research project and the PEC written is targeted at the Java programming language. This paper: Describes the PEC Describes how to use the PEC Demonstrates how the PEC combines static testing, dynamic testing (unit testing), and code generation synergistically into one utility Shows that the user of the PEC can write their own design patterns and have the compiler enforce them The PEC is believed to be unique in statically testing, dynamically testing, generating code and being user extendable. The PEC is stable enough for production code and is available for free download under the Lesser GNU General Public License (Lovatt 2004). The PEC makes extensive use of reflection (runtime type identification); both when testing that a class conforms to pattern and also to allow the compiler to be user extendable.

KW - Compilers

KW - Design patterns

KW - Dynamic checking

KW - Extendable compiler

KW - Pattern Enforcing Compiler

KW - PEC

KW - Static checking

KW - Unit testing

UR - http://www.scopus.com/inward/record.url?scp=84863636594&partnerID=8YFLogxK

M3 - Conference proceeding contribution

AN - SCOPUS:84863636594

SN - 1920682252

SN - 9781920682255

VL - 43

SP - 69

EP - 78

BT - Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling

A2 - Hartmann, Sven

A2 - Stumptner, Markus

PB - Australian Computer Society

CY - Sydney, NSW

Y2 - 30 January 2005 through 4 February 2005

ER -

A Pattern Enforcing Compiler (PEC) for Java: Using the compiler

Abstract

Other

Keywords

Access to Document

Other files and links

Fingerprint

Cite this