Search results for "program debugging"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Eui Hyun Paik, Young-Sik Chung, Byung-Sun Lee, Chae Woo Yoo	A concurrent program debugging environment using real-time replay. (PDF / PS)	ICPADS	1997	DBLP DOI BibTeX RDF	concurrent program debugging environment, real-time replay, error-occurred execution, event history file, program debugging, process scheduling, message latencies
3	Lu Xu, Michal Young	Two Dimensional Concurrent Program Debugging.	APSEC	1995	DBLP DOI BibTeX RDF	Concurrent Program Debugging, Program Dependence Analysis, Software Engineering, Dynamic Slice
3	Bülent Abali, Craig B. Stunkel	Time synchronization on SP1 and SP2 parallel systems. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	SP2 parallel system, SP1 parallel system, experimental time utility, operating system clocks, node clocks, synchronous feature, parallel program performance measurement, parallel program tuning, parallel program tracing, parallel program debugging, parallel processes, interconnection network, multiprocessor interconnection networks, multiprocessor interconnection networks, parallel machines, parallel machines, synchronisation, synchronisation, processor scheduling, processor scheduling, software performance evaluation, software performance evaluation, program debugging, program debugging, clocks, clocks, operating systems (computers), operating systems (computers), time synchronization, gang scheduling, reduced instruction set computing, reduced instruction set computing
3	Bogdan Korel	PELAS - Program Error-Locating Assistant System.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	PELAS, program error-locating assistant system, error localization assistant, Pascal programs, knowledge representation, knowledge representation, software tools, knowledge based system, knowledge based systems, program verification, reasoning, Pascal, interactive systems, program debugging, program debugging, program structure, dependence network
3	Thomas G. Moher	PROVIDE: A Process Visualization and Debugging Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	process visualization environment, PROVIDE, University of Illinois, deferred-binding program animation, process history consistency maintenance, Macintosh workstations, VAX 11/780, 4.2 BSD Unix, computer graphics, programming environments, program debugging, program debugging, program execution, interactive computer graphics, debugging environment
2	W. Eric Wong, Tingting Wei, Yu Qi, Lei Zhao	A Crosstab-based Statistical Method for Effective Fault Localization.	ICST	2008	DBLP DOI BibTeX RDF	crosstab analysis, contingency coefficient, program debugging, fault localization, hypothesis test, Chi-square test
2	Shaochun Xu, Václav Rajlich	Cognitive Process during Program Debugging.	IEEE ICCI	2004	DBLP DOI BibTeX RDF
2	W. Eric Wong, Yu Qi	An Execution Slice and Inter-Block Data Dependency-Based Approach for Fault Localization.	APSEC	2004	DBLP DOI BibTeX RDF	inter-block data dependency, Software testing, program debugging, fault localization, execution slice
2	Pablo Romero, Rudi Lutz, Richard Cox, Benedict du Boulay	Co-Ordination of Multiple External Representations during Java Program Debugging.	HCC	2002	DBLP DOI BibTeX RDF
2	Pablo Romero, Richard Cox, Benedict du Boulay, Rudi Lutz	Visual Attention and Representation Switching During Java Program Debugging: A Study Using the Restricted Focus Viewer.	Diagrams	2002	DBLP DOI BibTeX RDF
2	Habib Ammari	Towards Program Debugging and Dynamic Reverse Engineering Using Multi-procedure Program Dynamic Decomposition.	HICSS	1997	DBLP DOI BibTeX RDF	dynamic reverse engineering, dynamic decomposition, dynamic dependency relations, program execution path, dynamic program thread, dynamic lattice, incremental dynamic lattice, Software engineering, debugging
2	David H. Jameson	Building real-time music tools visually with Sonnet. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	Sonnet, interactive music tools, sonification experiments, real-time event-driven applications, real-time systems, music, visual programming, visual languages, interactive systems, program debugging, program debugging, system monitoring, visual programming language, program monitoring
2	Yoshihiro Tohma, Hisashi Yamano, Morio Ohba, Raymond Jacoby	The Estimation of Parameters of the Hypergeometric Distribution and Its Application to the Software Reliability Growth Model.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	program fault estimation, least-squares sum method, software reliability, parameter estimation, parameter estimation, program testing, program testing, program debugging, program debugging, least squares approximations, software reliability growth model, hypergeometric distribution
2	Beatrice Lazzerini, Lanfranco Lopriore	Abstraction Mechanisms for Event Control in Program Debugging.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	event control, program entities, program statements, program debugginga, data structures, monitoring, program debugging, conditionals, abstraction mechanisms
2	Robert J. Fowler, Thomas J. LeBlanc, John M. Mellor-Crummey	An Integrated Approach to Parallel Program Debugging and Performance Analysis of Large-Scal Multiprocessors.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
2	Gene Fisher	An Overview of a Graphical Multilanguage Applications Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	graphical multilanguage applications environment, Pascal-class languages, multilanguage interpreter, interactive development, graphical program interface, software control panel, graphical design tool, executable block diagrams, user interfaces, user interfaces, software tools, software tools, programming environment, programming environments, program debugging, program debugging, program interpreters, engineering graphics, engineering graphics, program execution, engineering applications
1	Wei Li, Ning Li	A formal semantics for program debugging.	SCIENCE CHINA Information Sciences	2012	DBLP DOI BibTeX RDF
1	Prateek Hejmady, N. Hari Narayanan	Visual attention patterns during program debugging with an IDE.	ETRA	2012	DBLP DOI BibTeX RDF
1	Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid	Constraint-Based Program Debugging Using Data Structure Repair.	ICST	2011	DBLP DOI BibTeX RDF
1	Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand	The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging.	TAP	2011	DBLP DOI BibTeX RDF
1	Franz Wotawa, Mihai Nica	Program Debugging Using Constraints - Is it Feasible?	QSIC	2011	DBLP DOI BibTeX RDF
1	Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand	Combining Static Analysis and Test Generation for C Program Debugging.	TAP	2010	DBLP DOI BibTeX RDF
1	Yongmei Liu, Bing Li	Automated Program Debugging Via Multiple Predicate Switching.	AAAI	2010	DBLP BibTeX RDF
1	Vidroha Debroy, W. Eric Wong	Using Mutation to Automatically Suggest Fixes for Faulty Programs.	ICST	2010	DBLP DOI BibTeX RDF	fault-fixing, software testing, program debugging, fault localization, mutation
1	Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller	Automated fixing of programs with contracts.	ISSTA	2010	DBLP DOI BibTeX RDF	automatic debugging, automatic fixing, dynamic invariants, program synthesis
1	Sebastian Fischmeister, Yanmeng Ba	Sampling-based program execution monitoring.	LCTES	2010	DBLP DOI BibTeX RDF	embedded system, monitoring, debugging, sampling, tracing
1	Franz Wotawa, Jörg Weber, Mihai Nica, Rafael Ceballos	On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics.	CAEPIA	2009	DBLP DOI BibTeX RDF
1	Giovani Gracioli, Sebastian Fischmeister	Tracing interrupts in embedded software.	LCTES	2009	DBLP DOI BibTeX RDF	real-time systems, debugging, tracing, embedded software
1	Zakarya Alzamil	Application of redundant computation in program debugging.	Journal of Systems and Software	2008	DBLP DOI BibTeX RDF
1	Yongmei Liu	A Formalization of Program Debugging in the Situation Calculus.	AAAI	2008	DBLP BibTeX RDF
1	Wes Masri	Exploiting the empirical characteristics of program dependences for improved forward computation of dynamic slices.	Empirical Software Engineering	2008	DBLP DOI BibTeX RDF	Forward computation, Program analysis, Program debugging, Memoization, Dynamic slicing, Program dependence
1	Fei Pu, Yan Zhang	Localizing Program Errors via Slicing and Reasoning.	HASE	2008	DBLP DOI BibTeX RDF
1	Claudio Ochoa, Josep Silva, Germán Vidal	Dynamic slicing of lazy functional programs based on redex trails.	Higher-Order and Symbolic Computation	2008	DBLP DOI BibTeX RDF	Lazy functional programming, Redex trails, Debugging, Slicing
1	Jui-Feng Weng, Shian-Shyong Tseng, Jun-Ming Su, Yang-Ching Fan	Constructing a Test Item Generator for Program Debugging Assessment.	FECS	2007	DBLP BibTeX RDF
1	Cemal Yilmaz, Clay Williams	An automated model-based debugging approach.	ASE	2007	DBLP DOI BibTeX RDF	model-based problem determination, fault localization, automated debugging
1	Shaochun Xu, Zendi Cui, Yufeng Gui	Cognitive Process during Incremental Software Development.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
1	Sébastien Labbé, Jean-Pierre Gallois, Marc Pouzet	Slicing Communicating Automata Specifications for Efficient Model Reduction.	ASWEC	2007	DBLP DOI BibTeX RDF
1	W. Eric Wong, Yu Qi	Effective program debugging based on execution slices and inter-block data dependency.	Journal of Systems and Software	2006	DBLP DOI BibTeX RDF
1	Fumiaki Ohata, Katsuro Inoue	JAAT: Java Alias Analysis Tool for Program Maintenance Activities.	ISORC	2006	DBLP DOI BibTeX RDF
1	Iain C. C. Phillips, Irek Ulidowski	Reversing Algebraic Process Calculi.	FoSSaCS	2006	DBLP DOI BibTeX RDF
1	Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García	Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor).	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
1	Roman Bednarik, Markku Tukiainen	Effects of display blurring on the behavior of novices and experts during program debugging.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	experimental tools, visual attention, psychology of programming, eye-movement tracking
1	Masao Maruyama, Tomoaki Tsumura, Hiroshi Nakashima	Parallel Program Debugging based on Data-Replay.	IASTED PDCS	2005	DBLP BibTeX RDF
1	Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla	Abstraction carrying code and resource-awareness.	PPDP	2005	DBLP DOI BibTeX RDF	granularity control, mobile code certification, programming languages, abstract interpretation, program verification, distributed programming, program debugging, cost analysis, resource awareness
1	W. Eric Wong, J. Jenny Li	An Integrated Solution for Testing and Analyzing Java Applications in an Industrial Setting.	APSEC	2005	DBLP DOI BibTeX RDF	eXVantage, JBT, program debugging, Code coverage, performance profiling, execution slicing
1	Tao Wang, Abhik Roychoudhury	Automated path generation for software fault localization.	ASE	2005	DBLP DOI BibTeX RDF	program comprehension, automated debugging
1	Baowen Xu, Ju Qian, Xiaofang Zhang, Zhongqiang Wu, Lin Chen	A brief survey of program slicing.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	debugging, program analysis, program slicing, dependence analysis, pointer analysis
1	Hoon-Joon Kouh, Sun-Moon Jo, Weon-Hee Yoo	Design of HDTS System for Locating Logical Errors in Java Programs.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF	HDTS, Logical Errors, Java, Debugging
1	Yulin Ding, Yan Zhang	A Logic Approach for LTL System Modification.	ISMIS	2005	DBLP DOI BibTeX RDF	belief revision and update, model checking, temporal reasoning, Logic for Artificial Intelligence, model update
1	Simon Huband, Chris McDonald	Parallel program debugging by specification.	Concurrency - Practice and Experience	2004	DBLP DOI BibTeX RDF
1	Denise Stringhini	Parallel program debugging: interface design and implementation.	CCGRID	2004	DBLP DOI BibTeX RDF
1	Camil Demetrescu, Irene Finocchi	A portable virtual machine for program debugging and directing.	SAC	2004	DBLP DOI BibTeX RDF	directors, virtual machines, debugging, reversible computing
1	Roman Bednarik, Markku Tukiainen	Visual attention tracking during program debugging.	NordiCHI	2004	DBLP DOI BibTeX RDF	visual attention, psychology of programming, eye-movement tracking
1	Nam Thoai, Dieter Kranzlmüller, Jens Volkert	Using checkpointing for fault tolerance and parallel program debugging.	Parallel and Distributed Computing and Networks	2004	DBLP BibTeX RDF
1	Pablo Romero, Benedict du Boulay	Structural Knowledge and Language Notational Properties in Program Comprehension.	VL/HCC	2004	DBLP DOI BibTeX RDF	knowledge representation, program comprehension, program debugging
1	Jan Lönnberg, Ari Korhonen, Lauri Malmi	MVT: a system for visual testing of software.	AVI	2004	DBLP DOI BibTeX RDF	execution history logging, visual testing, bytecode instrumentation, visual debugging, algorithm simulation
1	Claudio Ochoa, Josep Silva, Germán Vidal	Dynamic slicing based on redex trails.	PEPM	2004	DBLP DOI BibTeX RDF	lazy functional logic programming, redex trails, slicing
1	Nikunja Swain, Mrutyunjaya Swain	Design and development of computer networking modules using virtual instruments and object oriented programming.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	IP classes, dotted decimal notation, java/visual basic, router forwarding, subnet & subnet mask, TCP/IP, virtual instruments, routing table
1	Tao Wang, Abhik Roychoudhury	Using Compressed Bytecode Traces for Slicing Java Programs.	ICSE	2004	DBLP DOI BibTeX RDF
1	Raghu Ramakrishnan, Andrew Baptist, Vuk Ercegovac, Matt Hanselman, Navin Kabra, Amit Marathe, Uri Shaft	Mass Collaboration: A Case Study.	IDEAS	2004	DBLP DOI BibTeX RDF
1	Durga Prasad Mohapatra, Rajib Mall, Rajeev Kumar	An Efficient Technique for Dynamic Slicing of Concurrent Java Programs.	AACC	2004	DBLP DOI BibTeX RDF
1	Hoon-Joon Kouh, Ki-Tae Kim, Sun-Moon Jo, Weon-Hee Yoo	Debugging of Java Programs Using HDT with Program Slicing.	ICCSA	2004	DBLP DOI BibTeX RDF
1	Durga Prasad Mohapatra, Rajib Mall, Rajeev Kumar	A Novel Approach for Dynamic Slicing of Distributed Object-Oriented Programs.	ICDCIT	2004	DBLP DOI BibTeX RDF
1	Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo	Determinacy Analysis for Logic Programs Using Mode and Type Information.	LOPSTR	2004	DBLP DOI BibTeX RDF	Determinacy Inference, Program Analysis, Types, Modes
1	Dieter Kranzlmüller, Axel Rimnac	Parallel Program Debugging with MAD - A Practical Approach.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
1	Amruth N. Kumar	A Reified Interface for a Tutor on Program Debugging.	ICALT	2003	DBLP DOI BibTeX RDF
1	Ankit Goel, Abhik Roychoudhury, Tulika Mitra	Compactly representing parallel program executions.	PPOPP	2003	DBLP DOI BibTeX RDF	program path compression, dynamic program analysis, path profiling
1	Takashi Ishio, Shinji Kusumoto, Katsuro Inoue	Program Slicing Tool for Effective Software Evolution Using Aspect-Oriented Technique.	IWPSE	2003	DBLP DOI BibTeX RDF
1	Philip J. Boland, Harshinder Singh, Bojan Cukic	Comparing Partition and Random Testing via Majorization and Schur Functions.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Schur functions, random testing, Partition testing, software debugging, majorization
1	Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García	Program Debugging and Validation Using Semantic Approximations and Partial Specifications.	ICALP	2002	DBLP DOI BibTeX RDF
1	Dieter Kranzlmüller	Scalable Parallel Program Debugging with Process Isolation and Grouping. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF
1	Clinton Jeffery, Mikhail Auguston, Scott Underwood	Towards Fully Automatic Execution Monitoring.	RISSEF	2002	DBLP DOI BibTeX RDF
1	Abdallah Tubaishat	A Knowledge Base for Program Debugging.	AICCSA	2001	DBLP DOI BibTeX RDF
1	Fumiaki Ohata, Kouya Hirose, Masato Fujii, Katsuro Inoue	A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic Information.	APSEC	2001	DBLP DOI BibTeX RDF
1	Dieter Kranzlmüller, Christian Schaubschläger, Jens Volkert	Array Visualization for Parallel Program Debugging.	PDPTA	2000	DBLP BibTeX RDF
1	Susan Craw, Robin Boswell	Debugging knowledge-based applications with a generic toolkit.	ICTAI	2000	DBLP DOI BibTeX RDF	generic toolkit, knowledge refinement tools, knowledge based system maintenance, knowledge based system debugging, fault correction, KRUSTWorks toolkit, aerospace knowledge-based systems, knowledge based systems, knowledge engineering, program debugging, POWER-MODEL, CLIPS, aerospace computing, shells, fault identification
1	Seungwoo Son, Chaedeok Lim, Heung-Nam Kim	Debugging protocol for remote cross development environment.	RTCSA	2000	DBLP DOI BibTeX RDF	debugging protocol, remote cross development environment, Internet appliances, embedded software development tools, host tools, binary utilities, remote debugger, interactive shell, real time resource monitors, heavy host-target communication overhead, target monitor programs, host-resident tools, target agent, Esto, Embedded Systems Toolset, Internet based embedded applications, Internet, embedded systems, protocols, program debugging, operating systems (computers), RTOS, UDP/IP, cross compilers
1	Trent Hill, James Noble, John Potter	Scalable Visualisations with Ownership Trees.	TOOLS	2000	DBLP DOI BibTeX RDF	program visualisation, scalable visualisations, ownership trees, top-level components, implicit aggregation structure, scale-independent topology, low-level data structure, software visualisation tool, learning, object-oriented programming, object-oriented programs, software maintenance, debugging, computer science education, teaching, program debugging, tree data structures, abstraction levels, object graph, program maintenance
1	Sotiris Skevoulis, Xiaoping Jia	Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.	TOOLS	2000	DBLP DOI BibTeX RDF	generic invariant-based static analysis tool, runtime error detection, automatic bug detection, illegal dereference, array bounds, Java class, Java, object-oriented programming, object oriented language, program debugging, program diagnostics, Java programs
1	Simone Tini, Andrea Maggiolo-Schettini	A Causal Semantics for Timed Default Concurrent Constraint Programming.	AMAST	2000	DBLP DOI BibTeX RDF
1	Ton Ngo, John J. Barton	Debugging by Remote Reflection.	Euro-Par	2000	DBLP DOI BibTeX RDF
1	Dieter Kranzlmüller, Rene Kobler, Rainer Koppler, Jens Volkert	Debugging MPI Programs with Array Visualization.	HPCN	2000	DBLP DOI BibTeX RDF
1	Frédéric Goualard, Frédéric Benhamou	A Visualization Tool for Constraint Program Debugging. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF	constraint store, user interface, program understanding, constraint programming, local consistency, debugger
1	Dimitrios I. Rigas, Mark A. R. Kirby, Daniel O'Connel	AUDIOTEST: Utilising Audio to Communicate Information in Program Debugging.	HCI	1999	DBLP BibTeX RDF
1	Dieter Kranzlmüller, Roland Hügl, Jens Volkert	MAD - A Top Down Approach to Parallel Program Debugging.	HPCN	1999	DBLP DOI BibTeX RDF
1	Simon Huband, Chris McDonald	Debugging Parallel Programs Using Incomplete Information.	IWCC	1999	DBLP DOI BibTeX RDF	parallel program debugging, graph distance, maximal common subgraph, topology
1	Camil Demetrescu, Irene Finocchi	A Technique for Generating Graphical Abstractions of Program Data Structures.	VISUAL	1999	DBLP DOI BibTeX RDF
1	Nammee Moon, Kiho Lee	Automatic program debugging system for programming language tutoring system.	Computers and Their Applications	1998	DBLP BibTeX RDF
1	Wlodzimierz Drabent, Pawel Pietrzak	Type Analysis for CHIP.	AMAST	1998	DBLP DOI BibTeX RDF
1	Lin Lian, Shinji Kusumoto, Tohru Kikuno, Ken-ichi Matsumoto, Koji Torii	A new fault localizing method for the program debugging process.	Information & Software Technology	1997	DBLP DOI BibTeX RDF
1	Bogdan Korel, Juergen Rilling	Application of Dynamic Slicing in Program Debugging.	AADEBUG	1997	DBLP BibTeX RDF
1	Dieter Kranzlmüller, Andre Christanell, Jens Volkert	Supporting Parallel Program Debugging through Control and Data Flow Analysis.	PARCO	1997	DBLP BibTeX RDF
1	R. Gaugne	A Static Analysis for Program Understanding and Debugging. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	static pointer analysis technique, C subset, user-defined assertions, static assertions, hypothetical assertions, circular structures, reverse engineering, program understanding, program debugging, automatic verification, assumptions, recursive data structures
1	Dieter Kranzlmüller, Siegfried Grabner, Jens Volkert	Using Control and Data Flow Analysis for Race Evaluation.	Euro-Par	1997	DBLP DOI BibTeX RDF	event manipulation, Debugging, program analysis, race conditions
1	Markus Stumptner, Franz Wotawa	Model-Based Program Debugging and Repair.	IEA/AIE	1996	DBLP BibTeX RDF
1	Dieter Kranzlmüller, Andre Christanell, Siegfried Grabner, Jens Volkert	Control and Data Flow Analysis for Parallel Program Debugging.	VECPAR	1996	DBLP DOI BibTeX RDF
1	Brian Mitchell, Steven J. Zeil	A Reliability Model Combining Representative and Directed Testing.	ICSE	1996	DBLP BibTeX RDF	fault revelation, interfailure time, post-mortem debugged fault analysis, reliability estimate updating, representative testing, software quality, software reliability, fault detection, program testing, statistics, program debugging, functional testing, program diagnostics, structural testing, random processes, order statistics, reliability model, quantification, random variable, failure rates, directed testing
1	Zhiqing Liu	A persistent runtime system using persistent data structures.	SAC	1996	DBLP DOI BibTeX RDF	persistent runtime system, recording granularity, time and space complexity, program debugging, persistent data structure
1	István Majzik	Software Monitoring and Debugging Using Compressed Signature Sequences.	EUROMICRO	1996	DBLP DOI BibTeX RDF	run-time sequence, compressed signature sequences, signature based error detection techniques, signature buffer, real-time compression methods, predefined dictionaries, program debugging, structural information, software monitoring, software debugging, watchdog processors
1	Niki Afshartous, Malcolm C. Harrison	Expressing concurrency in Griffin. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	Griffin, statically typed language, Ada software, Griffin language constructs, extended select statement, receiving thread, readers-writers problem, group lock mechanism, scheduling groups, high-level algorithms, parallel programming, Ada, rapid prototyping, synchronisation, program debugging, software prototyping, synchronous communication