Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
Notes on conceptual representations
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
An experience with a Prolog-based object-oriented language
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Object-oriented programming in Smalltalk and ADA
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
SABLE: A tool for generating structured, multi-level simulations
25 years of DAC Papers on Twenty-five years of electronic design automation
Testing the Completeness of Specifications
IEEE Transactions on Software Engineering
Functional Refinement and Nested Objects for Object-Oriented Design
IEEE Transactions on Software Engineering
Virtual classes: a powerful mechanism in object-oriented programming
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
IBM Systems Journal
Using object-orientation to implement logic programming
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Programming with Streams in a Pascal-Like Language
IEEE Transactions on Software Engineering
Programming-in-the-large: past, present, and future
ICSE '92 Proceedings of the 14th international conference on Software engineering
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Ada 9X: from abstraction-oriented to object-oriented
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
U.S. Army ModSim on Jade's timewarp
WSC '92 Proceedings of the 24th conference on Winter simulation
Conceptual modeling and programming languages
ACM SIGPLAN Notices
Complex associations: abstractions in object-oriented modeling
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
A brief look at extension programming before and now
ACM SIGPLAN Notices
ACM Computing Surveys (CSUR)
Mechanisms for user-invoked retraction of events in time warp
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Delegation versus concatenation or cloning is inheritance too
ACM SIGPLAN OOPS Messenger
Hashed and hierarchical timing wheels: efficient data structures for implementing a timer facility
IEEE/ACM Transactions on Networking (TON)
GAME: an object-oriented approach to computer animation in flexible manufacturing system modelling
ANSS '91 Proceedings of the 24th annual symposium on Simulation
An object-oriented approach to database system implementation
ACM Transactions on Database Systems (TODS)
Enhancement for multiple-inheritance
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Block structure and object oriented languages
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Computational mechanics solvers based on object-oriented design principles
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
Surveyor's Forum: An Error Recovery
ACM Computing Surveys (CSUR)
Surveyor's Forum: An Error Recovery
ACM Computing Surveys (CSUR)
Corrigenda: “A Tutorial on Algol 68”
ACM Computing Surveys (CSUR)
Some Aspects of High-Level Microprogramming
ACM Computing Surveys (CSUR)
A Statement-Oriented Approach to Data Abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Referencing and Retention in Block-Structured Coroutines
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM - Special 25th Anniversary Issue
Visibility aspects of programmed dynamic data structures
Communications of the ACM
Proof techniques for hierarchically structured programs
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Abstract data types and the development of data structures
Communications of the ACM
Some ideas on data types in high-level languages
Communications of the ACM
Communications of the ACM
A comparison of simulation event list algorithms
Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
A technique for generating almost optimal Floyd-Evans productions for precedence grammars
Communications of the ACM
Communications of the ACM
Sharing code among instances of Ada generics
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Fragmented and replicated objects in the GOTHIC distributed system
EW 3 Proceedings of the 3rd workshop on ACM SIGOPS European workshop: Autonomy or interdependence in distributed systems?
SIGMOD '76 Proceedings of the 1976 ACM SIGMOD international conference on Management of data
A Metalanguage for interactive proof in LCF
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Mode modules as representations of domains: preliminary report
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Mechanisms for compile-time enforcement of security
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstraction mechanisms in the BETA programming language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Maple: a programming language and operating system
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular Verification of Data Abstractions with Shared Realizations
IEEE Transactions on Software Engineering
Attribute extension - a technique for enforcing programming conventions
Nordic Journal of Computing
An analysis of C machine support for other block-structured languages
ACM SIGARCH Computer Architecture News
Classification of Actions, or Inheritance also for Methods
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
The Mjølner Environment: Direct Interaction with Abstractions
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Teaching Object-Oriented Programming Is More than Teaching Object-Oriented Programming Languages
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
What Object-Oriented Programming May Be - and What It Does Not Have To Be
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Lambda-Lifting in Quadratic Time
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
A Business Process Design Language
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
The origin of concurrent programming
Communicating sequential processes
The origin of concurrent programming
Algebraic specifications: some old history and new thoughts
Nordic Journal of Computing
Computer animation with scripts and actors
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
An experiment in microprocessor-based distributed digital simulation
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
Simulation programming with Ada
WSC '83 Proceedings of the 15th conference on Winter Simulation - Volume 2
WSC '83 Proceedings of the 15th conference on Winter Simulation - Volume 2
Program refinement by transformation
ICSE '81 Proceedings of the 5th international conference on Software engineering
A survey of high level microprogramming languages
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
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
Control structure aptness: A case study using top-down parsing
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Extensibility - a new approach for designing machine independent microprogramming languages
MICRO 9 Proceedings of the 9th annual workshop on Microprogramming
A procedure mechanism for backtrack programming
ACM '76 Proceedings of the 1976 annual conference
FP with data abstraction and strong typing
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
SIGMINI '76 Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment
The use of abstract data types to simplify program modifications
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Programming without pointer variables
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Towards the construction of verifiable software systems
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Abstract types defined as classes of variables
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Proceedings of the Strathclyde ALGOL 68 conference
The design of data type specifications
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A practical method of documenting and verifying Ada programs with packages
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Overview of the syntax processor generator SYNPROC
Proceedings of the international symposium on Extensible languages
Proceedings of the international symposium on Extensible languages
GLOSS: A semantic model of programming languages
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Proceedings of an ACM conference on Language design for reliable software
Efficient implementation and optimization of run-time checking in PASCAL
Proceedings of an ACM conference on Language design for reliable software
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable software
On the problem of uniform references to data structures
Proceedings of the international conference on Reliable software
Information systems approach to discrete event simulation
ANSS '80 Proceedings of the 13th annual symposium on Simulation
SIMPAS: A simulation language based on PASCAL
WSC '80 Proceedings of the 12th conference on Winter simulation
Comments on models of multi-processor multi-memory bank computer systems
WSC '74 Proceedings of the 7th conference on Winter simulation - Volume 1
Simulation data structures using SIMULA 67
WSC '71 Proceedings of the 5th conference on Winter simulation
On interaction with data bases
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
SABLE: A tool for generating structured, multi-level simulations
DAC '79 Proceedings of the 16th Design Automation Conference
A Catalogue of General-Purpose Software Design Patterns
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
On structuring operating systems with monitors
ACM SIGOPS Operating Systems Review
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
The roots of object orientation: the Simula language
Software pioneers
Proof of correctness of data representations
Software pioneers
The secret history of information hiding
Software pioneers
Abstract data types, then and now
Software pioneers
Abstract data types and the development of data structures
Software pioneers
ACM SIGPLAN Notices
Loslan implementation of the AMPL message-passing system
ACM SIGPLAN Notices
A practical method of documenting and verifying Ada programs with packages
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Ordered types and a generalized for statement
ACM SIGPLAN Notices
ACM SIGPLAN Notices
An overview of the programming language Smalltalk-72
ACM SIGPLAN Notices
Multi-sequential execution in the BETA programming language
ACM SIGPLAN Notices
The process view of simulation in Ada
WSC '82 Proceedings of the 14th conference on Winter Simulation - Volume 1
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
History of programming languages---II
A proposed solution to the FUNARG problem
ACM SIGSAM Bulletin
Increasing quality of conceptual models: is object-oriented analysis that simple?
Proceedings of the 2006 international workshop on Role of abstraction in software engineering
Machine and collection abstractions for user-implemented data-parallel programming
Scientific Programming
Chapter III: Hierarchical program structures
Structured programming
Capability Based Tagged Architectures
IEEE Transactions on Computers
Criteria for a standard command language based on data abstraction
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Super-object-oriented programming and simulation
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Moving multi-agent systems from research to practice
International Journal of Agent-Oriented Software Engineering
Programming languages as tools for describing and modeling anticipatory systems
ICAI'09 Proceedings of the 10th WSEAS international conference on Automation & information
A new programming methodology for long-lived software systems
IBM Journal of Research and Development
ACMOS'10 Proceedings of the 12th WSEAS international conference on Automatic control, modelling & simulation
TFP'10 Proceedings of the 11th international conference on Trends in functional programming
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Open and efficient type switch for C++
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
High-performance design patterns for modern Fortran
SE-HPCCSE '13 Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering
An object-oriented parallel programming language for distributed-memory parallel computing platforms
Science of Computer Programming
Hi-index | 0.17 |