On the type extensions of Oberon-2
ACM SIGPLAN Notices
Iteration abstraction in Sather
ACM Transactions on Programming Languages and Systems (TOPLAS)
Scene: using scenario diagrams and active text for illustrating object-oriented programs
Proceedings of the 18th international conference on Software engineering
Automatic inline allocation of objects
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
Characteristics of modern system implementation languages
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
An evaluation of automatic object inline allocation techniques
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
SIGda '96, workshop: how do we expedite the commercial use of Ada?
ACM SIGAda Ada Letters
Programming languages as operating systems (or revenge of the son of the lisp machine)
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Nested Java processes: OS structure for mobile code
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
An automatic object inlining optimization and its evaluation
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
SIGAda 99, workshop: how do we expedite the commercial use of Ada?
ACM SIGAda Ada Letters
SAFKASI: a security mechanism for language-based systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Termination in language-based systems
ACM Transactions on Information and System Security (TISSEC)
Device driver programming in a transactional DSM operating system
CRPIT '02 Proceedings of the seventh Asia-Pacific conference on Computer systems architecture
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Computer
Extensibility in the Oberon system
Nordic Journal of Computing
A Giotto-Based Helicopter Control System
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Inheritance Using Contracts & Object Composition
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems
LCTES '00 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
DSM-Communities in the World-Wide Web
DCW '00 Proceedings of the Third International Workshop on Distributed Communities on the Web
Garbage Collector Memory Accounting in Language-Based Systems
SP '03 Proceedings of the 2003 IEEE Symposium on Security and Privacy
Films as Graphical Comments in the Source Code of Programs
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
A programmable microkernel for real-time systems
Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Distributed interface bits: dynamic dialogue composition from ambient computing resources
Personal and Ubiquitous Computing
Supporting software composition at the programming language level
Science of Computer Programming - Special issue on new software composition concepts
Mondrix: memory isolation for linux using mondriaan memory protection
Proceedings of the twentieth ACM symposium on Operating systems principles
Programming monads operationally with Unimo
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Writing Solaris device drivers in Java
Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems
A secure javaTM virtual machine
SSYM'00 Proceedings of the 9th conference on USENIX Security Symposium - Volume 9
Techniques for the design of java operating systems
ATEC '00 Proceedings of the annual conference on USENIX Annual Technical Conference
XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Implicit and explicit transactions in a distributed transactional memory system
PDCN '08 Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks
Cross-language, type-safe, and transparent object sharing for co-located managed runtimes
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Package architecture optimization in software application design
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
ICA3PP'05 Proceedings of the 6th international conference on Algorithms and Architectures for Parallel Processing
Transactional cluster computing
HPCC'05 Proceedings of the First international conference on High Performance Computing and Communications
Hi-index | 0.00 |