ACM Computing Surveys (CSUR)
PASCAL user manual and report
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Reflections on a language designed to write an operating system
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Hints on programming language design.
Hints on programming language design.
ACM Transactions on Programming Languages and Systems (TOPLAS)
Procedures as persistent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
The ML approach to the readable all-purpose language
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Smalltalk system for algebraic manipulation
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
The Turing programming language
Communications of the ACM
Comments on innovative control constructs in pancode and EPN
ACM SIGPLAN Notices
A translator from small euclid to pascal
ACM SIGPLAN Notices
Comments, assertions and pragmas
ACM SIGPLAN Notices
Generation of Compiler Symbol Processing Mechanisms from Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantic models and abstract interpretation techniques for inductive data structures and pointers
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Constraint-based hypertext for argumentation
HYPERTEXT '87 Proceedings of the ACM conference on Hypertext
Theseus—a programming language for relational databeses
ACM Transactions on Database Systems (TODS)
Block structure and object oriented languages
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Specification of Abstract Data Types in Modula
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Abstract Type for Statistics Collection in Simula
ACM Transactions on Programming Languages and Systems (TOPLAS)
Assignment and Procedure Call Proof Rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Model for Implementing EUCLID Modules and Prototypes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Visibility aspects of programmed dynamic data structures
Communications of the ACM
Communications of the ACM
Specification and verification of the UCLA Unix security kernel
Communications of the ACM
High level programming for distributed computing
Communications of the ACM
ACM SIGPLAN Notices
Sharing code among instances of Ada generics
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Data types as values: polymorphism, type-checking, encapsulation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Type definitions with parameters
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
"Type-completeness" as a language principle
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The data management facilities of PLAIN
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Ownership types for safe programming: preventing data races and deadlocks
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Ownership types for object encapsulation
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computer
Modular Verification of Data Abstractions with Shared Realizations
IEEE Transactions on Software Engineering
Nesting in an Object-Oriented Language is NOT for the Birds
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
SuperPascal: a publication language for parallel scientific computing
The origin of concurrent programming
ICSE '81 Proceedings of the 5th international conference on Software engineering
An Incremental Programming Environment
ICSE '81 Proceedings of the 5th international conference on Software engineering
Experience with a modular typed language: PROTEL
ICSE '81 Proceedings of the 5th international conference on Software engineering
Program refinement by transformation
ICSE '81 Proceedings of the 5th international conference on Software engineering
A system for program refinement
ICSE '79 Proceedings of the 4th international conference on Software engineering
The impact of mesa on system design
ICSE '79 Proceedings of the 4th international conference on Software engineering
ICSE '79 Proceedings of the 4th international conference on Software engineering
ICSE '79 Proceedings of the 4th international conference on Software engineering
A flexible environment for program development based on a symbolic interpreter
ICSE '79 Proceedings of the 4th international conference on Software engineering
Hierarchical coroutines a mechanism for improved program structure
ICSE '79 Proceedings of the 4th international conference on Software engineering
Dynamic restructuring in an experimental operating system
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Validating The Utility Of Abstraction Techniques
ACM '78 Proceedings of the 1978 annual conference
The Euclid Language: a progress report
ACM '78 Proceedings of the 1978 annual conference
The Lattice Security Model In A Public Computing Network
ACM '78 Proceedings of the 1978 annual conference
System facilities for CAD databases
DAC '80 Proceedings of the 17th Design Automation Conference
Disposable and endurant programming
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
On the importance of teaching PASCAL in the IS curriculum
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
Numerical precision and data structures
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
The Multics kernel design project
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
FP with data abstraction and strong typing
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A programmer controlled approach to data and control abstraction
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Descartes: A programming-language approach to interactive display interfaces
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Type hierarchies and Semantic Data Models
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
A model for implementing Euclid modules and type templates
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Hashed symbol tables for languages with explicit scope control
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Predicting the effects of optimization on a procedure body
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Compiler construction using attribute grammars
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
A runtime representation for Ada variables and types
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
Proceedings of an ACM conference on Language design for reliable software
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
An extension to algebraic specifications to incorporate state behavior
ACM '79 Proceedings of the 1979 annual conference
Simplifying ADA by removing limitations
ACM SIGPLAN Notices
The external consistency of abstract data types
ACM SIGPLAN Notices
Toward relaxing assumptions in languages and their implementations
ACM SIGPLAN Notices
Tasking and parameters: a problem area in Ada
ACM SIGPLAN Notices
A short introduction to Concurrent Euclid
ACM SIGPLAN Notices
Containment defines a class of recursive data structures
ACM SIGPLAN Notices
Some remarks on records with variants
ACM SIGPLAN Notices
A runtime representation for Ada variables and types
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
High-level languages for operating systems development: a historical overview
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Isolation of machine dependencies in Euclid
ACM SIGPLAN Notices
Readability and writability in Euclid
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A reminder for language designers
ACM SIGPLAN Notices
Parameter validation for software reliability
ACM SIGPLAN Notices
Summary of the characteristics of several "modern" programming languages
ACM SIGPLAN Notices
Preliminary ZENO language description
ACM SIGPLAN Notices
Type equivalence in strongly typed languages: one more look
ACM SIGPLAN Notices
The trouble with mutual recursion in Concurrent Euclid
ACM SIGPLAN Notices
Another look at enumerated types
ACM SIGPLAN Notices
Consistency checking in Ada and Anna: a transformational approach
ACM SIGAda Ada Letters
Implementation implications of Ada generics
ACM SIGAda Ada Letters
Programming languages for introductory computing courses: a position paper
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Constructing verified and reliable communications processing systems
ACM SIGSOFT Software Engineering Notes
Proceedings of the workshop on Rapid prototyping
Some verification problems in Pascal-like languages
ACM SIGSOFT Software Engineering Notes
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
Encyclopedia of Computer Science
Experience with access functions in an experimental compiler
ACM SIGMICRO Newsletter - Is microprogramming dead?
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Capability Based Tagged Architectures
IEEE Transactions on Computers
Verifiable functional purity in java
Proceedings of the 15th ACM conference on Computer and communications security
Euclid: a language for compiling quality software
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
The advent of trusted computer operating systems
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
Abstract design and program translator: new tools for software design
IBM Systems Journal
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
Abstract for-loops over several aggregates
Information Processing Letters
Experience with access functions in an experimental compiler
IBM Journal of Research and Development
Abstract design and program translator: new tools for software design
IBM Systems Journal
Contracts for first-class classes
Proceedings of the 6th symposium on Dynamic languages
Proceedings of the 5th ACM workshop on Programming languages meets program verification
Boogie: a modular reusable verifier for object-oriented programs
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
The spec# programming system: an overview
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Procedures in the refinement calculus: a new approach?
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Binding strategies and scope rules are independent
Computer Languages
Design and implementation of 812: A declarative data-parallel language
Computer Languages
Side-effect free functions in object-oriented languages
Computer Languages
Testing and verification aspects of Pascal-like languages
Computer Languages
Toward modular verifiable exception handling
Computer Languages
The external structure: Experience with an automated module interconnection language
Journal of Systems and Software
Abstraction hierarchies in top-down design
Journal of Systems and Software
Chaperones and impersonators: run-time support for reasonable interposition
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Contracts for First-Class Classes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.08 |