Papers tagged software engineering
- A Calculus of Communicating Systems
- A Critique of Java
- A Poor Man's Concurrency Monad
- A Systematic Review in Software Engineering
- C-RACER: A Faster Race Detector Than FastTrack
- Code Generation from Requirements Specifications: A Case Study
- Compiling Pattern Matching to Good Decision Trees
- Composable and Compilable Macros: You Want it When?
- Composing High-Performance Memory Allocators
- Concurrent Cycle Collection in Reference Counted Systems
- COPS: Consistency-based Service Oriented Programming Support
- Design Principles Behind Smalltalk
- Effects as Capabilities: Effect Handling in Haskell
- Efficient Lock-free B-trees
- Epitaxis: A System for Syntactic and Semantic Software Queries
- ESC/Java User Manual
- Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant
- Functional Reactive Programming in PLT Scheme
- Garbage Collection: Algorithms for Automatic Dynamic Memory Management
- Hotos Jeremiad
- How to Design a Good API and Why it Matters
- Interprocedural Control Dependence
- Lambda Refactoring in Practice
- METAFUNCTIONS: Prototypes for Calculations in a Groupware Environment
- MMTk: A Design Plan for the Next Generation Memory Management Toolkit
- No Silver Bullet – Essence and Accidents of Software Engineering
- On Understanding Types, Data Abstraction, and Polymorphism
- Organizing Programs Without Classes
- Statecharts: A Visual Formalism For Complex Systems
- Teaching Software Engineering for Game Development
- The C++ Programming Language and its Applications
- The Early History Of Smalltalk
- Theory in Programming Practice
- Towards a framework for programming environments
- Towards Understanding the Nature of Architectural Problems
- Traits: A Mechanism for Fine-Grained Reuse
- UML and Model Driven Architecture: A Practical Approach
- Warnings for Pattern Matching
- Why Functional Programming Matters