ACM SIGPLAN Notices
The suitability of language syntaxes for program generation
ACM SIGPLAN Notices
Iteration and abstract data types
ACM SIGPLAN Notices
ACM SIGCSE Bulletin
A Modula-2 implementation of CSP
ACM SIGPLAN Notices
Instruction level timing mechanisms for accurate real-time task scheduling
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Implementing separate compilations in Pascal
ACM SIGPLAN Notices
Object-oriented programming in Smalltalk and ADA
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Unfair process scheduling in Modula-2
ACM SIGPLAN Notices
Adding an authorization dimension to strong type checking
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A System for Specification and Rapid Prototyping of Application Command Languages
IEEE Transactions on Software Engineering
The kernel of Modula-2 integrated environment
ACM SIGSOFT Software Engineering Notes
An object-oriented structured design method for code generation
ACM SIGSOFT Software Engineering Notes
CC-modula: a modula-2 tool to teach concurrent programming
ACM SIGCSE Bulletin
Object derivation and validation from a data base definition
SCM '89 Proceedings of the 2nd International Workshop on Software configuration management
ACM SIGPLAN Notices
Address and data register separation on the M68000 family
ACM SIGARCH Computer Architecture News
SIGCOMM '91 Proceedings of the conference on Communications architecture & protocols
The ensemble system: concurrent programming on a personal computer
ACM SIGPLAN Notices
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
Interactive modular programming in Scheme
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Fips: a functional-imperative language for explorative programming
ACM SIGPLAN Notices
Recollections about the development of Pascal
HOPL-II The second ACM SIGPLAN conference on History of programming languages
A simple implementation technique for mixin inheritance
ACM SIGPLAN Notices
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Umbriel—imperative programming for unsophisticated students
ACM SIGCSE Bulletin
Typechecking and modules for multimethods
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGPLAN Lisp Pointers
Iteration abstraction in Sather
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Evaluation of the MOOD Set of Object-Oriented Software Metrics
IEEE Transactions on Software Engineering
What is Java binary compatibility?
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
ACM SIGPLAN Notices
Non-technical issues in acceptance of SILs
ACM SIGPLAN Notices
Introductory concurrent programming with Modula-2
ACM SIGCSE Bulletin
ADA(*) vs. Modula-2: a view from the trenches
ACM SIGPLAN Notices
High level input/output in Modula-2
ACM SIGPLAN Notices
Programming without enumerations in Oberon
ACM SIGPLAN Notices
Readings in hardware/software co-design
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
A type system for higher-order modules
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Embryonics Implementation of a Self-Replicating Universal Turing Machine
ICES '01 Proceedings of the 4th International Conference on Evolvable Systems: From Biology to Hardware
Sharing Extendible Arrays in a Distributed Environment
IICS '01 Proceedings of the International Workshop on Innovative Internet Computing Systems
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
OCL Based on New Presentation of the OCL-Syntax
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Programming methodology
Libraries as programs preserved within compiler continuations
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Simulation of Data-Parallel Programs in Parallaxis-III
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
More or less concerns about MODULA-2
ACM SIGPLAN Notices
Differences between Modula-2 and Pascal
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Modula-2 and the monitor concept
ACM SIGPLAN Notices
A case for teaching multi-exit loops to beginning programmers
ACM SIGPLAN Notices
System programming in Modula-2
ACM SIGPLAN Notices
A response to "some concerns about Modula-2"
ACM SIGPLAN Notices
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
KERIS: evolving software with extensible modules: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
A view of 20th and 21st century software engineering
Proceedings of the 28th international conference on Software engineering
An extendible multidimensional array system for MOLAP
Proceedings of the 2006 ACM symposium on Applied computing
Average case analysis of DJ graphs
Journal of Discrete Algorithms
Proceedings of the third ACM SIGPLAN conference on History of programming languages
A portable modula-2 operating system: SAM2S
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Making induction manifest in modular ACL2
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
On understanding data abstraction, revisited
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Java security: from hotjava to netscape and beyond
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
Towards deriving type systems and implementations for coroutines
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
TFP'10 Proceedings of the 11th international conference on Trends in functional programming
A Hardware Abstraction Layer in Java
ACM Transactions on Embedded Computing Systems (TECS)
Exceptions in java and eiffel: two extremes in exception design and application
Advanced Topics in Exception Handling Techniques
A real-time virtual machine implementation for small microcontrollers
Innovations in Systems and Software Engineering
Hi-index | 0.00 |