Výsledky vyhledávání - D.1.2 [Programming Techniques]: Automatic Programming

Automated feedback generation for introductory programming assignments

Autoři: Rishabh Singh Sumit Gulwani Armando Solar-lezama a další

Přispěvatelé: Rishabh Singh Sumit Gulwani Armando Solar-lezama a další

Zdroj: http://research.microsoft.com/en-us/um/people/sumitg/pubs/pldi13-grading.pdf.

Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming, I.2.2 [Artificial Intelligence

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.353.884
http://research.microsoft.com/en-us/um/people/sumitg/pubs/pldi13-grading.pdf

Parsing and translation of expressions by genetic programming

Autoři: David Jackson The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: David Jackson The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1681.pdf.

Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming, D.3.4 [Programming Languages, Processors – compilers, code generation, parsing, I.2.6 [Artificial Intelligence] Learning – induction. General Terms Algorithms, Experimentation. Keywords Genetic programming, application, software tools

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.5966; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1681.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.5966
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1681.pdf

A Rule-Based Language for Programming Software Updates

Autoři: Martin Erwig Deling Ren The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Martin Erwig Deling Ren The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.orst.edu/~erwig/papers/HULA_RULE02.pdf.

Témata: Categories and Subject Descriptors D.1.1 [Programming Techniques, Functional Programming, D.1.2 [Programming Techniques, Automatic Programming, D.2.7 [Software Engineering, Maintenance, F.3.1 [Logics and Meanings of Programs, Reasoning about Programs General Terms Design, Languages, Reliability Keywords Update program, type change, type correctness, update safey

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.7177; http://www.cs.orst.edu/~erwig/papers/HULA_RULE02.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.7177
http://www.cs.orst.edu/~erwig/papers/HULA_RULE02.pdf

Categories and Subject Descriptors D.1.2 [PROGRAMMING TECHNIQUES]: Automatic Programming General Terms Language, Design

Autoři: Kamin Whitehouse The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Kamin Whitehouse The Pennsylvania State University CiteSeerX Archives

Zdroj: http://research.microsoft.com/~zhao/pubs/AutoCompositionPosterSensys05.pdf.

Témata: declarative query, service architecture

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.373; http://research.microsoft.com/~zhao/pubs/AutoCompositionPosterSensys05.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.373
http://research.microsoft.com/~zhao/pubs/AutoCompositionPosterSensys05.pdf

D.1.2 Software: Programming Techniques—Automatic Programming

Autoři: Daniel Muenter Tim Hussein The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Daniel Muenter Tim Hussein The Pennsylvania State University CiteSeerX Archives

Zdroj: http://semais.org/papers/Presentations/Muenter.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.3054; http://semais.org/papers/Presentations/Muenter.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.3054
http://semais.org/papers/Presentations/Muenter.pdf

D.1.2 Software: Programming Techniques—Automatic Programming

Autoři: Tim Hussein Daniel Muenter The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Tim Hussein Daniel Muenter The Pennsylvania State University CiteSeerX Archives

Zdroj: http://semais.org/papers/Hussein1.pdf.

Témata: Model-driven UI Generation, Faceted Browsing

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.263; http://semais.org/papers/Hussein1.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.263
http://semais.org/papers/Hussein1.pdf

Categories and Subject Descriptors D.1.2 [PROGRAMMING TECHNIQUES]: Automatic Programming General Terms Language, Design

Autoři: Kamin Whitehouse The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Kamin Whitehouse The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.virginia.edu/~whitehouse/research/semanticStreams/sensys05autocomposition.pdf.

Témata: declarative query, service architecture

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.4047; http://www.cs.virginia.edu/~whitehouse/research/semanticStreams/sensys05autocomposition.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.4047
http://www.cs.virginia.edu/~whitehouse/research/semanticStreams/sensys05autocomposition.pdf

Creating user interfaces using programming by example, visual programming, and constraints

Autoři: Brad A. Myers The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Brad A. Myers The Pennsylvania State University CiteSeerX Archives

Zdroj: http://monet.cs.columbia.edu/courses/csw4170/resources/myersTOPLAS90.pdf.

Témata: Categories and Subject Descriptors, D.1.2 [Programming Techniques, Automatic Programming, D.2.2 [Software Engineering, Tools and Techniques--wer interfaces, H.1.2 [Models and Prin- ciples, User/Machine Systems---human factors, 1.2.2 [Artificial Intelligence, Automatic Pro- gramming-program synthesis, 1.3.6 [Computer Graphics, Methodology and Techniques General Term, Human Factors Additional Key Words and Phrases, Constraints, direct manipulation, plausible inference, program- ming by example

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.2323; http://monet.cs.columbia.edu/courses/csw4170/resources/myersTOPLAS90.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.2323
http://monet.cs.columbia.edu/courses/csw4170/resources/myersTOPLAS90.pdf

Auto-tuning a high-level language targeted to GPU codes

Autoři: Scott Grauer-gray Lifan Xu Robert Searles a další

Přispěvatelé: Scott Grauer-gray Lifan Xu Robert Searles a další

Zdroj: http://www.eecis.udel.edu/~cavazos/autoTuneGpu.pdf.

Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming, D.1.3[Programming Techniques, ConcurrentProgramming—Parallel Programming, D.2.8 [Software Engineering, Metrics—complexity measures, performance measures General Terms Performance Keywords Auto-tuning, GPU, CUDA, OpenCL, Optimization, Belief Propagation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.9753; http://www.eecis.udel.edu/~cavazos/autoTuneGpu.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.9753
http://www.eecis.udel.edu/~cavazos/autoTuneGpu.pdf

Table Transformations from Examples

Autoři: William R. Harris Sumit Gulwani The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: William R. Harris Sumit Gulwani The Pennsylvania State University CiteSeerX Archives

Zdroj: http://pages.cs.wisc.edu/~wrharris/publications/spreadsheet_table_transformations_from_examples.pdf.

Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming, I.2.2 [Artificial Intelligence, Program Synthesis General Terms Languages, Algorithms, Human Factors Keywords Program Synthesis, End-user Programming, Programming by Example, Spreadsheet Programming, Table Manipulation, User Intent

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.404.4002; http://pages.cs.wisc.edu/~wrharris/publications/spreadsheet_table_transformations_from_examples.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.404.4002
http://pages.cs.wisc.edu/~wrharris/publications/spreadsheet_table_transformations_from_examples.pdf

Oracle-guided component-based program synthesis

Autoři: Susmit Jha Sumit Gulwani Sanjit A. Seshia a další

Přispěvatelé: Susmit Jha Sumit Gulwani Sanjit A. Seshia a další

Zdroj: http://www.eecs.berkeley.edu/%7Esseshia/pubdir/icse10-TR.pdf.

Témata: D.1.2 [Programming Techniques, Automatic Programming, I.2.2 [Artificial Intelligence, Program Synthesis, K.3.2 [Learning, Concept Learning Keywords Program synthesis, Oracle-based learning, SMT, SAT

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.226.2636
http://www.eecs.berkeley.edu/%7Esseshia/pubdir/icse10-TR.pdf

Context-sensitive autosanitization in web templating languages using type qualifiers

Autoři: Mike Samuel Prateek Saxena Dawn Song a další

Přispěvatelé: Mike Samuel Prateek Saxena Dawn Song a další

Zdroj: http://www.cs.berkeley.edu/%7Edawnsong/papers/2011%20Context-sensitive%20auto-sanitization%20in%20web%20templating%20languages%20using%20type%20qualifiers.pdf.

Témata: Categories and Subject Descriptors, D.4.6 Operating Systems, Security and Protection, D.1.2 Programming Techniques, Automatic Programming General Terms, Languages, Security Keywords, Cross-site Scripting, Type Systems

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.8458
http://www.cs.berkeley.edu/%7Edawnsong/papers/2011%20Context-sensitive%20auto-sanitization%20in%20web%20templating%20languages%20using%20type%20qualifiers.pdf

Oracle-guided component-based program synthesis

Autoři: Sumit Gulwani Sanjit A. Seshia Ashish Tiwari a další

Přispěvatelé: Sumit Gulwani Sanjit A. Seshia Ashish Tiwari a další

Zdroj: http://www.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-15.pdf.

Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming, I.2.2 [Artificial Intelligence, Program Synthesis, K.3.2 [Learning, Concept Learning Keywords Program synthesis, Oracle-based learning, SMT, SAT

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.374.1565
http://www.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-15.pdf

Migrating protocols in multi-threaded message-passing systems

Autoři: Austin Anderson Julian Rathke The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Austin Anderson Julian Rathke The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf.

Témata: Categories and Subject Descriptors D.1.2 [Programming Tech- niques, Automatic Programming- program modification, pro- gram transformation, D.1.3 [Programming Techniques, Concur- rent Programming- multi-threaded programming, D.2.7 [Soft- ware Engineering, Distribution, Maintenance, and Enhancement, D.3.1 [Programming Languages, Formal Definitions and Theory General Terms Languages, Typing Keywords Dynamic Software Update, Multi-Party Session Types, Distributed-Protocols

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.558.9972; http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.558.9972
http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf

DOLFIN: Automated finite element computing

Autoři: Anders Logg Garth N. Wells The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Anders Logg Garth N. Wells The Pennsylvania State University CiteSeerX Archives

Zdroj: http://simula.no/research/sc/publications/Simula.SC.476/simula_pdf_file/.

Témata: Categories and Subject Descriptors, G.4 [Mathematical software, Algorithm Design, Efficiency, User Interfaces, G.1.8 [Numerical analysis, Partial differential equations—Finite Element Methods, D.1.2 [Programming techniques, Automatic Programming General Terms, Algorithms, Design, Performance Additional Key Words and Phrases, DOLFIN, FEniCS, Code Generation, Form Compiler

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.207.4990; http://simula.no/research/sc/publications/Simula.SC.476/simula_pdf_file/

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.207.4990
http://simula.no/research/sc/publications/Simula.SC.476/simula_pdf_file/

Ripley: Automatically Securing Web 2.0 Applications Through Replicated Execution

Autoři: K. Vikram Abhishek Prateek Benjamin Livshits a další

Přispěvatelé: K. Vikram Abhishek Prateek Benjamin Livshits a další

Zdroj: http://research.microsoft.com/users/livshits/papers/pdf/ccs09.pdf.

Témata: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—invasive software, D.4.7 [Operating Systems, Organization and Design—distributed systems, D.1.2 [Programming Techniques, Automatic Programming—

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.5199; http://research.microsoft.com/users/livshits/papers/pdf/ccs09.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.5199
http://research.microsoft.com/users/livshits/papers/pdf/ccs09.pdf

Schreye. Termination Proofs for Logic Programs with Tabling

Autoři: Sofie Verbaeten Danny De Schreye The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Sofie Verbaeten Danny De Schreye The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf.

Témata: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—logic programming General Terms, Languages, Theory Additional Key Words and Phrases, Prolog, tabling, SLG-resolution

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.8927; http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.8927
http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf

WebDSL: A domain-specific language for dynamic web applications

Autoři: D. M. Groenewegen Z. Hemel L. C. L. Kats a další

Přispěvatelé: D. M. Groenewegen Z. Hemel L. C. L. Kats a další

Zdroj: http://www.lclnet.nl/publications/webdsl08.pdf.

Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming, D.2.3 [Software Engineering

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.512.1751; http://www.lclnet.nl/publications/webdsl08.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.512.1751
http://www.lclnet.nl/publications/webdsl08.pdf

R.: “Pointer Re-coding for Creating Definitive MPSoC Models

Autoři: Pramod Chandraiah Rainer Dömer The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Pramod Chandraiah Rainer Dömer The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cecs.uci.edu/~papers/esweek07/codes/p33.pdf.

Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming General Terms Algorithms, Design, Languages Keywords MPSoC, Pointers, Re-coding, System Specification

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.321; http://www.cecs.uci.edu/~papers/esweek07/codes/p33.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.321
http://www.cecs.uci.edu/~papers/esweek07/codes/p33.pdf

Pointer re-coding for creating definitive mpsoc models

Autoři: Pramod Chandraiah The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Pramod Chandraiah The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cecs.uci.edu/~doemer/publications/CODES_ISSS_07.pdf.

Témata: D.1.2 [Programming Techniques, Automatic Programming General Terms Algorithms, Design, Languages Keywords MPSoC, Pointers, Re-coding, System Specification

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.1993; http://www.cecs.uci.edu/~doemer/publications/CODES_ISSS_07.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.1993
http://www.cecs.uci.edu/~doemer/publications/CODES_ISSS_07.pdf