Efficient and language-independent mobile programs
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Adding type parameterization to the Java language
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
IEEE Transactions on Software Engineering
IEEE Transactions on Parallel and Distributed Systems
Using Java reflection to automate extension language parsing
Proceedings of the 2nd conference on Domain-specific languages
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Parametric polymorphism in Java: an efficient implementation for parametric methods
Proceedings of the 2001 ACM symposium on Applied computing
Functional programming in Java
Journal of Computing Sciences in Colleges
On defining the service provided by TCP
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Modeling, querying and reasoning about OLAP databases: a functional approach
Proceedings of the 8th ACM international workshop on Data warehousing and OLAP
Coalgebraic minimization of HD-automata for the π-calculus using polymorphic types
Theoretical Computer Science - Formal methods for components and objects
Programming language support for digitized images or, the monsters in the closet
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Modelling personnel within a defence logistics maintenance process
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
| Hi-index | 0.00 |