Alma-O: an imperative language that supports declarative programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extensible algebraic datatypes with defaults
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Embedded Systems and Real-Time Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
A Product Information System based on an Object-Oriented Internet Database System
WET-ICE '97 Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
Journal of Computing Sciences in Colleges
ICE™ and ICE/T™: tools to assist in compiler design and implementation
Working group reports from ITiCSE on Innovation and technology in computer science education
oops: discovering LL(1) through objects
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
A non-invasive approach to product metrics collection
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: AGILE methodologies for software production
ACM SIGGRAPH 2007 educators program
Bantam: a customizable, java-based, classroom compiler
Proceedings of the 39th SIGCSE technical symposium on Computer science education
IEEE standard 1500 compliance verification for embedded cores
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Bantam Java compiler project: experiences and extensions
Journal of Computing Sciences in Colleges
LaFA: lookahead finite automata for scalable regular expression detection
Proceedings of the 5th ACM/IEEE Symposium on Architectures for Networking and Communications Systems
LaFA: lookahead finite automata for scalable regular expression detection
Proceedings of the 5th ACM/IEEE Symposium on Architectures for Networking and Communications Systems
Information Systems Frontiers
Oberon script: a lightweight compiler and runtime system for the web
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
A framework for optimizing GCC for ARM architecture
Proceedings of the International Conference on Advances in Computing, Communications and Informatics
Scalable lookahead regular expression detection system for deep packet inspection
IEEE/ACM Transactions on Networking (TON)
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
International Journal of Information Technology and Web Engineering
| Hi-index | 0.00 |