Tal Cohen
Research Areas
Authored Publications
Google Publications
Other Publications
Sort By
Guarded Program Transformations Using JTL
Joseph (Yossi) Gil
Itay Maman
TOOLS EUROPE 2008 (LNBIP 11), Springer-Verlag, Berlin, pp. 100-120
Preview abstract
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free technique of using the paradigm for the general task of program transformation. Our technique offers a variety of applications, such as implementing generic structures (without erasure) in JAVA, a Lint-like program checker, and more. By allowing the transformation target to be a different language than the source (program translation), we show how the language can be employed for tasks like the generation of database schemas or XML DTDs that match JAVA classes.
The technique is an extension of JTL (Java Tools Language), which is a high-level abstraction over DATALOG. We discuss the JTL-to-DATALOG compilation process, and how the program transformation extension can be added to JTL without deviating from the logic paradigm, and specifically without introducing side-effects to logic programs.
View details
Three Approaches to Object Evolution
Yossi Gil
7th International Conference on the Principles and Practice of Programming in Java, ACM International Proceedings Series (2009)
Better Construction with Factories
Applying Aspect-Oriented Software Development to Middleware Frameworks
Ph.D. Thesis, The Technion -- Israel Institute of Technology (2007)
JTL and the Annoying Subtleties of Precise μ-Pattern Definitions
Joseph (Yossi) Gil
Itay Maman
1st International Workshop on Design Patterns Detection for Reverse Engineering (DPD4RE/WCRE) (2006)
Shakeins: Non-Intrusive Aspects for Middleware Frameworks
Joseph (Yossi) Gil
Transactions on Aspect-Oriented Software Development, vol. II (Springer LNCS volume 4242) (2006)
JTL - the Java Tools Language
Joseph (Yossi) Gil
Itay Maman
ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2006), Portland, Oregon, USA
AspectJ2EE = AOP + J2EE
The Delegation-Managed Persistence Entity Bean: A composite entity bean for a new generation
Java Developer's Journal (2004)
Towards a Standard Family of Languages for Matching Patterns in Source Code
Uri Dekel
Sara Porat
Proceedings of IEEE International Conference on Software Science, Technology and Engineering (SwSTE '03) (2003)
Java Q&A: How Do I Correctly Implement the equals() Method?
Dr. Dobb's Journal (2002)
Self-Calibration of Metrics of Java Methods
Joseph (Yossi) Gil
Proceedings of Technology of Object-Oriented Languages and Systems 37 (TOOLS Pacific 2000)