Hausi A. Müller

According to our database1, Hausi A. Müller authored at least 181 papers between 1984 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Guest editors' introduction to the special issue on Model Driven Engineering and Reverse Engineering: Research and Practice.
J. Syst. Softw., 2020

Preface.
J. Comput. Sci. Technol., 2020

On the Engineering of IoT-Intensive Digital Twin Software Systems.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

2019
An architectural framework for quality-driven adaptive continuous experimentation.
Proceedings of the Joint 4th International Workshop on Rapid Continuous Software Engineering and 1st International Workshop on Data-Driven Decisions, 2019

Modelling and analysing resilient cyber-physical systems.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Towards continuous monitoring in personalized healthcare through digital twins.
Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, 2019

Quantum computing: challenges and opportunities.
Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, 2019

2018
DevOps' Shift-Left in Practice: An Industrial Case of Application.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2018

DevOps Round-Trip Engineering: Traceability from Dev to Ops and Back Again.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2018

UML-driven automated software deployment.
Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering, 2018

2017
The Rise of Intelligent Cyber-Physical Systems.
Computer, 2017

Internet of Things: Part 4.
IEEE Commun. Mag., 2017

Internet of Things: Part 3.
IEEE Commun. Mag., 2017

Internet of Things: Part 2.
IEEE Commun. Mag., 2017

Cognitive intelligent personal assistants / agents.
Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, 2017

Deployment Specification challenges in the context of large scale systems.
Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, 2017

Foodie fooderson a conversational agent for the smart kitchen.
Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, 2017

2016
ACon: A learning-based approach to deal with uncertainty in contextual requirements at runtime.
Inf. Softw. Technol., 2016

Internet of Things: Part 1.
IEEE Commun. Mag., 2016

Engineering cybersecurity in cyber physical systems.
Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016

2015
Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2015-11).
NII Shonan Meet. Rep., 2015

Dynamis: Effective Context-Aware Web Service Selection Using Dynamic Attributes.
Future Internet, 2015

SERVICES 2015 Visionary Track on Web Tasking.
Proceedings of the 2015 IEEE World Congress on Services, 2015

4th International Workshop on Green and Sustainable Software (GREENS 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Adaptive Management of Energy Consumption Using Adaptive Runtime Models.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

Context-aware real-time video analytics.
Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015

Engineering cyber physical systems.
Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015

Towards a context-aware mobile app management framework.
Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015

2014
Introduction to the Special Section on Best Papers from SEAMS 2012.
ACM Trans. Auton. Adapt. Syst., 2014

Leveraging "energy efficiency to software users": summary of the second GREENS workshop, at ICSE 2013.
ACM SIGSOFT Softw. Eng. Notes, 2014

Context-Based Face Recognition for Smart Web Tasking Applications.
Proceedings of the 2014 IEEE World Congress on Services, 2014

Personalized Web-Tasking Applications: An Online Grocery Shopping Prototype.
Proceedings of the 2014 IEEE World Congress on Services, 2014

Self-adaptive applications: on the development of personalized web-tasking systems.
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Smart autoflight control systems.
Proceedings of 24th Annual International Conference on Computer Science and Software Engineering, 2014

Exploiting social context in personalized web-tasking applications.
Proceedings of 24th Annual International Conference on Computer Science and Software Engineering, 2014

Runtime Evolution of Highly Dynamic Software.
Proceedings of the Evolving Software Systems, 2014

2013
Exploring initial challenges for green software engineering: summary of the first GREENS workshop, at ICSE 2012.
ACM SIGSOFT Softw. Eng. Notes, 2013

Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7).
NII Shonan Meet. Rep., 2013

Combining service-orientation and software product line engineering: A systematic mapping study.
Inf. Softw. Technol., 2013

Software engineering for the industrial Internet: Situation-aware smart applications.
Proceedings of the 15th IEEE International Symposium on Web Systems Evolution, 2013

Legal aspects of web systems.
Proceedings of the 15th IEEE International Symposium on Web Systems Evolution, 2013

Towards Smarter Task Applications.
Proceedings of the IEEE Ninth World Congress on Services, 2013

PALTask Chat: A Personalized Automated Context Aware Web Resources Listing Tool.
Proceedings of the IEEE Ninth World Congress on Services, 2013

Towards Personalized Web-Tasking: Task Simplification Challenges.
Proceedings of the IEEE Ninth World Congress on Services, 2013

Improving context-awareness in self-adaptation using the DYNAMICO reference model.
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

2nd international workshop on green and sustainable software (GREENS 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

RPC automation: making legacy code relevant.
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013


The SmarterContext Ontology and Its Application to the Smart Internet: A Smarter Commerce Case Study.
Proceedings of the Personal Web - A Research Agenda, 2013

2nd International Workshop on Personalized Web Tasking.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2013

NewsCast: an adaptive video stream production and delivery system.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2013

Dynamic context extraction in personal communication applications.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2013

2012
Web Service Assurance: The Notion and the Issues.
Future Internet, 2012

Surprise: user-controlled granular privacy and security for personal data in SmarterContext.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2012

Situation-aware smarter commerce.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2012

SmarterDeals: a context-aware deal recommendation system based on the smartercontext engine.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2012

2011
Optimizing run-time SOA governance through context-driven SLAs and dynamic monitoring.
Proceedings of the 5th IEEE International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems, 2011

On supporting dynamic web service selection with histogramming.
Proceedings of the 5th IEEE International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems, 2011

A framework for evaluating quality-driven self-adaptive software systems.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Characterizing problems for realizing policies in self-adaptive and self-managing systems.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Using Models at Runtime to Address Assurance for Self-Adaptive Systems.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

Self-Healing Distributed Scheduling Platform.
Proceedings of the 11th IEEE/ACM International Symposium on Cluster, 2011

A dynamic context management infrastructure for supporting user-driven web integration in the personal web.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

Smarter commerce: innovative customer scenarios powered by the combined impact of innovative technologies.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

YaKit: a locality based messaging system using iCon overlay.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

2010
Reverse Engineering.
Proceedings of the Encyclopedia of Software Engineering, 2010

Rigi - An environment for software reverse engineering, exploration, visualization, and redocumentation.
Sci. Comput. Program., 2010

The Tools Perspective on Software Reverse Engineering: Requirements, Construction, and Evaluation.
Adv. Comput., 2010

Emerging Faculty Symposium 2010.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

DYNAMICO: A Reference Model for Governing Control Objectives and Context Relevance in Self-Adaptive Software Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010


10431 Report - Software Engineering for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010

10431 Abstracts Collection - Software Engineering for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010

Integrated system diagnosis and root cause analysis.
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

Managing Dynamic Context to Optimize Smart Interactions and Services.
Proceedings of the Smart Internet - Current Research and Future Applications, 2010

Migrating to SOA: approaches, challenges, and lessons learned.
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

Dynamic context-aware applications: approaches and challenges.
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009
Guest Editors' Introduction to the Special Section from the International Conference on Software Maintenance.
IEEE Trans. Software Eng., 2009

Static-Discovery Dynamic-Selection (SDDS) Approach to Web Service Discovery.
Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

Towards self-adaptive software-intensive systems.
Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, 2009

SEAMS 2009: Software engineering for adaptive and self-managing systems.
Proceedings of the 31st International Conference on Software Engineering, 2009

Investigating the Concept of Consumers as Producers in Virtual Worlds: Looking through Social, Technical, Economic, and Legal Lenses.
Proceedings of the Facets of Virtual Environments - First International Conference, 2009

Complexity of Virtual Worlds' Terms of Service.
Proceedings of the Facets of Virtual Environments - First International Conference, 2009


Engineering Self-Adaptive Systems through Feedback Loops.
Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

5th International Workshop on Adoption-Centric Software Engineering (ACSE 2009).
Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research, 2009

SOA governance.
Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research, 2009

Root cause analysis and diagnosis in SOA and cloud environments.
Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research, 2009

Software engineering 2.0 & research 2.0.
Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research, 2009

2008
Managing legal risks associated with intellectual property on the web.
Int. J. Bus. Inf. Syst., 2008

Policy and Legal Challenges of Virtual Worlds and Social Network Sites
CoRR, 2008

Self-Adaptive Software-Intensive Legacy Systems.
Proceedings of the 10th Workshop Software Reengineering, 5-7 May 2008, Bad Honnef, Germany, 2008

Research challenges in management and compliance of policies on the web.
Proceedings of the 10th IEEE International Symposium on Web Systems Evolution, 2008

Towards a Process for Developing Maintenance Tools in Academia.
Proceedings of the WCRE 2008, 2008

Policy and Legal Challenges of VirtualWorlds and Social Network Sites.
Proceedings of the First International Workshop on Requirements Engineering and Law, 2008

Autonomic Computing Now You See It, Now You Don't.
Proceedings of the Software Engineering, International Summer Schools, 2008

Characterizing maintainability concerns in autonomic element design.
Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

A domain-customizable SVG-based graph editor for software visualizations.
Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

2nd International Workshop on Advanced Software Development Tools and Techniques (WASDeTT): Tools for software maintenance, visualization, and reverse engineering.
Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

Visibility of control in adaptive systems.
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, 2008

Monitoring in adaptive systems using reflection.
Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

2007
A WSAD-Based Fact Extractor for J2EE Web Projects.
Proceedings of the 9th IEEE International Symposium on Web Systems Evolution, 2007

Dependencies Analysis of Azureus with Rigi: Tool Demo Challenge.
Proceedings of the 4th IEEE International Workshop on Visualizing Software for Understanding and Analysis, 2007

Requirements of Software Visualization Tools: A Literature Survey.
Proceedings of the 4th IEEE International Workshop on Visualizing Software for Understanding and Analysis, 2007

Quality Criteria and an Analysis Framework for Self-Healing Systems.
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

Summery of the 2<sup>nd</sup> International Workshop on Incorporating COTS Software into Software Systems (IWICSS): Tools and Techniques.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

A Proposal for an Autonomic Grid Management System.
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

Interoperability "Pain Points" in SMEs.
Proceedings of the Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2007

A Lightweight Taxonomy to Characterize Component-Based Systems.
Proceedings of the Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2007

2006
Bits of History, Challenges for the Future and Autonomic Computing Technology.
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

A design for adaptive web service evolution.
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006

Software engineering for adaptive and self-managing systems.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

A design technique for evolving web services.
Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, 2006

Geist3D, a Simulation Tool for Geometry-Driven Petri Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005
Guest Editors' Introduction: Integrating COTS into the Development Process.
IEEE Softw., 2005

<username>, i need you!: initiative and interaction in autonomic systems.
ACM SIGSOFT Softw. Eng. Notes, 2005

DEAS 2005: workshop on the design and evolution of autonomic application software.
ACM SIGSOFT Softw. Eng. Notes, 2005

REGoLive: Building a Web Site Comprehension Tool by Extending GoLive.
Proceedings of the Seventh IEEE International Workshop on Web Site Evolution (WSE 2005), 2005

REGoLive: Web Site Comprehension with Viewpoints.
Proceedings of the 13th International Workshop on Program Comprehension (IWPC 2005), 2005

2004
On the business value and technical challenges of adopting Web services.
J. Softw. Maintenance Res. Pract., 2004

Legal Concerns of Web Site Reverse Engineering.
Proceedings of the 6th International Workshop on Web Site Evolution (WSE 2004), 2004

Intellectual property aspects of web publishing.
Proceedings of the 22nd Annual International Conference on Design of Communication: The Engineering of Quality Documentation, 2004

4th International Workshop on Adoption-Centric Software Engineering.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003
Development and Maintenance of a Web Site for a Bachelor Program.
Proceedings of the 5th International Workshop on Web Site Evolution (WSE 2003), 2003

Leveraging Visio for Adoption-Centric Reverse Engineering Tools.
Proceedings of the 10th Working Conference on Reverse Engineering, 2003

3rd International Workshop on Adoption-centric Software Engineering ACSE 2003.
Proceedings of the 25th International Conference on Software Engineering, 2003

2002
Adoption Challenges in Migrating to Web Services.
Proceedings of the 4th International Workshop on Web Site Evolution (WSE 2002), 2002

Live documents with contextual, data-driven information components.
Proceedings of the 20st annual international conference on Documentation, 2002

Fused Data-Centric Visualizations for Software Evolution Environments.
Proceedings of the 10th International Workshop on Program Comprehension (IWPC 2002), 2002

A Framework for Live Software Upgrade.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

Predicting Fault-Proneness using OO Metrics: An Industrial Case Study.
Proceedings of the 6th European Conference on Software Maintenance and Reengineering (CSMR 2002), 2002

C to Java Migration Experiences.
Proceedings of the 6th European Conference on Software Maintenance and Reengineering (CSMR 2002), 2002

2001
Shimba - an environment for reverse engineering Java software systems.
Softw. Pract. Exp., 2001

Leveraging Program Analysis for Web Site Reverse Engineering.
Proceedings of the 3rd International Workshop on Web Site Evolution (WSE 2001), 2001

Integrating Information Sources for Visualizing Java Programs.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

Strategies for Migration from C to Java.
Proceedings of the Fifth Conference on Software Maintenance and Reengineering, 2001

2000
How do program understanding tools affect how programmers understand programs?
Sci. Comput. Program., 2000

Analyzing xfig Using the Rigi Tool Suite.
Proceedings of the Seventh Working Conference on Reverse Engineering, 2000

Program Comprehension and Software Migration Strategies.
Proceedings of the 8th International Workshop on Program Comprehension (IWPC 2000), 2000

Reverse engineering: a roadmap.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Analyzing Java Software by Combining Metrics and Program Visualization.
Proceedings of the 4th European Conference on Software Maintenance and Reengineering, 2000

1999
Customizing a Fisheye View Algorithm to Preserve the Mental Map.
J. Vis. Lang. Comput., 1999

Guest Editorial: Introduction to the Special Section - International Conference on Software Maintenance (ICSM'97).
IEEE Trans. Software Eng., 1999

Cognitive design elements to support the construction of a mental model during software exploration.
J. Syst. Softw., 1999

CHIME: Customizable Hyperlink Insertion and Maintenance Engine for Software Engineering Environments.
Proceedings of the 1999 International Conference on Software Engineering, 1999

1998
Code migration through transformations: an experience report.
Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30, 1998

1997
The Software Bookshelf.
IBM Syst. J., 1997

Cognitive Design Elements to Support the Construction of a Mental Model during Software Visualization.
Proceedings of the 5th International Workshop on Program Comprehension (WPC '97), May 28-30, 1997, 1997

On Integrating Visualization Techniques for Effective Software Exploration.
Proceedings of the 1997 IEEE Symposium on Information Visualization (InfoVis '97), 1997

Wrapping coarse-grained objects using standard infrastructure technology.
Proceedings of the 1997 International Conference on Software Maintenance (ICSM '97), 1997

Rigi: A Visualization Environment for Reverse Engineering.
Proceedings of the Pulling Together, 1997

Reverse Engineering Strategies for Software Migration (Tutorial).
Proceedings of the Pulling Together, 1997

1996
On Designing an Experiment to Evaluate a Reverse Engineering Tool.
Proceedings of the 3rd Working Conference on Reverse Engineering, 1996

1995
Structural Redocumentation: A Case Study.
IEEE Softw., 1995

Timing analysis for synthesis of hardware interface controllers using timed signal transition graphs.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Manipulating and documenting software structures using SHriMP views.
Proceedings of the International Conference on Software Maintenance, 1995

Graph Layout Adjustment Strategies.
Proceedings of the Graph Drawing, Symposium on Graph Drawing, GD '95, Passau, 1995

Using an integrated toolset for program understanding.
Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, 1995

1994
Serial and Parallel Algorithms for (k, 2)-Partite Graphs.
J. Parallel Distributed Comput., 1994

Programmable Reverse Engineering.
Int. J. Softw. Eng. Knowl. Eng., 1994

Investigating Reverse Engineering Technologies for the CAS Program Understanding Project.
IBM Syst. J., 1994

Understanding Software Systems Using Reverse Engineering Technology.
Proceedings of the Object-Oriented Technology for Database and Software Systems, 1994

Towards an integrated toolset for program understanding.
Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

1993
A reverse-engineering approach to subsystem structure identification.
J. Softw. Maintenance Res. Pract., 1993

Personalized information structures (solution session).
Proceedings of the 11th Annual International Conference on Systems Documentation, 1993

Personalized information structures.
Proceedings of the 11th Annual International Conference on Systems Documentation, 1993

Domain-Retargetable Reverse Engineering.
Proceedings of the Conference on Software Maintenance, 1993

Understanding software systems using reverse engineering technology perspectives from the Rigi project.
Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

A Temporal Algebra Based on an Abstract Model.
Proceedings of the Advances in Database Research, 1993

1992
Documenting software systems with views.
Proceedings of the 10th Annual International Conference on Systems Documentation, 1992

A reverse engineering environment based on spatial and visual software interconnection models.
Proceedings of the SDE 5: 5th ACM SIGSOFT Symposium on Software Development Environments, 1992

Experimental Software Engineering Should Concentrate on Software Evolution.
Proceedings of the Experimental Software Engineering Issues: Critical Assessment and Future Directions, 1992

1991
INFO: a simple document annotation facility.
Proceedings of the 9th Annual International Conference on Systems Documentation, 1991

1990
Composing subsystem structures using (k, 2)-partite graphs.
Proceedings of the Conference on Software Maintenance, 1990

1988
Rigi - A System for Programming-in-the-Large.
Proceedings of the Proceedings, 1988

1986
Efficient recompilation of module interfaces in a software development environment.
Proceedings of the SESPSDE'86: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1986

1984
Differences between Modula-2 and Pascal.
ACM SIGPLAN Notices, 1984


  Loading...