Communicating sequential processes
Communications of the ACM
Abstract data types and the development of data structures
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
Communications of the ACM
Communications of the ACM
The treatment of data types in EL1
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
A system for interprocess communication in a resource sharing computer network
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
Operating system principles
Concurrent Pascal Compiler for Minicomputers
Concurrent Pascal Compiler for Minicomputers
A control statement for natural top-down structured programming
Programming Symposium, Proceedings Colloque sur la Programmation
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
A program structure for error detection and recovery
Operating Systems, Proceedings of an International Symposium
On the transfer of control between contexts
Programming Symposium, Proceedings Colloque sur la Programmation
A model for implementing Euclid modules and type templates
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
The System Language for Project SUE
Proceedings of the SIGPLAN symposium on Languages for system implementation
Response to undesired events in software systems
ICSE '76 Proceedings of the 2nd international conference on Software engineering
System structure for software fault tolerance
Proceedings of the international conference on Reliable software
Program structures for exceptional condition handling.
Program structures for exceptional condition handling.
Positional versus keyword parameter communication in programming languages
ACM SIGPLAN Notices
Language design for the Ironman requirement: reference manual
ACM SIGPLAN Notices
Chapter I: Notes on structured programming
Structured programming
Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
A modular verifiable exception handling mechanism
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Symmetric intertask communication
ACM Transactions on Programming Languages and Systems (TOPLAS)
Procedures as persistent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
Abstraction-based software development
Communications of the ACM
Metrics for Ada packages: an initial study
Communications of the ACM
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Inheritance and persistence in database programming languages
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
An axiomatic treatment of exception handling in an expression-oriented language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient recompilation of module interfaces in a software development environment
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A comparison of concurrent languages: a class project
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Distributed programming in Argus
Communications of the ACM
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
ACM SIGAda Ada Letters
Parsing Languages by Pattern Matching
IEEE Transactions on Software Engineering
The Turing programming language
Communications of the ACM
Rendezvous Facilities: Concurrent C and the Ada Language
IEEE Transactions on Software Engineering
Rigi-A system for programming-in-the-large
ICSE '88 Proceedings of the 10th international conference on Software engineering
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
IEEE Transactions on Software Engineering
Is Ada too big? A designer answers the critics
Communications of the ACM
Encapsulation constructs in systems programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
A One-Pass Algorithm for Overload Resolution in Ada
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type inference in the presence of type abstraction
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
PROCOL: a parallel object language with protocols
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Static type inference for parametric classes
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Specifying Ada Server Tasks with Executable Formal Grammars
IEEE Transactions on Software Engineering
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Exception handling and object-oriented programming: towards a synthesis
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Specifying and automatically generating Ada tasks in Prolog
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Optimized overload resolution and type matching for Ada
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Stepwise design of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Data-Oriented Exception Handling
IEEE Transactions on Software Engineering
On Ada packages, types and task types
ACM SIGAda Ada Letters
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Ada—the project: the DoD high order language working group
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Toward a method of object-oriented concurrent programming
Communications of the ACM
The design of the E programming language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Orthogonal persistence and Ada
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Dynamically-valued constants: an underused language feature
ACM SIGPLAN Notices
Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
Task dependence and termination in Ada
ACM Transactions on Software Engineering and Methodology (TOSEM)
Building real-time imprecise computations in Ada
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Program fragments, linking, and modularization
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamic typing for distributed programming in polymorphic languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interface control and incremental development in the PIC environment
ICSE '85 Proceedings of the 8th international conference on Software engineering
Intertask communication realized with an interrupt mechanism
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
Software experience with concurrent C and LISP in a distributed system
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Undergraduate courses needed in Ada and software engineering
SIGCSE '85 Proceedings of the sixteenth SIGCSE technical symposium on Computer science education
The efficiency of storage management schemes for Ada programs
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Verification of Array, Record, and Pointer Operations in Pascal
ACM Transactions on Programming Languages and Systems (TOPLAS)
Process Communication Based on Input Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Visibility aspects of programmed dynamic data structures
Communications of the ACM
Strong typing and physical units
ACM SIGPLAN Notices
Synthesizing abstract data type specifications
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Modular mixin-based inheritance for application frameworks
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Except for exception handling …
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
Open and closed scopes for constrained genericity
Theoretical Computer Science
Extended naming conventions for communicating processes
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An axiomatic treatment of exception handling
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type-Safe linking with recursive DLLs and shared libraries
ACM Transactions on Programming Languages and Systems (TOPLAS)
Capsules: A Shared Memory Access Mechanism for Concurrent C/C++
IEEE Transactions on Parallel and Distributed Systems
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
Aspects and polymorphism in AspectJ
Proceedings of the 2nd international conference on Aspect-oriented software development
What is "Object-Oriented Programming?"
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
An IPC protocol and its hardware realization for a high-speed distributed multicomputer system
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
Resource controller tasks in ADA: Their structure and semantics
ICSE '84 Proceedings of the 7th international conference on Software engineering
SIGSMALL '82 Proceedings of the 5th ACM SIGSMALL symposium on Small systems
ICSE '79 Proceedings of the 4th international conference on Software engineering
ICSE '79 Proceedings of the 4th international conference on Software engineering
On the importance of teaching PASCAL in the IS curriculum
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
The use of data type information in an interactive database environment
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
A single-pass syntax-directed front end for Ada
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
From specifications to machine code: Program construction through formal reasoning
ICSE '82 Proceedings of the 6th international conference on Software engineering
An experience with parallelism in Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Towards a compiler front-end for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Overloading in preliminary Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Type resolution in Ada: An implementation report
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
A flexible semantic analyzer for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
A runtime representation for Ada variables and types
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
An Ada code generator for VAX 11/780 with Unix
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Generics and verification in Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
ANNA: Towards a language for annotating Ada programs
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
The rendezvous and monitor concepts: Is there an efficiency difference?
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Algorithms for translating Ada multitasking
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Ada as a software transition tool
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
The NYU Ada translator and interpreter
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
A multi-processing implementation-oriented formal definition of Ada in SEMANOL
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
The design of a virtual machine for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Effective machine descriptors for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Transparent microprogramming in support of abstract type oriented dynamic vertical migration
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Capsules: A data abstraction facility for Pascal
ACM '81 Proceedings of the ACM '81 conference
The Distributed Double-Loop Computer Network (DDLCN)
ACM '80 Proceedings of the ACM 1980 annual conference
A preliminary evaluation of verifiability in Ada
ACM '80 Proceedings of the ACM 1980 annual conference
An approach to distributed software systems
ACM SIGOPS Operating Systems Review
ACM SIGSOFT Software Engineering Notes
Simplifying ADA by removing limitations
ACM SIGPLAN Notices
Tasking and parameters: a problem area in Ada
ACM SIGPLAN Notices
Comments on ADA process communication
ACM SIGPLAN Notices
An alternative to the communication primitives in ADA
ACM SIGPLAN Notices
ACM SIGPLAN Notices
HAL/S/V: a verifiable subset for HAL/S
ACM SIGPLAN Notices
A paradigm for dealing with exceptions
ACM SIGPLAN Notices
A model for Pascal-like typing
ACM SIGPLAN Notices
Ada packages and distributed systems
ACM SIGPLAN Notices
Some remarks on records with variants
ACM SIGPLAN Notices
An experience with parallelism in Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Towards a compiler front-end for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Overloading in preliminary Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
A flexible semantic analyzer for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
A runtime representation for Ada variables and types
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
An Ada code generator for VAX 11/780 with Unix
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Generics and verification in Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
ANNA: towards a language for annotating Ada programs
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
The rendezvous and monitor concepts: is there an efficiency difference?
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Algorithms for translating Ada multitasking
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Ada as a software transition tool
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
The NYU Ada translator and interpreter
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
A multi-processing implementation-oriented formal definition of Ada in SEMANOL
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
The design of a virtual machine for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Effective machine descriptors for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
An implementation and empirical evaluation of the tasking facilities in ADA
ACM SIGPLAN Notices
An algorithm for the selection of overloaded functions in ADA
ACM SIGPLAN Notices
Enumerations in Pascal, ADA, and beyond
ACM SIGPLAN Notices
On the synchronization mechanism of the ADA language
ACM SIGPLAN Notices
Steelman and the verifiability of (preliminary) ADA
ACM SIGPLAN Notices
The implementation of file structures in some high level languages
ACM SIGPLAN Notices
Subtypes versus cell constancy with subranae constraints
ACM SIGPLAN Notices
The efficiency of storage management schemes for Ada programs
ACM SIGPLAN Notices
Consistency checking in Ada and Anna: a transformational approach
ACM SIGAda Ada Letters
ACM SIGAda Ada Letters
On unlimited types and reliability of Ada programs
ACM SIGAda Ada Letters
Some verification problems in Pascal-like languages
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
ACM SIGAda Ada Letters
ADA---the project: the DoD high order language working group
History of programming languages---II
History of programming languages---II
Toward type-oriented dynamic vertical migration
ACM SIGMICRO Newsletter
Experience with access functions in an experimental compiler
ACM SIGMICRO Newsletter - Is microprogramming dead?
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Scheduling-independent threads and exceptions in SHIM
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Structured Specification of Communicating Systems
IEEE Transactions on Computers
Exception Handling and Software Fault Tolerance
IEEE Transactions on Computers
Towards management of software as assets: A literature review with additional sources
Information and Software Technology
A portable modula-2 operating system: SAM2S
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
GRASS3, a language for interactive graphics
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
VISION II: a dynamic raster-scan display
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Using preliminary Ada in a process control application
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
The design of PLAIN: support for systematic programming
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Proceedings of the 2008 workshop on New security paradigms
History of IBM's technical contributions to high level programming languages
IBM Journal of Research and Development
SLAN-4: a language for the specification and design of large software systems
IBM Journal of Research and Development
Experience with access functions in an experimental compiler
IBM Journal of Research and Development
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Distributed exception handling: ideas, lessons and issues with recent exception handling systems
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Hard-to-use evaluation criteria for software engineering
Journal of Systems and Software
Hi-index | 0.12 |