Abstraction and specification in program development
Abstraction and specification in program development
Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Encapsulation and inheritance in object-oriented programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Software engineering concepts
Inheritance and subtyping in a parallel object-oriented language
European conference on object-oriented programming on ECOOP '87
Inheritance and the development of encapsulated software systems
Research directions in object-oriented programming
Introduction to Modula-2
Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
A calculus of refinements for program derivations
Acta Informatica
Software—Practice & Experience
A programmer's guide to object-oriented programming in Common LISP
A programmer's guide to object-oriented programming in Common LISP
Latex: a document preparation system
Latex: a document preparation system
Science of Computer Programming
The annotated C++ reference manual
The annotated C++ reference manual
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Reasoning about object-oriented programs that use subtypes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
The C programming language
Formal Verification of Ada Programs
IEEE Transactions on Software Engineering
Functional programming with Miranda
Functional programming with Miranda
ML for the working programmer
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Methods and logics for proving programs
Handbook of theoretical computer science (vol. B)
Modula-3
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
Islands: aliasing protection in object-oriented languages
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Systems programming with Modula-3
Systems programming with Modula-3
Eiffel: the language
ACM Computing Surveys (CSUR)
The Geneva convention on the treatment of object aliasing
ACM SIGPLAN OOPS Messenger
Programming in Oberon: steps beyond Pascal and Modula
Programming in Oberon: steps beyond Pascal and Modula
The programming language jigsaw: mixins, modularity and multiple inheritance
The programming language jigsaw: mixins, modularity and multiple inheritance
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
A practical theory of programming
A practical theory of programming
VDM++: a formal specification language for object-oriented designs
TOOLS 7 Proceedings of the seventh international conference on Technology of object-oriented languages and systems
Specifications and their use in defining subtypes
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Elements of ML programming
Engineering a programming language: the type and class system of Sather
Proceedings of the international conference on Programming languages and system architectures
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
The Larch/Smalltalk interface specification language
ACM Transactions on Software Engineering and Methodology (TOSEM)
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Subtypes vs. where clauses: constraining parametric polymorphism
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Toward reliable modular programs
Toward reliable modular programs
Object-oriented programming in the BETA programming language
Object-oriented programming in the BETA programming language
Forcing behavioral subtyping through specification inheritance
Proceedings of the 18th international conference on Software engineering
Core Java
Large-scale C++ software design
Large-scale C++ software design
Points-to analysis in almost linear time
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compiler construction
Graphic Java: mastering the AWT
Graphic Java: mastering the AWT
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Pizza into Java: translating theory into practice
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Javalight is type-safe—definitely
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Ownership types for flexible alias protection
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Data groups: specifying the modification of extended state
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Reasoning about Java classes: preliminary report
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Dependent types in practical programming
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Virginity: a contribution to the specification of object-oriented software
Information Processing Letters
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Concepts of behavioral subtyping and a sketch of their extension to component-based systems
Foundations of component-based systems
Modular specification and verification techniques for object-oriented software components
Foundations of component-based systems
Safely creating correct subclasses without seeing superclass code
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data Type Specification: Parameterization and the Power of Specification Techniques
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Understanding Programming Languages
Understanding Programming Languages
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Object-Oriented Software Construction
Object-Oriented Software Construction
Introduction to Formal Specifications with Z and VDM
Introduction to Formal Specifications with Z and VDM
The STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library
The STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library
The Definition of Standard ML
A Discipline of Programming
The Java Language Specification
The Java Language Specification
Abstraction mechanisms in the BETA programming language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
An Introduction to Engineered Software
An Introduction to Engineered Software
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Reasoning and Refinement in Object-Oriented Specification Languages
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Import is Not Inheritance - Why We Need Both: Modules and Classes
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
The KIV-Approach to Software Verification
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Protective Interface Specifications
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
A Logic of Object-Oriented Programs
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Formal Techniques for Java Programs
Proceedings of the Workshop on Object-Oriented Technology
Aliasing in Object Oriented Systems
Proceedings of the Workshop on Object-Oriented Technology
Alias Control Is Crucial for Modular Verification of Object-Oriented Programs
Proceedings of the Workshop on Object-Oriented Technology
Reuse of Proofs in Software Verification
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
An Approach to Improve Locality Using Sandwich Types
TIC '98 Proceedings of the Second International Workshop on Types in Compilation
Logical foundations for typed object-oriented languages
PROCOMET '98 Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Upgrading the Pre- and Postcondition Technique
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Modular Reasoning in an Object-Oriented Refinement Calculus
Proceedings of the Second International Conference on Mathematics of Program Construction
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Implementing "Object Ownership to Order"
Proceedings of the Workshop on Object-Oriented Technology
ECCOP '96 Proceedings of the 10th European Conference on Object-Oriented Programming
iContract - The Java(tm) Design by Contract(tm) Tool
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
Axiomatic Proof Techniques for Parallel Programs
Axiomatic Proof Techniques for Parallel Programs
A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS
A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS
An application framework for compositional modularity
An application framework for compositional modularity
Classics in software engineering
Classics in software engineering
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
IBM Systems Journal
Enhancing modular OO verification with separation logic
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hi-index | 0.00 |