11,855 Hits in 7.3 sec

An Input/Output Semantics for Distributed Program Equivalence Reasoning

Miquel Bertran, Francesc-Xavier Babot, August Climent
2005 Electronical Notes in Theoretical Computer Science  
A new notion of input/output equivalence of distributed imperative programs, with synchronous communications, is introduced.  ...  A set of laws for the equivalence is overviewed. A deduction rule for the substitution of references to input/output equivalent procedures is defined and justified in the new semantics.  ...  This establishes the necessary base theory for formal input/output equivalence reasoning with distributed programs. The paper is organized as follows.  ... 
doi:10.1016/j.entcs.2005.01.038 fatcat:tk7p27tibrcqhgy35g3q75sjmi

Input/Output for ELAN

Patrick Viry
1996 Electronical Notes in Theoretical Computer Science  
This I/O system has the advantage of being totally explicit and t in the same semantic framework than any other \application program". An actual implementation shows the e ectiveness of this approach.  ...  We show h o w to add Input/Output capabilities to the ELAN rewriting interpreter using a rewrite speci cation of -calculus.  ...  (iii) The semantics of communication in -calculus and of input-output in Unix are quite di erent.  ... 
doi:10.1016/s1571-0661(04)00033-7 fatcat:56llq52e6ffsnekvlxybh4xeei

Unifying Input Output Conformance [chapter]

Martin Weiglhofer, Bernhard K. Aichernig
2010 Lecture Notes in Computer Science  
In this paper we investigate a denotational semantics of the input output conformance relation over reactive processes.  ...  One commonly used conformance relation is the so-called input output conformance (ioco), which is defined over labeled transition systems.  ...  -We provide a denotational semantics of the input output conformance relation over UTP's [6] reactive processes.  ... 
doi:10.1007/978-3-642-14521-6_11 fatcat:mwn36cjzhfb6vescfaxw46fw3e

Towards Synthesizing Complex Programs from Input-Output Examples [article]

Xinyun Chen, Chang Liu, Dawn Song
2018 arXiv   pre-print
In recent years, deep learning techniques have been developed to improve the performance of program synthesis from input-output examples.  ...  In this work, we move a significant step forward along this direction by proposing a new class of challenging tasks in the domain of program synthesis from input-output examples: learning a context-free  ...  ACKNOWLEDGEMENT We thank Richard Shin, Dengyong Zhou, Yuandong Tian, He He, Yu Zhang, and Warren He for their helpful discussions.  ... 
arXiv:1706.01284v4 fatcat:rgag32xvjnfnnaay3vg4sebyfm

Automating string processing in spreadsheets using input-output examples

Sumit Gulwani
2011 SIGPLAN notices  
We describe an algorithm based on several novel concepts for synthesizing a desired program in this language from input-output examples.  ...  The algorithm has been implemented as an interactive add-in for Microsoft Excel spreadsheet system.  ...  Thanks to Piali Choudhury for building a cool UI for the tool.  ... 
doi:10.1145/1925844.1926423 fatcat:aapkktoprnd5pnrnyotvptdwf4

Automating string processing in spreadsheets using input-output examples

Sumit Gulwani
2011 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11  
We describe an algorithm based on several novel concepts for synthesizing a desired program in this language from input-output examples.  ...  The algorithm has been implemented as an interactive add-in for Microsoft Excel spreadsheet system.  ...  Thanks to Piali Choudhury for building a cool UI for the tool.  ... 
doi:10.1145/1926385.1926423 dblp:conf/popl/Gulwani11 fatcat:ccpgno6lxjf7pmjrdglce2ct4e

Input-output Conformance Testing for Channel-based Service Connectors

Natallia Kokash, Farhad Arbab, Behnaz Changizi, Leonid Makhnist
2011 Electronic Proceedings in Theoretical Computer Science  
Our approach is based on the input-output conformance (ioco) testing theory and exploits the mapping of automata-based semantic models for Reo to equivalent process algebra specifications.  ...  In this paper, we present an approach for model-based testing of coordination protocols designed in Reo.  ...  We extended the semantic model for Reo with input/output events and showed that the generated specifications are suitable for testing.  ... 
doi:10.4204/eptcs.60.2 fatcat:pb4bwar6djcfrotc3v3nnqa6mm

Lazy Dynamic Input/Output in the Lazy Functional Language Clean [chapter]

Martijn Vervoort, Rinus Plasmeijer
2003 Lecture Notes in Computer Science  
The implemented solution reflects the lazy semantics of the language in an elegant way and is moreover quite efficient.  ...  In this paper we explain how dynamics can be communicated between independently programmed Clean applications.  ...  We would also like to thank the Clean-group for taking part in discussions and for making numerous small changes all over the system, the Hungarian students Mátyás Ivicsics and Zoltan Várnagy for their  ... 
doi:10.1007/3-540-44854-3_7 fatcat:vce4b7o2e5e4pevhhs7sjiw6wm

Synthesizing highly expressive SQL queries from input-output examples

Chenglong Wang, Alvin Cheung, Rastislav Bodik
2017 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017  
However, developing techniques to synthesize SQL queries from input-output (I/O) examples has been difficult due to SQL's rich set of operators.  ...  Using the programming-by-example paradigm to help users write SQL queries presents an attractive proposition, as evidenced by online help forums such as Stack Overflow.  ...  with the input-output examples.  ... 
doi:10.1145/3062341.3062365 dblp:conf/pldi/WangCB17 fatcat:ap2kzhjks5cinofsafl3xxs3oe

Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

Bernhard K. Aichernig, Martin Tappler
2016 Electronical Notes in Theoretical Computer Science  
This paper presents an approach to use symbolic input output conformance checking for mutation-based test case generation.  ...  In this approach, a possibly non-deterministic action system model is used as basis for generating a number of mutants.  ...  Acknowledgment Research herein was funded by the Austrian Research Promotion Agency (FFG), project number 845582, Trust via cost function driven model based test case generation for non-functional properties  ... 
doi:10.1016/j.entcs.2016.01.002 fatcat:32577qon5bcv3bvrfm7rgshfqi

Compositional Verification of Input-Output Conformance via CSP Refinement Checking [chapter]

Augusto Sampaio, Sidney Nogueira, Alexandre Mota
2009 Lecture Notes in Computer Science  
This is formally established by showing that this broader view of cspio is equivalent to Tretmans' ioco relation.  ...  Our testing theory has been adopted in an industrial context involving a collaboration with Motorola, whose focus is on the testing of mobile applications.  ...  Although mechanical proofs is not in the scope of this paper, we are extremely grateful to Yoshinao Isobe for showing us that the CSP reasoning we conduct in this paper can be fully automated using the  ... 
doi:10.1007/978-3-642-10373-5_2 fatcat:i6h55yqtzfbo5bci2diwqrifvu

The Desired Sensation Level Multistage Input/Output Algorithm

Susan Scollie, Richard Seewald, Leonard Cornelisse, Sheila Moodie, Marlene Bagatto, Diana Laurnagaray, Steve Beaulac, John Pumford
2005 Trends in Amplification  
We will also present research describing electroacoustic and signal processing issues that have motivated us to make modifications to the input/output structure of the DSL target functions. These  ...  In this chapter, we will summarize the current status of DSL evaluation work in children and adults and argue the need for different prescriptive targets for adults and children.  ...  Scollie DSL Multistage Input/Output Algorithm  ... 
doi:10.1177/108471380500900403 pmid:16424945 pmcid:PMC4111494 fatcat:xed2blwcdfas7kx4cke6bpyv4q

Dynamic input/output automata: A formal and compositional model for dynamic systems

Paul C. Attie, Nancy A. Lynch
2016 Information and Computation  
DIOA features operators for parallel composition, action hiding, action renaming, a notion of automaton creation, and a notion of behavioral subtyping by means of trace inclusion.  ...  In DIOA, automata can be created and destroyed dynamically, as computation proceeds, and an automaton can dynamically change its signature, i.e., the set of actions in which it can participate.  ...  For static distributed systems and concurrent programs, compositional reasoning is proposed as a means of reducing the proof burden: reason about small components and subsystems as much as possible, and  ... 
doi:10.1016/j.ic.2016.03.008 fatcat:dki3r2fnbbh6hcndjyvltkft5y

Computational Effects and Operations: An Overview

Gordon Plotkin, John Power
2004 Electronical Notes in Theoretical Computer Science  
We overview a programme to provide a unified semantics for computational effects based upon the notion of a countable enriched Lawvere theory.  ...  We also outline a unified account of operational semantics. We present results we have already shown, some partial results, and our plans for further development of the programme.  ...  For instance, a language with interactive input/output will typically contain types In and Out, and will contain programs read : In and write M : 1 for M : Out.  ... 
doi:10.1016/j.entcs.2004.08.008 fatcat:g2y6ii6xeraxje3vozes2nie3u

Compositional assume–guarantee reasoning for input/output component theories

Chris Chilton, Bengt Jonsson, Marta Kwiatkowska
2014 Science of Computer Programming  
We formulate a sound and complete assume-guarantee framework for reasoning compositionally about components modelled as a variant of interface automata.  ...  The framework supports dynamic reasoning about components and specifications, and includes rules for parallel composition, logical conjunction and disjunction corresponding to independent development,  ...  NonImpl is not an implementation for two reasons.  ... 
doi:10.1016/j.scico.2013.12.010 fatcat:pevcchsovfaxfg6ak75bdriprm
« Previous Showing results 1 — 15 out of 11,855 results