Filters








153,029 Hits in 8.1 sec

Abstract design and program translator: New tools for software design

J. L. Archibald, B. M. Leavenworth, L. R. Power
1983 IBM Systems Journal  
Abstract design and program translator: New tools for software design Abstract Design And Program Translator (ADAPT) is an integrated set of tools and approaches for the design and development of software  ...  Concluding remarks The Abstract Design And Program Translator (ADAPT) offers a number of benefits for the con- struction of reliable software.  ... 
doi:10.1147/sj.223.0170 fatcat:bhdaq5bb75cybitdrywgk5wr5q

Automatic predicate abstraction of C programs

Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani
2001 Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI '01  
Techniques for abstracting software are a prerequisite to making software model checking a reality.  ...  Predicate abstraction of software has many applications, including detecting program errors, synthesizing program invariants, and improving the precision of program analyses through predicate sensitivity  ...  Thanks also to the members of the Software Productivity Tools research group at Microsoft Research for many enlightening discussions on program analysis, programming languages and device drivers, as well  ... 
doi:10.1145/378795.378846 dblp:conf/pldi/BallMMR01 fatcat:pswjhix5kra7hh56ejcial2sra

Success and failure of programming environments - report on the design and use of a graphic abstract syntax tree editor [article]

C. Recanati
2007 arXiv   pre-print
Work has been done in two directions: the development of a programming environment for a functional language within a persistent system and an experiment on transferring the expertise of functional prototyping  ...  The STAPLE project investigated (at the end of the eighties), a persistent architecture for functional programming.  ...  Another advantage is the removal of discontinuities in the design of software systems and their user interfaces. This is also a goal of a programming environment designer.  ... 
arXiv:0710.2358v1 fatcat:erebqgln2zdjrd66hpjved5jna

Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions

Bahram N. Uchevler, Kjetil Svarstad
2018 International Journal of Reconfigurable Computing  
A complete design and assertion-based verification flow for Run-Time Reconfigurable (RTR) designs using functional programming abstractions of Haskell are proposed in this article, in which partially reconfigurable  ...  With the increasing design and production costs and long time-to-market for Application Specific Integrated Circuits (ASICs), implementing digital circuits on reconfigurable hardware is becoming a more  ...  the C aSH tool and their valuable support for it.  ... 
doi:10.1155/2018/3276159 fatcat:tzay2srfqvg45o5vmzmjvs2t2u

Clippy(ing) Network Functions: Towards Better Abstractions for Checking and Designing Network Programs [article]

Zeeshan Lakhani, Heather Miller
2018 arXiv   pre-print
When programming network functions, changes within a packet tend to have consequences---side effects which must be accounted for by network programmers or administrators via arbitrary logic and an innate  ...  Instead, during the design phase of network functions, programmers should be given a easier way to specify checks up front, all without having to account for and keep track of these consequences at each  ...  Yet, in order to move further into making network programs and processes behave more "like software, " we must provide abstractions and designs for automated feedback for non-network developers to enter  ... 
arXiv:1812.11145v1 fatcat:xlbsv24mzjan7iixrbrisbcijy

On abstraction refinement for program analyses in Datalog

Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang
2013 Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14  
We present a new approach for finding such abstractions for program analyses written in Datalog.  ...  A central task for a program analysis concerns how to efficiently find a program abstraction that keeps only information relevant for proving properties of interest.  ...  Acknowledgements We thank the referees, Mikoláš Janota, Corneliu Popeea and Andrey Rybalchenko for helpful feedback.  ... 
doi:10.1145/2594291.2594327 dblp:conf/pldi/ZhangMGNY14 fatcat:xjgjogjyxzfvjavnse6q42imna

Network configuration synthesis with abstract topologies

Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitendra Padhye, David Walker
2017 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017  
Propane/AT is based on new abstractions for capturing parameterized network topologies and their evolution, and algorithms to analyze the impact of topology and routing policy on fault tolerance.  ...  Our experiments with real-world topologies and policies show that our abstractions and algorithms are effective, and that, for large networks, Propane/AT synthesizes configurations two orders of magnitude  ...  We also thank the PLDI reviewers, and especially our shepherd Alexandra Silva for comments on the paper.  ... 
doi:10.1145/3062341.3062367 dblp:conf/pldi/BeckettMMPW17 fatcat:rtbth3czd5hjpaqcib5nbu7wiu

Grammatical abstraction and incremental syntax analysis in a language-based editor

R. A. Ballance, J. Butcher, S. L. Graham
1988 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation - PLDI '88  
Processors for programming languages and other formal languages typically use a concrete syntax to describe the user's view of a program and an abstract syntax to represent language structures internally  ...  Weak grammatical abstraction supports (i) the construction during LR parsing of an internal representation that is closely related to the abstract syntax and (ii) incremental LR parsing using that internal  ...  Processors for programming languages and other formal languages typically use a concrete syntax to describe the user's view of a program and an abstract syntax to represent language structures internally  ... 
doi:10.1145/53990.54009 dblp:conf/pldi/BallanceBG88 fatcat:7xjx4awx55acdofxbtvyjcs3ua

Translating Software Designs for Model Checking [chapter]

Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne
2004 Lecture Notes in Computer Science  
; (3) property specification and translation; (4) transformations for state space reduction; (5) translator validation and evolution.  ...  Solutions to these issues are defined, described, and illustrated in the context of translating xUML, an executable design level software specification language, to S/R, the input formal language of the  ...  The IF validation environment [38] proposes IF [39] , an intermediate language, and presents tools for translating dialects of UML and SDL into IF and tools for validation and verification of IF specifications  ... 
doi:10.1007/978-3-540-24721-0_24 fatcat:ovwkw74ox5fadpdf5sbgmehbra

Translator-based multiparadigm programming

R.Nigel Horspool, Michael R. Levy
1993 Journal of Systems and Software  
However, its use may be hindered by a lack of languages and programming support tools.  ...  Better programming productivity may be obtained by choosing suitable programming paradigms. For development of complex software systems, multiparadigm programming would usually be appropriate.  ...  We gratefully acknowledge financial support for this project from IBM Canada Ltd., and the Natural Sciences and Engineering Research Council of Canada.  ... 
doi:10.1016/0164-1212(93)90059-7 fatcat:saodrgaqyzc5jjpnvra725sinq

Pseudocode to Source Programming Language Translator

Amal M R, Jamsheedh C V, Linda Sara Mathew
2016 International Journal of Computational Science and Information Technology  
In this paper a software tool is described, for translating the pseudocode into a particular source programming language.  ...  This tool compiles the pseudocode given by the user and translates it to a source programming language.  ...  The output of the proposed software tool is designed as opening the text file containing the translated code.  ... 
doi:10.5121/ijcsity.2016.4203 fatcat:pz5s4d4zrbgipdkmduvzkfrwr4

Translator Design To Model Cpp Files

Er. Satwinder Singh, Dr. K.S. Kahlon, Rakesh Kumar, Er. Gurjeet Singh
2007 Zenodo  
The most reliable and accurate description of the actual behavior of a software system is its source code.  ...  While concentrating on reverse engineering we had modeled the C++ files by designing the translator.  ...  After input of CPP file translator will model the output in text form and store the modeled design in new text file. From where we can again read it to analyze for further work.  ... 
doi:10.5281/zenodo.1330862 fatcat:2lvx7cpb7zaildiypfaku5qv34

Perspectives on Cognition, Translation, and Translators

Candace Séguinot
2017 TTR traduction terminologie rédaction  
"The Importance of Natural Translation." Working Papers on Bilingualism, 12, pp. 96-114. Harris, Brian and Bianca Sherwood (1978  ...  Translators used to working with computer assisted software find translating without access to their tools problematic.  ...  Networks, ergonomics, and the changing world of translators The methodologies discussed so far were designed to study the individual.  ... 
doi:10.7202/1060024ar fatcat:xsmu4pdkqzgrjoep3lofpfjbmy

Active type-checking and translation

Cyrus Omar
2012 Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12  
We introduce a statically-typed language extensibility mechanism called active type-checking and translation (AT&T) that aims toward expressiveness, safety and composability.  ...  A major example motivating our work is in the area of parallel programming abstractions. Many implemented abstractions require adding new type-checking and compilation logic to a language.  ...  Extended Abstract Programming languages have historically been specified and implemented monolithically.  ... 
doi:10.1145/2384716.2384764 dblp:conf/oopsla/Omar12 fatcat:hycpuolg5ngnxfntasjmse6ncm

Machine Translation

Jonathan Slocum
1984 Proceedings of the 22nd annual meeting on Association for Computational Linguistics -  
The treatment is largely tutorial, based on the assumption that this audience is, for the most part, ignorant of matters pertaining to translation in general, and MT in particular.  ...  Elements ot the history, state of the art, and probable future of Machine Translation (MT) are discussed.  ...  In addition, the former software design was largely discarded, and a new software package supporting a new style of processing was substituted.  ... 
doi:10.3115/980491.980607 dblp:conf/coling/Slocum84 fatcat:a5c5yhog3ffqnplplefroonbhi
« Previous Showing results 1 — 15 out of 153,029 results