Suchergebnisse - i.2.2 automation programming. program transformation*

Compiling Real Time Functional Reactive Programming

Autoren: Dana N. Xu Siau-cheng Khoo The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Dana N. Xu Siau-cheng Khoo The Pennsylvania State University CiteSeerX Archives

Quelle: http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf.

Schlagwörter: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors – optimization, I.2.2 [Artificial Intelligence, Automatic Programming – Program transformation. General Terms Algorithm, Performance, Languages Keywords Reactive System, Partial Evaluation, Tupling

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563; http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563
http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf

Automated Termination Proofs for Logic Programs by Term Rewriting.

Autoren: Schneider-Kamp, Peter Giesl, Jürgen Serebrenik, Alexander et al.

Quelle: ACM Transactions on Computational Logic; Oct2009, Vol. 11 Issue 1, p2-2:52, 52p, 4 Charts

Schlagwörter: REWRITING systems (Computer science), COMPUTER software termination, LOGIC programming, MATHEMATICAL transformations, INFINITY (Mathematics)

From Datalog Rules to Efficient Programs with Time and Space Guarantees.

Autoren: LIU, YANHONG A. STOLLER, SCOTT D.

Quelle: ACM Transactions on Programming Languages & Systems; Aug2009, Vol. 31 Issue 6, p21-21:38, 38p, 2 Diagrams, 7 Charts, 3 Graphs

Schlagwörter: DATA structures, INDEXING, PROGRAM transformation, RECURSION theory, ALGORITHMS, COMPUTATIONAL complexity

Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Autoren: María Alpuente

Resource Type: eBook.

Schlagworte: Software engineering, Computer programming, Computer science, Artificial intelligence, Algorithms

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

Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Autoren: Michael Hanus

Resource Type: eBook.

Schlagworte: Logic programming--Congresses

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

Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Autoren: Andy King

Resource Type: eBook.

Schlagworte: Logic programming--Congresses

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

Logic-Based Program Synthesis and Transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Autoren: Germán Puebla

Resource Type: eBook.

Schlagworte: Logic programming--Congresses

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

Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers

Autoren: Annalisa Bossi

Resource Type: eBook.

Schlagworte: Logic programming--Congresses

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

From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite.

Autoren: Get, Jerome Hugues Get, Bechir Zalila Get, Laurent Pautet et al.

Quelle: ACM Transactions on Embedded Computing Systems; Jul2008, Vol. 7 Issue 4, p42-42:25, 25p, 5 Diagrams, 1 Chart

Schlagwörter: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip

Logic Based Program Synthesis and Transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Autoren: Patricia M. Hill

Resource Type: eBook.

Schlagworte: Logic programming--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / General

Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Autoren: Sandro Etalle

Resource Type: eBook.

Schlagworte: Logic programming--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / General

Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings

Autoren: Norbert E. Fuchs

Resource Type: eBook.

Schlagworte: Computer programming, Artificial intelligence, Computer science, Machine theory

Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science

Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Autoren: Pierre Flener

Resource Type: eBook.

Schlagworte: Software engineering, Computer systems, Computer science, Computer programming, Artificial intelligence

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

Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

Autoren: M. Leuschel

Resource Type: eBook.

Schlagworte: Logic programming--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / General, NON-CLASSIFIABLE

Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

Autoren: Alberto Pettorossi

Resource Type: eBook.

Schlagworte: Software engineering, Computer systems, Computer science, Computer programming, Artificial intelligence, Machine theory

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

Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Autoren: Kung-Kiu Lau

Resource Type: eBook.

Schlagworte: Software engineering, Computer science, Computer programming, Artificial intelligence, Machine theory

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

Analog Automation and Digital Feedback Control Techniques

Autoren: Jean Mbihi

Resource Type: eBook.

Schlagworte: Automatic control, Automation

Categories: COMPUTERS / Programming / Algorithms

Formal Methods: Practice and Experience.

Autoren: WOODCOCK, JIM LARSEN, PETER GORM BICARREGUI, JUAN et al.

Quelle: ACM Computing Surveys; Oct2009, Vol. 41 Issue 4, p19:1-19:36, 36p, 4 Charts, 10 Graphs

Schlagwörter: FORMAL methods (Computer science), INDUSTRIAL surveys, SOFTWARE verification, USER-centered system design, SOFTWARE architecture

Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Autoren: Sergei Artemov Anil Nerode

Resource Type: eBook.

Schlagworte: Logic, Computer science--Congresses, Computer logic--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Logic Design, MATHEMATICS / Logic

The Mathematical-Function Computation Handbook : Programming Using the MathCW Portable Software Library

Autoren: Nelson H.F. Beebe

Resource Type: eBook.

Schlagworte: Functions--Computer programs, Computer science--Mathematics, Computer programming

Categories: COMPUTERS / Computer Science, MATHEMATICS / Applied, SCIENCE / Physics / Mathematical & Computational, TECHNOLOGY & ENGINEERING / Engineering (General), MATHEMATICS / Numerical Analysis, SCIENCE / Chemistry / Computational & Molecular Modeling