Why Ada is not just another programming language
Communications of the ACM
Dereference the reference manual
ACM SIGAda Ada Letters
An Ada course for upper-level undergraduates
ACM SIGCSE Bulletin
Mixed language programming realization and the provision of data types
ACM SIGNUM Newsletter
Iteration and abstract data types
ACM SIGPLAN Notices
A Modula-2 implementation of CSP
ACM SIGPLAN Notices
Translating algol 60 programs into Ada
ACM SIGAda Ada Letters
Controlling dynamic objects in large Ada systems
ACM SIGAda Ada Letters
Proposal for adding discriminants for Ada task types
ACM SIGAda Ada Letters
A pragmatic approach to Ada insertion
IRTAW '87 Proceedings of the first international workshop on Real-time Ada issues
Ada on fault-tolerant distributed systems
IRTAW '87 Proceedings of the first international workshop on Real-time Ada issues
Object-oriented development in an industrial environment
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
An alternate design for Fortran 8X
ACM SIGPLAN Fortran Forum
Pascal-FC: a language for teaching concurrent programming
ACM SIGPLAN Notices
Please: a language combining imperative and logic programming
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Eliminating go to's while preserving program structure
Journal of the ACM (JACM)
ICSE '88 Proceedings of the 10th international conference on Software engineering
Comments on innovative control constructs in pancode and EPN
ACM SIGPLAN Notices
Keynote address - data abstraction and hierarchy
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
The mach exception handling facility
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
CC-modula: a modula-2 tool to teach concurrent programming
ACM SIGCSE Bulletin
Forcing the completion of abnormal tasks
ACM SIGAda Ada Letters
A data acquisition and information handling system in Ada for electron spectroscopy
ACM SIGAda Ada Letters
A knowledge-base environment for the development of software parts composition systems
ICSE '89 Proceedings of the 11th international conference on Software engineering
Mapping the Interface Description Language Type Model into C
IEEE Transactions on Software Engineering
Critical Races in Ada Programs
IEEE Transactions on Software Engineering
Implementing JSD designs in Ada: a tutorial
ACM SIGSOFT Software Engineering Notes
Deterministic priority inversion in Ada selective waits
ACM SIGAda Ada Letters
Ordering of characters and strings
ACM SIGAda Ada Letters
A survey of adaptable grammars
ACM SIGPLAN Notices
The CAEDE performance analysis tool
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
A program analysis tool for evaluating the Ada compiler validation suite
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Copying and Swapping: Influences on the Design of Reusable Software Components
IEEE Transactions on Software Engineering
A Protocol for Multirendezvous of LOTOS Processes
IEEE Transactions on Computers - Special issue on protocol engineering
Efficient implementation of bit-vector operation in Common Lisp
ACM SIGPLAN Lisp Pointers
Floating point attributes in Ada
ACM SIGAda Ada Letters - Special issue on Ada numerics standardization and testing
MIDAS: Integrated Design and Simulation of Distributed Systems
IEEE Transactions on Software Engineering
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
Experiences with “delay until” for Avionics computers
ACM SIGAda Ada Letters
Implementation of classical mutual exclusion algorithms in Ada
ACM SIGAda Ada Letters
A portable and reusable RDBMS interface for Ada
ACM SIGAda Ada Letters
A comprehensive study of the complexity of multiparty interaction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The design of floating-point data types
ACM Letters on Programming Languages and Systems (LOPLAS)
An Ada solution to the general mutual exclusion problem
ACM SIGAda Ada Letters
Safe and leakproof resource management using Ada83 limited types
ACM SIGAda Ada Letters
Strategies for the lossless encoding of strings as Ada identifiers
ACM SIGAda Ada Letters
Linear logic and permutation stacks—the Forth shall be first
ACM SIGARCH Computer Architecture News - Special issue: panel sessions of the 1991 workshop on multithreaded computers
Ada's design goals and object-oriented programming
ACM SIGAda Ada Letters
Advancing Ada 9X solutions in real time avionics computers
ACM SIGAda Ada Letters
ACM SIGPLAN Notices
Process and products for software reuse in Ada
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
The role of VHDL in the MCC CAD system
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Transforming Ada serving tasks into protected objects
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Resource scheduling: specification and proof techniques
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Scheduling control mechanisms for managing indeterminate object behavior
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Analysis of Ada for a crucial distributed application
WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium
Toward machine independent microcode
ACM SIGMICRO Newsletter
A simple standardized Ada command line interface
ACM SIGAda Ada Letters
Strong typing and physical units
ACM SIGPLAN Notices
ADA(*) vs. Modula-2: a view from the trenches
ACM SIGPLAN Notices
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
IEEE Transactions on Knowledge and Data Engineering
Nesting in an Object-Oriented Language is NOT for the Birds
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Designing an Extensible Distributed Language with a Meta-Level Architecture
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Document structure and modularity in mentor
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ACM SIGOPS Operating Systems Review
Static analysis to support the evolution of exception structure in object-oriented systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Problems with the Ada reference grammar
ACM SIGPLAN Notices
The efficiency of storage management schemes for Ada programs
ACM SIGPLAN Notices
Unorthogonalities in the identification rules in Ada
ACM SIGAda Ada Letters
On the implementation and use of Ada on fault-tolerant distributed systems
ACM SIGAda Ada Letters
Erlang's exception handling revisited
ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
Some notes on the representation of the user's conceptual model
ACM SIGCHI Bulletin
ADA---the project: the DoD high order language working group
History of programming languages---II
Proposal for a language compatible arithmetic standard
ACM SIGNUM Newsletter
A complete axiomatic semantics of spawning
Distributed Computing
Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper
Electronic Notes in Theoretical Computer Science (ENTCS)
Foundations of the C++ concurrency memory model
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
An experimental ambiguity detection tool
Science of Computer Programming
The normal object form: bridging the gap from models to code
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Memory models: a case for rethinking parallel languages and hardware
Communications of the ACM
Transactional memory should be an implementation technique, not a programming interface
HotPar'09 Proceedings of the First USENIX conference on Hot topics in parallelism
Reuse and combination with package templates
Proceedings of the 4th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance
How to miscompile programs with "benign" data races
HotPar'11 Proceedings of the 3rd USENIX conference on Hot topic in parallelism
Data races vs. data race bugs: telling the difference with portend
ASPLOS XVII Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems
Challenges in the design of the package template mechanism
Transactions on Aspect-Oriented Software Development IX
| Hi-index | 0.03 |