An object-oriented programming discipline for standard Pascal
Communications of the ACM
Abstraction in Pascal: data and control
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
XC- A language for embedded rule based systems
ACM SIGPLAN Notices
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Distributed programming in Argus
Communications of the ACM
We need a discipline of software composing
ACM SIGSOFT Software Engineering Notes
Assessing the quality of abstract data types written in ADA
ICSE '88 Proceedings of the 10th international conference on Software engineering
Recording the reasons for design decisions
ICSE '88 Proceedings of the 10th international conference on Software engineering
Object-oriented programming: an objective sense of style
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Keynote address - data abstraction and hierarchy
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
A generic model for representing design methods
ICSE '89 Proceedings of the 11th international conference on Software engineering
Software Cost Reduction Methods in Practice
IEEE Transactions on Software Engineering
A note on type composition and reusability
ACM SIGPLAN OOPS Messenger
ACM SIGPLAN OOPS Messenger
Communications of the ACM
Parameterized specifications for software reuse
ACM SIGSOFT Software Engineering Notes
HOPL-II The second ACM SIGPLAN conference on History of programming languages
A framework for programming and formalizing concurrent objects
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Societal and technological problems of computer use in industry
ACM SIGCAS Computers and Society
A type-theoretic approach to higher-order modules with sharing
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM SIGPLAN OOPS Messenger
Interface language for supporting programming styles
IDL '94 Proceedings of the workshop on Interface definition languages
Hierarchies of programming concepts: abstraction, generality, and beyond
ACM SIGCSE Bulletin
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
A new iteration mechanism for the C++ programming language
ACM SIGPLAN Notices
An Ada-like separate compilation style in C
ACM SIGAda Ada Letters
Reverse engineering of legacy code exposed
Proceedings of the 17th international conference on Software engineering
Iteration abstraction in Sather
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communication metrics for software development
ICSE '97 Proceedings of the 19th international conference on Software engineering
Representation Inheritance: A Safe Form of "White Box" Code Inheritance
IEEE Transactions on Software Engineering
Extending the Potts and Bruns model for recording design rationale
ICSE '91 Proceedings of the 13th international conference on Software engineering
A role for iterators as a tool for software reuse
WADAS '92 Proceedings of the ninth Washington Ada symposium on Ada: Empowering software users and developers
Precise behavioral specifications in OO information modeling
OOPSLA '94 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Exploiting the non-determinism and asynchrony of set iterators to reduce aggregate file I/O latency
Proceedings of the sixteenth ACM symposium on Operating systems principles
Layered virtual machine/object-oriented design
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Teaching the human aspect of software engineering - a case study
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Safely creating correct subclasses without seeing superclass code
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
GESTALT: an expressive database programming system
ACM SIGMOD Record
Relation algebras over containers and surfaces: An ontological study of a room space
Spatial Cognition and Computation
Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC
Higher-Order and Symbolic Computation
Coping with Java Programming Stress
Computer
Assuring Good Style for Object-Oriented Programs
IEEE Software
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Pragmatic Aspects of Reusable Program Generators
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
A New Definition of the Subtype Relation
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Internal Iteration Externalized
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Copying and Comparing: Problems and Solutions
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Abstraction, Levels of Detail, and Hierarchies in Map Series
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Lifestyles - An Algebraic Approach to Change in Identity
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
Component Libraries and Language Features
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
A Technique for Modular Logic Program Refinement
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
Applications of Extended Static Checking
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Model Checking Generic Container Implementations
Selected Papers from the International Seminar on Generic Programming
Extended Static Checking: A Ten-Year Perspective
Informatics - 10 Years Back. 10 Years Ahead.
Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership
Revised Lectures on Software Visualization, International Seminar
KVEST: Automated Generation of Test Suites from Formal Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Modular Checker for Multithreaded Programs
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Integration of Software Tools in Software Engineering Education
CSEE '96 Proceedings of the 9th Conference on Software Engineering Education
A Framework for Detecting Interface Violations in Component-Based Software
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
An object-oriented framework for modular resource management
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
Pragmatic aspects of reusable program generators
Journal of Functional Programming
On Data Distributions in the Construction of Parallel Programs
The Journal of Supercomputing
History of programming languages---II
Essential language support for generic programming
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Programming and Computing Software
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
The role of abstraction in software engineering
Proceedings of the 2006 international workshop on Role of abstraction in software engineering
Modular invariants for layered object structures
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
The Role of Abstraction in Software Engineering
ACM SIGSOFT Software Engineering Notes
Design by Contract to Improve Software Vigilance
IEEE Transactions on Software Engineering
BI-hyperdoctrines, higher-order separation logic, and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
Calculating modules in contextual logic program refinement
Theory and Practice of Logic Programming
The role of abstraction in software engineering
Companion of the 30th international conference on Software engineering
Bialgebra views: a way for polytypic programming to cohabit with data abstraction
Proceedings of the ACM SIGPLAN workshop on Generic programming
Taking an object-centric view on dynamic information with object flow analysis
Computer Languages, Systems and Structures
Reasoning about Object Structures Using Ownership
Verified Software: Theories, Tools, Experiments
A Unified Framework for Verification Techniques for Object Invariants
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Modular verification of dynamically adaptive systems
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Equality and hashing for (almost) free: Generating implementations from abstraction functions
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Machine learning for software reuse
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Thorn: robust, concurrent, extensible scripting on the JVM
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Building underlying structures for multiparagraph texts
INLG '94 Proceedings of the Seventh International Workshop on Natural Language Generation
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Efficient modular glass box software model checking
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Understanding the impact of collection contracts on design
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
ICASSP'93 Proceedings of the 1993 IEEE international conference on Acoustics, speech, and signal processing: plenary, special, audio, underwater acoustics, VLSI, neural networks - Volume I
Assertion-based encapsulation, object invariants and simulations
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Modular verification of static class invariants
FM'05 Proceedings of the 2005 international conference on Formal Methods
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)
Automatic inference of specifications using matching logic
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Are your incoming aliases really necessary? counting the cost of object ownership
Proceedings of the 2013 International Conference on Software Engineering
What's wrong with git?: a conceptual design analysis
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Hi-index | 0.05 |