Search Results - Automatic Programming|Program verication General Terms

Termination of Simply Moded Logic Programs with Dynamic Scheduling

Authors: Annalisa Bossi Sandro Etalle Cwi Amsterdam et al.

Contributors: Annalisa Bossi Sandro Etalle Cwi Amsterdam et al.

Source: http://www.dsi.unive.it/%7Esrossi/Papers/tocl_input.ps.gz.

Subject Terms: Deduction and Theorem Proving|Logic programming, I.2.2 [Articial Intelligence, Automatic Programming|Program verication General Terms, Languages, Verication, Termination Additional Key Words and Phrases, Logic programs, dynamic scheduling, simply moded, termination

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.8239; http://www.dsi.unive.it/%7Esrossi/Papers/tocl_input.ps.gz

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.8239
http://www.dsi.unive.it/%7Esrossi/Papers/tocl_input.ps.gz

Revising UNITY Programs: Possibilities and Limitations

Authors: Borzoo Bonakdarpour Ali Ebnenasir Sandeep S. Kulkarni et al.

Contributors: Borzoo Bonakdarpour Ali Ebnenasir Sandeep S. Kulkarni et al.

Source: http://www.cse.msu.edu/publications/tech/TR/MSU-CSE-07-23.pdf.

Subject Terms: Categories and Subject Descriptors, F.3.1 [Logics and Meanings of Programs, Specifying, Verifying and Reasoning about Programs, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic, F.2.3 [Analysis of Algorithms and Problem Complexity, Tradeos between Complexity Mea- sures, D.1.2 [Programming Techniques, Automatic Programming|Program modication, synthesis, transformation, D.4.7 [Operating Systems, Organization and Design|Real-time and embedded systems General Terms, Algorithms, Theory, Verication Additional Key Words and Phrases, UNITY, Formal Methods, Stabilization

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.7334

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.7334
http://www.cse.msu.edu/publications/tech/TR/MSU-CSE-07-23.pdf

On Proving Left Termination of Constraint Logic Programs

Authors: Fred Mesnard Salvatore Ruggieri The Pennsylvania State University CiteSeerX Archives

Contributors: Fred Mesnard Salvatore Ruggieri The Pennsylvania State University CiteSeerX Archives

Source: http://www.univ-reunion.fr/~gcc/ps/pacc.ps.gz.

Subject Terms: General Terms, Languages, Verication Additional Key Words and Phrases, Constraint logic programming, left termination, automatic termination analysis, termination inference

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.7922

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.7922
http://www.univ-reunion.fr/~gcc/ps/pacc.ps.gz

Alchemist: LLM-Aided End-User Development of Robot Applications.

Authors: Karli, Ulas Berk Chen, Juo-Tung Antony, Victor Nikhil et al.

Source: ACM/IEEE International Conference on Human-Robot Interaction; Mar2024, p361-370, 10p

Subject Terms: LANGUAGE models, LOGIC programming, SYSTEMS design, ROBOT programming, NATURAL languages, ROBOTS

Interprocedural Program Analyses for Efficient Array Bound Checking

Authors: Thi Viet Nga Nguyen Francois Irigoin The Pennsylvania State University CiteSeerX Archives

Contributors: Thi Viet Nga Nguyen Francois Irigoin The Pennsylvania State University CiteSeerX Archives

Source: http://www.cri.ensmp.fr/doc/A-332.ps.

Subject Terms: aids, Symbolic execution, D.3.4 [Programming Languages, Processors|Compilers, Optimization General Terms, Algorithms, Performance, Verication Additional Key Words and Phrases, Intraprocedural analysis, interprocedural analysis, range checking, array bound checking

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.1279

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.1279
http://www.cri.ensmp.fr/doc/A-332.ps

Algorithmic program synthesis: introduction.

Authors: Bodik, Rastislav Jobstmann, Barbara

Source: International Journal on Software Tools for Technology Transfer; Oct2013, Vol. 15 Issue 5/6, p397-411, 15p

Subject Terms: ALGOL (Computer program language), COMPUTER programming, SPECTRAL synthesis (Mathematics), SYSTEMS design, COMPUTER software correctness, COMPUTER networks

Practical JFSL verification using TACO.

Authors: Chicote, M. Ciolek, D. Galeotti, J.P.

Source: Software: Practice & Experience; Mar2014, Vol. 44 Issue 3, p317-334, 18p

Subject Terms: JAVA programming language, DEBUGGING, COMPUTER software, SOURCE code, ERRORS

Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Authors: Andreas Podelski

Resource Type: eBook.

Subjects: Computer science, Software engineering, Compilers (Computer programs), Computer programming, Electronic digital computers—Evaluation, Computers, Professions

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

How detrimental is coincidental correctness to coverage‐based fault detection and localization? An empirical study.

Authors: Abou Assi, Rawad Masri, Wes Trad, Chadi

Source: Software Testing: Verification & Reliability; Aug2021, Vol. 31 Issue 5, p1-26, 26p

Behavioural Types : From Theory to Tools

Authors: Simon Gay António Ravara

Resource Type: eBook.

Subjects: QA76.7

Categories: COMPUTERS / Software Development & Engineering / General, SCIENCE / Energy

Dandelion: A Unified Code Offloading System for Wearable Computing.

Authors: Golkarifard, Morteza Yang, Ji Huang, Zhanpeng et al.

Source: IEEE Transactions on Mobile Computing; 3/1/2019, Vol. 18 Issue 3, p546-559, 14p

Subject Terms: GOOGLE Glass, WEARABLE technology, THREE-dimensional imaging, COMPUTER programming, INTERNET access, CLOUD computing

Interactive Theorem Proving : 9th International Conference, ITP 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Authors: Jeremy Avigad Assia Mahboubi

Resource Type: eBook.

Subjects: Machine theory, Software engineering, Artificial intelligence, Computer science, Compilers (Computer programs), Electronic digital computers—Evaluation

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General

Formal analysis and verification support for reactive rule-based Web agents.

Authors: Ksystra, Katerina Stefaneas, Petros

Source: International Journal of Web Information Systems; 2016, Vol. 12 Issue 4, p418-447, 30p

Automated generation of consistent models using qualitative abstractions and exploration strategies.

Authors: Babikian, Aren A. Semeráth, Oszkár Li, Anqi et al.

Source: Software & Systems Modeling; Oct2022, Vol. 21 Issue 5, p1763-1787, 25p

Subject Terms: AUTONOMOUS vehicles, SCALABILITY

Generating Invariant-Based Certificates for Embedded Systems.

Authors: Blech, Jan Olaf Périn, Michaël

Source: ACM Transactions on Embedded Computing Systems; Jul2012, Vol. 11 Issue 2, p34-34:22, 22p

Subject Terms: EMBEDDED computer systems, COMPUTER input-output equipment, COMPUTER software, FEEDBACK control systems, ALGORITHMS, MATHEMATICAL invariants, MATHEMATICAL proofs

Using UML and OCL for representing multiobjective combinatorial optimization problems.

Authors: Eracar, Yönet Kokar, Mieczyslaw

Source: Journal of Intelligent Manufacturing; Jun2014, Vol. 25 Issue 3, p555-569, 15p

Subject Terms: UNIFIED modeling language, INDUSTRIAL design, MANUFACTURING processes, MONITORING of machinery, INDUSTRIAL management

Optimizing Automatic Speech Recognition for Low-Proficient Non-Native Speakers.

Authors: van Doremalen, Joost Cucchiarini, Catia Strik, Helmer

Source: EURASIP Journal on Audio Speech & Music Processing; 2010, Vol. 2010, p1-13, 13p, 3 Diagrams, 5 Charts, 3 Graphs

Subject Terms: AUTOMATIC speech recognition, SPEECH perception, AUDITORY perception, PSYCHOLINGUISTICS, COMPUTER input-output equipment, LECTURERS, SPEECH processing systems

Optimization Design of Ultrasonic Transducer With Multimatching Layer.

Authors: Li, Zhaoxi Chen, Dongdong Fei, Chunlong et al.

Source: IEEE Transactions on Ultrasonics Ferroelectrics & Frequency Control; Jun2021, Vol. 68 Issue 6, p2202-2211, 10p

Subject Terms: ULTRASONIC transducers, PARTICLE swarm optimization

Toward Compositional Verification of Interruptible OS Kernels and Device Drivers.

Authors: Chen, Hao Wu, Xiongnan Shao, Zhong et al.

Source: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p141-189, 49p

Web Explanations for Semantic Heterogeneity Discovery.

Authors: Gómez-Pérez, Asunción Euzenat, Jérôme Shvaiko, Pavel et al.

Source: Semantic Web: Research & Applications; 2005, p303-317, 15p