ACM SIGPLAN Notices
Aspects of OBERON suitable for graphics applications
ACM SIGPLAN Notices
Object-oriented programming through type extension in Ada 9X
ACM SIGAda Ada Letters
A comparison of module constructs in programming languages
ACM SIGPLAN Notices
The rewards of generating true 32-bit code
ACM SIGPLAN Notices
Another defence of enumerated types
ACM SIGPLAN Notices
Recollections about the development of Pascal
HOPL-II The second ACM SIGPLAN conference on History of programming languages
On the type extensions of Oberon-2
ACM SIGPLAN Notices
Toward a method of object-oriented concurrent programming
Communications of the ACM
Filtering import: a basic mechanism for reusability
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
ACM SIGPLAN Notices
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Defining context-dependent syntax without using contexts
ACM Transactions on Programming Languages and Systems (TOPLAS)
Terminable statements and destructive computation
ACM SIGPLAN Notices
Umbriel—imperative programming for unsophisticated students
ACM SIGCSE Bulletin
Communications of the ACM
A Tree-Based Alternative to Java Byte-Codes
International Journal of Parallel Programming
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Dependency analysis for Standard ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automated data-member layout of heap objects to improve memory-hierarchy performance
ACM Transactions on Programming Languages and Systems (TOPLAS)
Integrating object-oriented programming and protected objects in Ada 95
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming without enumerations in Oberon
ACM SIGPLAN Notices
Orthogonal type extensions and reductions
ACM SIGPLAN Notices
Integrating object-oriented programming and protected objects in Ada 95
ACM SIGAda Ada Letters
Soundness of data refinement for a higher-order imperative language
Theoretical Computer Science
Data abstraction and information hiding
ACM Transactions on Programming Languages and Systems (TOPLAS)
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Enhanced Control Flow Graphs in Montages
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Embedded Systems and Real-Time Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Extendable Ground-to-Air Communication Architecture for CoDySa
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Programming methodology
Continuous program optimization: A case study
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software pioneers
Improving availability with recursive microreboots: a soft-state system case study
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Recollections about the development of Pascal
History of programming languages---II
Proceedings of the 2005 ACM symposium on Applied computing
Supporting software composition at the programming language level
Science of Computer Programming - Special issue on new software composition concepts
Producing the left parse during bottom-up parsing
Information Processing Letters
Abstraction preservation and subtyping in distributed languages
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
A programming language with natural persistence
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Proceedings of the third ACM SIGPLAN conference on History of programming languages
A high-performance operating system for structured concurrent programs
Proceedings of the 4th workshop on Programming languages and operating systems
Perfect hashing as an almost perfect subtype test
ACM Transactions on Programming Languages and Systems (TOPLAS)
Producing the left parse during bottom-up parsing
Information Processing Letters
Persistent Oberon: a programming language with integrated persistence
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Metamodeling semantics of multiple inheritance
Science of Computer Programming
Oberon script: a lightweight compiler and runtime system for the web
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
A component language for structured parallel programming
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Teaching: people to people - about people a plea for the historic and human view
ISSEP'05 Proceedings of the 2005 Informatics in Secondary Schools - Evolution and Perspectives international conference on From Computer Literacy to Informatics Fundamentals
A proposal for records in event-b
FM'06 Proceedings of the 14th international conference on Formal Methods
Hi-index | 0.03 |