Search results for "statements"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
77	Manu Sridharan, Stephen J. Fink, Rastislav Bodík	Thin slicing.	PLDI	2007	DBLP DOI BibTeX RDF	debugging, program understanding, slicing
63	Ralph-Johan Back, Joakim von Wright	Refinement Calculus, Part I: Sequential Nondeterministic Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness
61	Övünç Öztürk, Tugba Özacar, Murat Osman Ünalir	Reducing the Inferred Type Statements with Individual Grouping Constructs.	ISWC	2006	DBLP DOI BibTeX RDF
58	Zhenqiang Chen, Baowen Xu, Hongji Yang	Detecting Dead Statements for Concurrent Programs.	SCAM	2001	DBLP DOI BibTeX RDF	concurrent program flow graph, MHP algorithm, dead statements, rendezvous
53	Ebba Thora Hvannberg, Mukkai S. Krishnamoorthy	An object-based parallel programming assistant.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
52	Ward Douglas Maurer	Removing backward go-to statements from Ada programs: possibilities and problems.	SIGAda	2008	DBLP DOI BibTeX RDF	ada compilers, go-to statements, loop trees, directed graphs
51	Julio César Sampaio do Prado Leite, Antônio de Pádua Albuquerque Oliveira	A client oriented requirements baseline.	RE	1995	DBLP DOI BibTeX RDF	client oriented requirements baseline, initial requirements engineering process, requirements statements, natural language statements, client-software engineer communication, customized software system, industrial setting, model, software engineering, software engineering, formal specification, formal verification, prototype, evolution, natural languages, traceability, user centred design, change
51	Ian T. Foster	Automatic Generation of Self-Scheduling Programs.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	self-scheduling programs, high-level concurrent language, data dependency information, control statements, self-scheduling compiler, application code, control statements, scheduling routines, scheduling, parallel programs, parallel programming, partitioning, automatic programming, high-level language, application programs, application generators, automatic generation, control structures, source-to-source transformation
51	Ikuo Nakata, Masataka Sassa	Programming with Streams in a Pascal-Like Language.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	loop statements, Pascal-like language, fixed type, composite function, component functions, iterative statements, parallel mode, coroutine mode, inline mode, programming, functional programming, streams, Lisp, reusability, combinations, coroutines, programming styles, dataflow languages
47	Xiangyu Zhang 0001, Neelam Gupta, Rajiv Gupta 0001	Pruning dynamic slices with confidence.	PLDI	2006	DBLP DOI BibTeX RDF	data and control dependences, debugging, dynamic slicing
47	James H. Anderson, Jae-Heon Yang, Mohamed G. Gouda	The Granularity of Waiting (Extended Abstract).	WDAG	1992	DBLP DOI BibTeX RDF
47	Gail E. Kaiser	Concurrent meld.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	MELD
47	John R. Allen, Ken Kennedy, Carrie Porterfield, Joe D. Warren	Conversion of Control Dependence to Data Dependence.	POPL	1983	DBLP DOI BibTeX RDF
47	Brenda S. Baker	An Algorithm for Structuring Programs.	POPL	1976	DBLP DOI BibTeX RDF
44	Mark D. Aagaard, Nancy A. Day, Meng Lou	Relating Multi-step and Single-Step Microprocessor Correctness Statements.	FMCAD	2002	DBLP DOI BibTeX RDF
43	Kun Peng, Feng Bao 0001	Batch ZK Proof and Verification of OR Logic.	Inscrypt	2008	DBLP DOI BibTeX RDF	Batch proof and verification, knowledge statements linked with OR logic
38	Cungen Cao 0001, Yuefei Sui, Yu Sun 0005	Logical Connections of Statements in Ontologies.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
38	Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Mikhail Posypkin	Compilation of Vector Statements of C[] Language for Architectures with Multilevel Memory Hierarchy.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF
38	Chris Hankin, Hanne Riis Nielson, Jens Palsberg	Position Statements on Strategic Directions for Research on Programming Languages.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF
38	Jong-Deok Choi, Jeanne Ferrante	Static Slicing in the Presence of Goto Statements.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	testing, debugging, program analysis, slicing
38	Masao Kishore	New syntax for if- and case statements.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
38	Rémi Triolet, François Irigoin, Paul Feautrier	Direct parallelization of call statements.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
37	Frank Vahid	Procedure exlining: a transformation for improved system and behavioral synthesis.	ISSS	1995	DBLP DOI BibTeX RDF	VHDL transformation tool, distinct computation, procedure exlining, procedure inlining, redundant sequences, statements, formal specification, distributed processing, VHDL, hardware description languages, remote procedure calls, behavioral synthesis, behavioral specification, system synthesis, procedure calls, synthesis tools
35	Yu Sun 0005, Yuefei Sui, Zhiping Li	One Axiomatic System for the Ontology Revision.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Subsumption relation, Default inheritance, Ontologies, Belief revision
35	Amnon H. Eden	Strategic Versus Tactical Design.	HICSS	2005	DBLP DOI BibTeX RDF
35	Raghavan Komondoor, Susan Horwitz	Semantics-Preserving Procedure Extraction.	POPL	2000	DBLP DOI BibTeX RDF
35	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
35	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
35	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
35	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
35	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
35	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
35	Karel Culík	Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes.	POPL	1978	DBLP DOI BibTeX RDF
35	Brenda S. Baker	An Algorithm for Structuring Flowgraphs.	J. ACM	1977	DBLP DOI BibTeX RDF
34	Utpal Banerjee, Daniel Gajski	Fast Execution of Loops with IF Statements.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	Boolean recurrence, loops with IF statements, parallel processing, multiprocessors, Array processors, automatic vectorization
34	Jason Gait	Hash table methods for case statements.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	Case Statements, Compiler Implementation, Open Addressing, Computer Architecture, Hashing
32	Matthias Nicola, Tim Kiefer	Generating SQL/XML query and update statements.	CIKM	2009	DBLP DOI BibTeX RDF	sql/xml, sql, mapping, generation, translation, xquery
32	Hsin-Min Lu, Nina WanHsin Huang, Zhu Zhang, Tsai-Jyh Chen	Identifying Firm-Specific Risk Statements in News Articles.	PAISI	2009	DBLP DOI BibTeX RDF	epistemic modality, evidentiality, machine learning, Risk management
32	Anthony Cleve, Jean-Luc Hainaut	Dynamic Analysis of SQL Statements for Data-Intensive Applications Reverse Engineering.	WCRE	2008	DBLP DOI BibTeX RDF
32	Wugang Xu, Dimitri Theodoratos, Calisto Zuzarte, Xiaoying Wu, Vincent Oria	A Dynamic View Materialization Scheme for Sequences of Query and Update Statements.	DaWaK	2007	DBLP DOI BibTeX RDF
32	Russell A. McClure, Ingolf H. Krüger	SQL DOM: compile time checking of dynamic SQL statements.	ICSE	2005	DBLP DOI BibTeX RDF	SQL DOM, SQL strings, dynamic SQL, SQL, SQL injection, impedance mismatch
32	Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones	A framework for superscalar microprocessor correctness statements.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Microprocessor correctness, Commuting diagrams, Formal verification, Pipelines
32	Zhengqiang Chen, Baowen Xu, Huiming Yu	Detecting concurrently executed pairs of statements using an adapted MHP algorithm.	SIGAda	2001	DBLP DOI BibTeX RDF	MHP algorithm, program analysis, Concurrent program, control flow graph
32	Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones	A Framework for Microprocessor Correctness Statements.	CHARME	2001	DBLP DOI BibTeX RDF
32	Bruno Malenfant, Giuliano Antoniol, Ettore Merlo, Michel R. Dagenais	Flow Analysis to Detect Blocked Statements.	ICSM	2001	DBLP DOI BibTeX RDF	Blocking analysis, inter-procedural flow analysis, software evaluation
32	Kazunori Fujimoto, Kazumitsu Matsuzawa, Hideto Kazawa	An elicitation principle of subject probabilities from statements on the Internet.	KES	1999	DBLP DOI BibTeX RDF
32	John R. Landry	Can Mission Statements Plant the "Seeds" of Dysfunctional Behaviors in an Organization's Memory?	HICSS (1)	1998	DBLP DOI BibTeX RDF
32	Fubo Zhang, Erik H. D'Hollander	Using Hammock Graphs to Eliminate Nonstructured Branch Statements.	PARLE	1993	DBLP DOI BibTeX RDF
31	Dan Hao 0001, Lu Zhang 0023, Ming-Hao Liu 0001, He Li, Jiasu Sun	Test-Data Generation Guided by Static Defect Detection.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	suspicious statements, software testing, constraint satisfaction problem, test-data generation
31	Charalambos Spathis, Michael Doumpos, Constantin Zopounidis	A multicriteria discrimination approach to model qualified audit reports.	Oper. Res.	2004	DBLP DOI BibTeX RDF	Qualified audit report, Financial statements, Classification, Multicriteria decision aid
31	Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre	Petri nets based proofs of Ada 95 solution for preference control.	APSEC	1997	DBLP DOI BibTeX RDF	Petri nets based proofs, preference control, dining philosophers paradigm, entry families, requeue statements, Petri nets, deadlock, colored Petri nets, Ada 95, correctness proofs, starvation, protected objects
29	Minoru Nakayama, Yuko Hayashi	Estimation of viewer's response for contextual understanding of tasks using features of eye-movements.	ETRA	2010	DBLP DOI BibTeX RDF	answer correctness, eye-movement metrics, user's response estimation, eye-movements, discriminant analysis
29	Snaider Carrillo, Jakob Siegel, Xiaoming Li	A control-structure splitting optimization for GPGPU.	Conf. Computing Frontiers	2009	DBLP DOI BibTeX RDF	optimizations, gpgpu, cuda
29	Carmel Domshlak, Thorsten Joachims	Efficient and non-parametric reasoning over user preferences.	User Model. User Adapt. Interact.	2007	DBLP DOI BibTeX RDF	Ordinal utility function, Reasoning over preferences, Support vector machines, Kernels, Preference elicitation
29	Heiko Falk, Martin Schwarzer	Loop Nest Splitting for WCET-Optimization and Predictability Improvement.	ESTIMedia	2006	DBLP DOI BibTeX RDF
29	Alexander Brodsky 0001, Hadon Nash	CoJava: Optimization Modeling by Nondeterministic Simulation.	CP	2006	DBLP DOI BibTeX RDF
29	Michael J. Wooldridge, Peter McBurney, Simon Parsons	On the Meta-logic of Arguments.	ArgMAS	2005	DBLP DOI BibTeX RDF
29	Michael J. Wooldridge, Peter McBurney, Simon Parsons	On the meta-logic of arguments.	AAMAS	2005	DBLP DOI BibTeX RDF	meta-level reasoning, multi-agent systems, knowledge representation, argumentation
29	James A. Jones, Mary Jean Harrold, John T. Stasko	Visualization of test information to assist fault localization.	ICSE	2002	DBLP DOI BibTeX RDF
29	Mark Staples	Representing WP Semantics in Isabelle/ZF.	TPHOLs	1999	DBLP DOI BibTeX RDF
29	Anthony M. Sloane, Jason Holdsworth	Beyond Traditional Program Slicing.	ISSTA	1996	DBLP DOI BibTeX RDF
29	Ranga Vemuri, R. Kalyanaraman	Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programming.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
29	Asuman Dogac, Mehmet Altinel, Cetin Ozkan, Ilker Durusoy	Implementation Aspects of an Object-Oriented DBMS.	SIGMOD Rec.	1995	DBLP DOI BibTeX RDF
29	Levent Ormancioglu	An information base for procedure independent design of information systems.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
29	Carolyn Ashurst, Emmie Hine, Paul Sedille, Alexis Carlier	AI Ethics Statements: Analysis and Lessons Learnt from NeurIPS Broader Impact Statements.	FAccT	2022	DBLP DOI BibTeX RDF
29	Carolyn Ashurst, Emmie Hine, Paul Sedille, Alexis Carlier	AI Ethics Statements - Analysis and lessons learnt from NeurIPS Broader Impact Statements.	CoRR	2021	DBLP BibTeX RDF
29	Kanokwan Atchariyachanvanich, Srinual Nalintippayawong, Tanasab Permpool	Development of a MySQL Sandbox for processing SQL statements: Case of DML and DDL statements.	JCSSE	2017	DBLP DOI BibTeX RDF
29	Lee Won Park, Byeongkwan Kang, Myeong-in Choi, Seonki Jeon, Keonhee Cho, Hangbae Chang, Sehyun Park	Securing Target Consumers and Markets through Developing Mission Statements: An Analysis of Company Mission Statements.	HPCC/SmartCity/DSS	2016	DBLP DOI BibTeX RDF
29	Vinh Nguyen, Olivier Bodenreider, Krishnaprasad Thirunarayan, Gang Fu, Evan Bolton, Núria Queralt Rosinach, Laura Inés Furlong, Michel Dumontier, Amit P. Sheth	On Reasoning with RDF Statements about Statements using Singleton Property Triples.	CoRR	2015	DBLP BibTeX RDF
29	Shaun Ngoh, Savanid Vatanasakdakul, Stephen Smith 0001	Smart Statements - An Analysis of Organizational Green Statements.	AMCIS	2014	DBLP BibTeX RDF
29	Vinh Nguyen, Olivier Bodenreider, Amit P. Sheth	Don't like RDF reification?: making statements about statements using singleton property.	WWW	2014	DBLP DOI BibTeX RDF
29	Hamid R. Nemati, Thomas P. Van Dyke	Do Privacy Statements Really Work? The Effect of Privacy Statements and Fair Information Practices on Trust and Perceived Risk in E-Commerce.	Int. J. Inf. Secur. Priv.	2009	DBLP DOI BibTeX RDF
26	Samantha Kleinberg, Bud Mishra	Psst: a web-based system for tracking political statements.	WWW	2008	DBLP DOI BibTeX RDF	search, politics, elections
26	Daisuke Kawahara, Sadao Kurohashi, Kentaro Inui	Grasping Major Statements and Their Contradictions Toward Information Credibility Analysis of Web Contents.	Web Intelligence	2008	DBLP DOI BibTeX RDF
26	Ludovic Liétard, Daniel Rocacher	Complex Quantified Statements Evaluated Using Gradual Numbers.	IFSA (2)	2007	DBLP DOI BibTeX RDF	gradual numbers, flexible querying, linguistic quantifiers
26	Guizhen Yang, Michael Kifer	Reasoning about Anonymous Resources and Meta Statements on the Semantic Web.	J. Data Semantics	2003	DBLP DOI BibTeX RDF
26	Mazen El-Sayed, Daniel Pacholczyk	Reasoning under Vagueness Expressed by Nuanced Statements.	ECSQARU	2003	DBLP DOI BibTeX RDF	multiset theory, many-valued logic, vagueness, knowledge representation and reasoning, imprecision
26	Marian Florin Ursu, Robert Zirnmer	On the Notion of Compliance in Critiquing Intelligent Design Assistants: Representing Duty and Contrary-to-Duty Statements.	IV	2002	DBLP DOI BibTeX RDF
26	Francisco J. García Izquierdo, José Luis Villarroel	Translating Time Petri Net Structures into Ada 95 Statements.	Ada-Europe	1999	DBLP DOI BibTeX RDF
26	Kai Engelhardt, Willem P. de Roever	Simulation of Specification Statements in Hoare Logic.	MFCS	1996	DBLP DOI BibTeX RDF
26	Madalene Spezialetti, Rajiv Gupta 0001	Loop Monotonic Statements.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Access anomalies (data races), run-time dependence checking, static analysis, array bound checking, induction variables
26	Hiralal Agrawal	On Slicing Programs with Jump Statements.	PLDI	1994	DBLP DOI BibTeX RDF
26	Michael J. Kaelbling	Programming languages should NOT have comment statements.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF
26	Maurice V. Wilkes	Constraint-type statements in programming languages.	Commun. ACM	1964	DBLP DOI BibTeX RDF
25	Christian Fotsing, Annie Geniet, Guy Vidal-Naquet	Tree scheduling versus sequential scheduling.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	conditional statements, critical real-time systems, sequential scheduling, tree scheduling, validation
25	Vladimir B. Berikov	Construction of the Ensemble of Logical Models in Cluster Analysis.	ICIC (2)	2009	DBLP DOI BibTeX RDF	ensemble of logical models, distance between logical statements, adaptive planning, Bayes models, decision trees, cluster analysis
25	Roger Clarke	A major impediment to B2C success is...the concept 'B2C'.	ICEC	2006	DBLP DOI BibTeX RDF	impediments, privacy policy statements, terms of contract, privacy, marketing, adoption, eCommerce
25	Christos A. Papachristou, Mikhail Baklashov	A test synthesis technique using redundant register transfers.	ICCAD	1997	DBLP DOI BibTeX RDF	behavioral variables, conditional statements, redundant register transfers, structural signals, test synthesis technique, testability metrics, graph theory, logic testing, controllability, high level synthesis, VHDL, observability, fault coverage, data path, hardware overhead, behavioral descriptions
25	Sandrine Blazy, Philippe Facon	Application of Formal Methods to the Development of a Software Maintenance Tool.	ASE	1997	DBLP DOI BibTeX RDF	software maintenance tool, scientific application program understanding, Fortran 90 application programs, interprocedural pointer analysis, global definitions, generic programming environment, variable values, already-analysed procedures, variable scope, removed statements, formal specification, information visualization, formal methods, compilation, software maintenance, partial evaluation, inference rules, graphical interface, alias analysis, optimization technique, set operators, relational operators
25	R. E. M. Champion, Trevor T. Moores	Exploiting an enterprise model during systems' requirements capture and analysis.	ICRE	1996	DBLP DOI BibTeX RDF	system requirements capture, enterprise information, business process components, quantifiable goals, requirements statements, enterprise objectives, iterative construction, customer requirements, requirements engineering phase, formal specification, information systems, software development, consistency, business processes, systems analysis, business data processing, enterprise model, business objectives, software requirements specification, business environment
25	Henk Jonkers, Arjan J. C. van Gemund, Gerard L. Reijns	A probabilistic approach to parallel system performance modelling.	HICSS (2)	1995	DBLP DOI BibTeX RDF	parallel system performance modelling, efficient parallel applications development, reliable performance predictions, machine model building blocks, multiple-class parallel section completion times, conditional statements, performance evaluation, probability, case study, queueing theory, parallel machines, parallel machine, memory hierarchies, queueing networks, probabilistic approach, modelling formalisms
25	Kevin Lano, Stephen J. Goldsack	Discrete event process controller synthesis using VDM++.	ICECCS	1995	DBLP DOI BibTeX RDF	ignition, control system synthesis, heat systems, discrete event process controller synthesis, VDM/sup ++/, controller specification, gas burner system, systematic method, declarative requirement statements, abstract VDM/sup ++/ specifications, concrete VDM/sup ++/ specifications, formalised requirements, refinement process, real-time systems, formal specification, temporal logic, timing, specification languages, timing analysis, object-oriented languages, process control, parallel languages, discrete event systems, programmable controllers, controller design, Vienna development method, control system CAD, Ada95, real-time temporal logic, combustion
25	Hemant D. Pande, William Landi, Barbara G. Ryder	Interprocedural Def-Use Associations for C Systems with Single Level Pointers.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	interprocedural def-use associations, C software systems, single level pointers, value-setting statements, value-fetches, program-point-specific pointer-induced aliases, interprocedural reaching definitions problem, software engineering, computational complexity, data structures, static analysis, NP-hardness, program compilers, polynomial-time algorithm, program diagnostics, C language, indirection
25	Sergio Antoy, John D. Gannon	Using Term Rewriting to Verify Software.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction
25	A. Zaafrani, Mabo Robert Ito	Expressing cross-loop dependencies through hyperplane data dependence analysis.	SC	1994	DBLP DOI BibTeX RDF	automatic generation of communication statements, index alignment, parallelizing compilers, data dependence, multicomputers
25	Howard B. Reubenstein, Richard C. Waters	The Requirements Apprentice: Automated Assistance for Requirements Acquisition.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	Requirements Apprentice, human analyst, coherent internal representation, disorganized imprecise statements, dependency-directed reasoning, formal specifications, formal specification, artificial intelligence, knowledge representation, software tools, knowledge acquisition, knowledge acquisition, ambiguity, software requirements, automated tool, incompleteness, contradiction, requirements acquisition, hybrid knowledge representations
25	Louise E. Moser	Data Dependency Graphs for Ada Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	composition rules, primitive program statements, data structures, Ada, tracking, programming, information flow, exception handling, correctness, recursion, tasking, iteration, data dependency graphs, Ada programs, program development environment
25	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
25	Alan C. Shaw	Reasoning About Time in Higher-Level Language Software.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	higher-level language software, program elements, time-related statements, timing invariants, periodic processes, real-time systems, real-time, formal specification, synchronization, specification, lower bounds, delay, concurrent programs, synchronisation, upper bounds, assertions, deadlines, execution times, computer times, formal logic, Hoare logic, timing bounds, sequential programs
25	René de Vogelaere	Algorithms: Algorithm 335: a set of basic input-output procedures.	Commun. ACM	1968	DBLP DOI BibTeX RDF	ALGOL 60, Berkeley style, decompose integer, decompose real, equivalent ALGOL statements, fixed point representation, input echo, input outpur array, input output Boolean, input output procedures, integer format, out integer, output channel interpretation, output documentation, procedures relationship, quality output, read real, real format, ALGOL, style, transput, input output, floating point representation, floating point representational