ArchJava is general-purpose language or system that verifies that a program conforms to an architecture in a strict technical sense known as communication integrity. It includes the standard language features such as objects/function pointers and shared mutable references.

ArchJava is an extension to Java that seamlessly unifies software architecture with implementation, using a type system to ensure that the implementation conforms to architectural constraints. It is also developed as a plug-in for the Eclipse platform that implements an integrated development environment for ArchJava.