Using message passing for distributed programming: proof rules and disciplines
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification of Concurrent Control Flow in Distributed Computer Systems
IEEE Transactions on Software Engineering
A text-based representation for program variants
SCM '89 Proceedings of the 2nd International Workshop on Software configuration management
An exception handling model for parallel programming and its verification
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Software evolution through iterative prototyping
ICSE '92 Proceedings of the 14th international conference on Software engineering
Ada—the project: the DoD high order language working group
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Mechanisms for generic process support
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Adding performance information to ADT interfaces
IDL '94 Proceedings of the workshop on Interface definition languages
An Ada-like separate compilation style in C
ACM SIGAda Ada Letters
ZROBOT: a new CAD/CAM environment to program robot control by animated graphics
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems
A runtime supervisor to support Ada tasking: rendezvous and delays
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Tagged architecture: how compelling are its advantages?
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Language concepts using dynamic and distributed objects
CSC '91 Proceedings of the 19th annual conference on Computer Science
External Representations of Objects of User-Defined Type
ACM Transactions on Programming Languages and Systems (TOPLAS)
Ada exception handling: an axiomatic approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Abstract Type for Statistics Collection in Simula
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synchronization in Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel programs: proofs, principles, and practice
Communications of the ACM
A Fortran programming methodology based on data abstraction
Communications of the ACM
Inline routines in VAXELN Pascal
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Guardians and actions: linguistic support for robust, distributed programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Description-driven code generation using attribute grammars
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular verification of concurrent programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A fully object-oriented exception handling system: rationale and smalltalk implementation
Advances in exception handling techniques
An Object-Oriented Exception Handling System for an Object-Oriented Language
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Systematic protection mechanism design
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Experience with a modular typed language: PROTEL
ICSE '81 Proceedings of the 5th international conference on Software engineering
ICSE '81 Proceedings of the 5th international conference on Software engineering
Specifying and proving properties of sentinel processes
ICSE '81 Proceedings of the 5th international conference on Software engineering
ICSE '81 Proceedings of the 5th international conference on Software engineering
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Teaching data abstraction to the practicing programmer: A case study
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
Disposable and endurant programming
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
Fable: A programming-language solution to IC process automation problems
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Data abstraction from a programming language viewpoint
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
An optimizing compiler for lexically scoped LISP
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
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
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
On a formal model of the tasking concept in Ada
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
SIMPAS: A simulation language based on PASCAL
WSC '80 Proceedings of the 12th conference on Winter simulation
Capsules: A data abstraction facility for Pascal
ACM '81 Proceedings of the ACM '81 conference
Data abstraction, controlled iteration, and communicating processes
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
ACM '80 Proceedings of the ACM 1980 annual conference
The concept of asynchronization
ACM SIGOPS Operating Systems Review
On the generalized critical region construct
ACM SIGOPS Operating Systems Review
Task decomposition testing and metrics for concurrent programs
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Simplifying ADA by removing limitations
ACM SIGPLAN Notices
Toward relaxing assumptions in languages and their implementations
ACM SIGPLAN Notices
Procedure semantics and language definition
ACM SIGPLAN Notices
A simplified operator identification scheme for Ada
ACM SIGPLAN Notices
A comment on "operator identification in ADA" by Ganzinger and Ripken
ACM SIGPLAN Notices
A human engineered variant of BNF
ACM SIGPLAN Notices
Automatic indention versus program formatting
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 model for Pascal-like typing
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
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 practical method of documenting and verifying Ada programs with packages
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
On a formal model of the tasking concept in Ada
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
Assertions in programming languages
ACM SIGPLAN Notices
An implementation and empirical evaluation of the tasking facilities 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
ACM SIGPLAN Notices
The implementation of file structures in some high level languages
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Abstracting linked data structures using incremental records
ACM SIGPLAN Notices
Another look at enumerated types
ACM SIGPLAN Notices
ACM SIGAda Ada Letters
On unlimited types and reliability of Ada programs
ACM SIGAda Ada Letters
On teaching theoretical foundations of Computer Science
ACM SIGACT News
Some verification problems in Pascal-like languages
ACM SIGSOFT Software Engineering Notes
An interprocess communication model for a distributed software testbed
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
ACM SIGOPS Operating Systems Review
ADA---the project: the DoD high order language working group
History of programming languages---II
Efficient memory safety for TinyOS
Proceedings of the 5th international conference on Embedded networked sensor systems
A unified approach to online assistance
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Specification technique for parallel processing: process-data representation
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
A data definition facility based on a value-oriented storage model
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
Modelling remote concurrency with Ada: case study of symmetric non-deterministic rendezvous
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Modularity for the changing meaning of changing
Proceedings of the tenth international conference on Aspect-oriented software development
Message oriented programming-A resource based methodology
Computer Languages
Generic procedures: An implementation and an undecidability result
Computer Languages
Hi-index | 0.03 |