Database hosting in strongly-typed programming languages
ACM Transactions on Database Systems (TODS)
Paradigms for design and implementation in ADA
Communications of the ACM
Concepts of the text editor Lara
Communications of the ACM
Procedures as persistent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Converting from Pascal to Modula-2 in the undergraduate curriculum
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
Teaching operating systems with Modula-2
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
Modula-2 projects for an operation-systems course: racing sorts and multiple windows
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Microprocessor architectures: a comparison based on code generation by compiler
Communications of the ACM
Alex - A simple and efficient scanner generator
ACM SIGPLAN Notices
Consistent generics in Modula-2
ACM SIGPLAN Notices
StarLite, a visual simulation package for software prototyping
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Efficient recompilation of module interfaces in a software development environment
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ACM SIGPLAN Notices
Support for dynamic binding in strongly typed languages
ACM SIGPLAN Notices
More ambiguities and insecurities in Modula-2
ACM SIGPLAN Notices
Programming the Loral LDF 100 dataflow machine
ACM SIGPLAN Notices
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Concurrent programming in Modula-2
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Firefly: a multiprocessor workstation
ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Extensions for multi-module records in conventional programming languages
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Parameterized programming in OBJ2
ICSE '87 Proceedings of the 9th international conference on Software Engineering
An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A precompiler for modular, transportable Pascal
ACM SIGPLAN Notices
What does Modular-2 need to fully support object oriented programming?
ACM SIGPLAN Notices
ACM Transactions on Programming Languages and Systems (TOPLAS)
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
Eliminating go to's while preserving program structure
Journal of the ACM (JACM)
Experiments in SR with different upcall program structures
ACM Transactions on Computer Systems (TOCS)
Firefly: A Multiprocessor Workstation
IEEE Transactions on Computers - Special issue on architectural support for programming languages and operating systems
A System for Generating Language-Oriented Editors
IEEE Transactions on Software Engineering
The case for Modula-2 in CS1 and CS2
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Rigi-A system for programming-in-the-large
ICSE '88 Proceedings of the 10th international conference on Software engineering
Comments on innovative control constructs in pancode and EPN
ACM SIGPLAN Notices
A overview of modular smalltalk
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
A simple approach to specifying concurrent systems
Communications of the ACM
Scheduling concurrent procedures using modula-2
ACM SIGCSE Bulletin
IEEE Transactions on Software Engineering
Constructing Distributed Systems in Conic
IEEE Transactions on Software Engineering
Performance-Measurement Tools in a Multiprocessor Environment
IEEE Transactions on Computers
Encapsulation constructs in systems programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Scannerless NSLR(1) parsing of programming languages
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Multiple vs. wide shared bus multiprocessors
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
A specification language for parallel architectures and algorithms
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The international standardization of Modula-2
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Unreachable States in Model-Oriented Specifications
IEEE Transactions on Software Engineering
Making asynchronous parallelism safe for the world
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Model instantiation for query driven simulation in active KDL
ANSS '90 Proceedings of the 23rd annual symposium on Simulation
Formal manipulation of modular software systems
Conference proceedings on Formal methods in software development
Involving coroutines in interaction between functional and conventional language
ACM SIGPLAN Notices
Teaching concurrency in the programming languages course
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Software engineering and the game of monopoly
ACM SIGCSE Bulletin
ACM SIGPLAN Notices
A comparison of module constructs in programming languages
ACM SIGPLAN Notices
Prism-Methodology and Process-Oriented Environment
IEEE Transactions on Software Engineering
DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
Language Design for Program Manipulation
IEEE Transactions on Software Engineering
Reusable distributed “data environments”
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
ACM SIGPLAN Notices
Unboxed objects and polymorphic typing
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
IBM Journal of Research and Development
Filtering import: a basic mechanism for reusability
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
ACM SIGPLAN Notices
WSC '92 Proceedings of the 24th conference on Winter simulation
Manifest types, modules, and separate compilation
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
Metalevel building blocks for modular systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Controlled grammatic ambiguity
ACM Transactions on Programming Languages and Systems (TOPLAS)
Kassandra: the automatic grading system
ACM SIGCUE Outlook
Typechecking and modules for multi-methods
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Single-pass generation of static single-assignment form for structured languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Onion: a methodology for developing data-dominant systems from building blocks
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Umbriel—another minimal programming language
ACM SIGPLAN Notices
ACM Computing Surveys (CSUR)
An Ada-like separate compilation style in C
ACM SIGAda Ada Letters
Implementing signatures for C++
ACM Transactions on Programming Languages and Systems (TOPLAS)
ISO/IEC 10514–1, the standard for Modula-2: process aspects
ACM SIGPLAN Notices
ACM Computing Surveys (CSUR)
Towards a computer aided simulation model engineering (CASME) environment
WSC '93 Proceedings of the 25th conference on Winter simulation
Search and imperative programming
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The security of static typing with dynamic linking
Proceedings of the 4th ACM conference on Computer and communications security
Modular object-oriented programming with units and mixins
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Alma-O: an imperative language that supports declarative programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A dynamically self-adjusting structured editor
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Query driven simulation using SIMODULA
ANSS '89 Proceedings of the 22nd annual symposium on Simulation
WSC '87 Proceedings of the 19th conference on Winter simulation
Implementing the product automation formalism
WSC '87 Proceedings of the 19th conference on Winter simulation
Constructing three-dimensional geometric objects defined by constraints
I3D '86 Proceedings of the 1986 workshop on Interactive 3D graphics
Operations for programming in the all
ICSE '85 Proceedings of the 8th international conference on Software engineering
Implementing first order logic in Modula-2 using an intuitionistic approach
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Languages for expert system building: a comparison
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems
Manifolds: a very high-level conceptual framework of interprocess synchronization and communication
CSC '87 Proceedings of the 15th annual conference on Computer Science
MUPPET—a programming environment of message-based multiprocessors
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Dependency analysis for Standard ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallaxis-III: Architecture-Independent Data Parallel Processing
IEEE Transactions on Software Engineering - Special issue on architecture-independent languages and software tools for parallel processing
Two object oriented decomposition methods
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Coco-2: a new compiler compiler
ACM SIGPLAN Notices
Sharing code among instances of Ada generics
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
A portable optimizing compiler for Modula-2
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?
Theoretical Computer Science
You'd better set down for this!: creating a set type for CS1 & CS2 in C#
Proceedings of the 7th annual conference on Innovation and technology in computer science education
Data abstraction and information hiding
ACM Transactions on Programming Languages and Systems (TOPLAS)
On type systems for object-oriented database programming languages
ACM Computing Surveys (CSUR)
VMMP: A Practical Tool for the Development of Portable and Efficient Programs for Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
Capsules: A Shared Memory Access Mechanism for Concurrent C/C++
IEEE Transactions on Parallel and Distributed Systems
Fragtypes: A Basis for Programming Environments
IEEE Transactions on Software Engineering
Modular Verification of Data Abstractions with Shared Realizations
IEEE Transactions on Software Engineering
A survey of communication protocol testing
Journal of Systems and Software
Joyce: a programming language for distributed systems
The origin of concurrent programming
The nesC language: A holistic approach to networked embedded systems
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
A theory model core for module interconnection languages
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Zeus: A hardware description language for VLSI
DAC '83 Proceedings of the 20th Design Automation Conference
Towards a standard hardware description language
DAC '84 Proceedings of the 21st Design Automation Conference
SYNCRO: A dataflow command shell for the lilith/modula computer
ICSE '84 Proceedings of the 7th international conference on Software engineering
Compiling a functional language
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Hermes: An operating system for a Modula-2 environment
SIGSMALL '83 Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
Database services for personal computers linked by a local area network
SIGSMALL '83 Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Structured Editor Support for Modularity and Data Abstraction
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
A high-level programming and command language
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
ISDE: An Interactive Software Development Environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The structure of abstract document objects
COCS '84 Proceedings of the second ACM-SIGOA conference on Office information systems
Abstract types, ADA packages, and the teaching of data structures
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
Discrete event simulation languages current status and future directions
WSC '84 Proceedings of the 16th conference on Winter simulation
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Generativity and dynamic opacity for abstract types
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Alex—A Simple and Efficient Scanner Generator
ACM SIGPLAN Notices
Computer algebra handbook
Formal definition of programming language standards
ACM SIGPLAN Notices
Prettyprinting styles for various languages
ACM SIGPLAN Notices
MJ: a rational module system for Java and its applications
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Hardware/software co-design then and now
Information Processing Letters - Special issue: Contribution to computing science
Subgrammars, rule classes and control in the Rosetta translation system
EACL '87 Proceedings of the third conference on European chapter of the Association for Computational Linguistics
On "powerloop" constructs in programming languages
ACM SIGPLAN Notices
"Some concerns about Modula-2" considered unwarranted
ACM SIGPLAN Notices
Simple patches to Modula-2 text IO
ACM SIGPLAN Notices
Recollections about the development of Pascal
History of programming languages---II
History of programming languages---II
Proceedings of the 2005 ACM symposium on Applied computing
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Implementing signatures for C++
CTEC'94 Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference - Volume 6
Empirical Research Similarity Metrics For Software Component Interfaces
Journal of Integrated Design & Process Science
ACM Transactions on Programming Languages and Systems (TOPLAS)
Self-Sustaining Systems
Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler
Proceedings of the third ACM Haskell symposium on Haskell
Modular logic programming for web data, inheritance and agents
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Syntactic abstraction in component interfaces
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Managed data: modular strategies for data abstraction
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Safety-critical Java for low-end embedded platforms
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Modules as gradually-typed objects
Proceedings of the 7th Workshop on Dynamic Languages and Applications
Hi-index | 0.07 |