Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
The inside story on shared libraries and dynamic loading
Computing in Science and Engineering
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
An Embedded Error Recovery and Debugging Mechanism for Scripting Language Extensions
Proceedings of the General Track: 2002 USENIX Annual Technical Conference
Algebraic and coalgebraic methods in the mathematics of program construction
A flexible parsing engine for Lindenmayer systems
Journal of Computing Sciences in Colleges
Static analysis to support the evolution of exception structure in object-oriented systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Approach to Agent-Based Service Composition and Its Application to Mobile Business Processes
IEEE Transactions on Mobile Computing
Encapsulating concurrency with Early-Reply
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Testing of java web services for robustness
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Introducing practical applications into a computational theory class
Journal of Computing Sciences in Colleges
Optimizing disk storage to support statistical analysis operations
Decision Support Systems
Robustness Testing of Java Server Applications
IEEE Transactions on Software Engineering
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
An incremental algorithm for DLO quantifier elimination via constraint propagation
Artificial Intelligence
Journal of Software Maintenance and Evolution: Research and Practice - Source Code Analysis and Manipulation (SCAM 2006)
High-level problems in teaching undergraduate programming languages
ACM SIGPLAN Notices
A discussion on security typing and measurement for SOA
ACM SIGSOFT Software Engineering Notes
On understanding data abstraction, revisited
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
Memory safety for low-level software/hardware interactions
SSYM'09 Proceedings of the 18th conference on USENIX security symposium
Hi-index | 0.00 |