Search Results - Automatic Programming—Program syn- thesis General Terms Languages

Typedirected completion of partial expressions

Authors: Daniel Perelman Sumit Gulwani Thomas Ball et al.

Contributors: Daniel Perelman Sumit Gulwani Thomas Ball et al.

Source: http://research.microsoft.com/en-us/um/people/sumitg/pubs/pldi12.pdf.

Subject Terms: Categories and Subject Descriptors D.2.6 [Software Engineer- ing, Programming Environments—Integrated Environments, D.2.13 [Software Engineering, Reusable Software—Reuse Models, I.2.2 [Artificial Intelligence, Automatic Programming—Program syn- thesis General Terms Languages, Experimentation Keywords program synthesis, partial expressions, code comple- tion

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.466.966
http://research.microsoft.com/en-us/um/people/sumitg/pubs/pldi12.pdf

Synthesizing Parallel Graph Programs via Automated Planning

Authors: Dimitrios Prountzos Roman Manevich Keshav Pingali et al.

Contributors: Dimitrios Prountzos Roman Manevich Keshav Pingali et al.

Source: http://iss.ices.utexas.edu/Publications/Papers/prountzos-2015-SPG.pdf.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming—Parallel Programming, I.2.2 [Artificial Intelligence, Automatic Programming—Program syn- thesis General Terms Languages, Performance, Verification Keywords Synthesis, Compiler Optimization, Concurrency, Par- allelism, Amorphous Data-parallelism, Irregular Programs

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.85
http://iss.ices.utexas.edu/Publications/Papers/prountzos-2015-SPG.pdf

ABSTRACTS from other ACM Publications.

Source: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Subject Terms: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

CURRICULUM 68.

Authors: Nauarro, Silvio O.

Source: Communications of the ACM; Mar1968, Vol. 11 Issue 3, p151-197, 47p

Subject Terms: COMPUTER science, ACADEMIC programs, COMMITTEES, TECHNICAL specifications, CONTINUING education, HIGHER education

Company/Entity: ASSOCIATION for Computing Machinery

DEVELOPMENT OF THE ENTERPRISE MULTI-AGENT SIMULATION MODEL FOR THE PRODUCTION OF PLASTIC WINDOWS IN ORDER TO DEVELOP THE MARKETING STRATEGY.

Authors: Aksyonov, Konstantin A. Ziomkovskaia, Polina E. Aksyonova, Olga P. et al.

Source: Proceedings of the International Multidisciplinary Scientific GeoConference SGEM; 2019, Vol. 19 Issue 1, p241-248, 8p

Subject Terms: MARKETING strategy, PRICING, SYSTEMS software, SIMULATION methods & models, MULTIAGENT systems, INTELLIGENT agents

A Program Testing Assistant.

Authors: Chapman, David

Source: Communications of the ACM; Sep82, Vol. 25 Issue 9, p625-634, 10p

Subject Terms: COMPUTER software testing, COMPUTER programming, DEBUGGING, COMPUTER science, INFORMATION technology, ALGORITHMS

Optimizing Synthesis with Metasketches.

Authors: Bornholt, James Torlak, Emina Grossman, Dan et al.

Source: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p775-788, 14p

Complexity Results in Revising UNITY Programs.

Authors: BONAKDARPOUR, BORZOO EBNENASIR, ALI KULKARNI, SANDEEP S.

Source: ACM Transactions on Autonomous & Adaptive Systems; 2009, Vol. 4 Issue 1, p5-5.28, 28p, 1 Diagram

Subject Terms: REAL-time programming, ALGORITHMS, POLYNOMIALS, FUNCTION spaces, COMPUTER programming

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

A Survey of Computer Animation.

Authors: Pueyo, Xavier Tost, Daniela

Source: Computer Graphics Forum; Dec1988, Vol. 7 Issue 4, p281-300, 20p

Dictionary Part II: German-English.

Alternate Title: Wörterbuch Teil II: Deutsch-Englisch. (German)

Authors: Leuchtmann, Horst

Source: Wörterbuch Musik / Dictionary of Terms in Music; 1998, p157-311, 155p

Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

Authors: Hongseok Yang

Resource Type: eBook.

Subjects: Compilers (Computer programs), Computer science, Software engineering, Computer programming

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

Trends in Functional Programming : 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers

Authors: Jason Hemann Stephen Chang

Resource Type: eBook.

Subjects: Functional programming (Computer science)--Congresses

Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Architecture, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Programming Rust

Authors: Jim Blandy Jason Orendorff Leonora F. S. Tindall

Resource Type: eBook.

Subjects: Computer programming, Programming languages (Electronic computers)

Categories: COMPUTERS / Languages / General, COMPUTERS / Languages / C, COMPUTERS / Programming / Object Oriented, COMPUTERS / Programming / Parallel, COMPUTERS / Programming / Open Source

Programming Rust : Fast, Safe Systems Development

Authors: Jim Blandy Jason Orendorff

Resource Type: eBook.

Subjects: Programming languages (Electronic computers), Computer programming

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / General, COMPUTERS / Programming / Object Oriented

Lexical Semantics for Terminology : An Introduction

Authors: Marie-Claude L'Homme

Resource Type: eBook.

Subjects: Semantics, Terms and phrases

Categories: LANGUAGE ARTS & DISCIPLINES / Lexicography

Moby Word Lists.

Authors: Ward, Grady

Source: Moby Word Lists; 3/1/2006, p1, 999p

Subject Terms: REFERENCE books, ELECTRONIC publications, ELECTRONIC books, OPEN access publishing

Company/Entity: PROJECT Gutenberg (Organization)

Edsger Wybe Dijkstra : His Life, Work, and Legacy

Authors: Krzysztof R. Apt Tony Hoare

Resource Type: eBook.

Subjects: Computer programming

Categories: COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Parallel Processing

Practical Aspects of Declarative Languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings

Authors: Manuel Carro Ricardo Peña

Resource Type: eBook.

Subjects: Compilers (Computer programs), Software engineering, Computer science, Computer programming

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

Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II

Authors: Dorina C. Petriu Nicolas Rouquette Oystein Haugen

Resource Type: eBook.

Subjects: Software engineering, Computer engineering, Computer networks, Compilers (Computer programs), Computer programming, Computer systems

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Programming / General, COMPUTERS / Hardware / General