UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (65)

ULiège (46)

UCLouvain (37)

KBR (27)

UAntwerpen (24)

ULB (21)

UGent (16)

UNamur (13)

Odisee (5)

Thomas More Kempen (5)
More...

Resource type

book (70)

periodical (1)

Language

English (63)

German (5)

French (2)

Year

From To

2016 (1)

2013 (1)

2007 (1)

2006 (1)

2004 (2)
More...

Listing 1 - 10 of 70 << page
of 7
>>
Sort by

Book

Logic of programming and calculi of discrete design : International Summer school directed by F. L. Bauer e.a.
Authors: Broy, Manfred --- Bauer, Friedrich Ludwig --- NATO.. Advanced study institute on logic of programming and calculi of discrete design (1986 : Marktoberdorf)
Year: 1987 Publisher: Berlin: Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic programming --- Formal Method --- Marktoberdorf --- Program Synthesis --- Formal Description

Book

Eine Architektur für Programmsynthese aus natürlicher Sprache
Author: Landhäußer, Mathias
ISBN: 1000055916 3731505444 Year: 2016 Publisher: KIT Scientific Publishing

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract
This book presents an architecture for programming in natural language called NLCI. It decouples the application domain from the text analyses: NLCI is an extensible architecture and its components are reusable. NLCI is evaluated with two case studies in two radically different domains: translating commands for a home automation system (openHAB) and generating 3D animations from English scripts with Alice.

Keywords
program synthesis --- Sprachverarbeitung --- SoftwaretechnikNatural language processing --- software engineering --- programming systems --- Programmiersystem --- Programmsynthese

Book

Real time programming 1986 : proceedings of the 14th IFAC/IFIP workshop, Lake Balaton, Hungary, 26-28 May 1986
Authors: Szlanko, J. --- IFAC/IFIP.. workshop on real-time programming (14th : 1986 : Lake Balaton)
ISBN: 0080343473 9780080343471 Year: 1986 Publisher: Oxford: Pergamon,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Distributed System --- Scheduling --- Control System --- Program Synthesis --- Real Time --- Fault Tolerant --- Software Development

Logic program synthesis and transformation : proceedings of LOPSTR '91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991
Authors: Clement, Timothy Paul --- Lau, Kung-Kiu --- Association for Logic Programming.
ISBN: 0387197427 3540197427 144713494X 9783540197423 Year: 1992 Publisher: London : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic programming --- -681.3*I22 --- Computer programming --- Congresses --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Congresses. --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*I22 --- Logic programming - Congresses

Logic program synthesis and transformation : proceedings of LOPSTR 92, International workshop on logic program synthesis and transformation, University of Manchester, 2-3 July 1992
Authors: Lau, Kung-Kiu --- Clement, Tim --- British computer society --- International workshop on logic program synthesis and transformation (1992 : University of Manchester)
ISBN: 3540198067 9783540198062 Year: 1993 Publisher: London: Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic programming --- 681.3*I22 --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Congresses --- Programming --- Logic programming - Congresses

Book

Intelligence artificielle : application à l'analyse de programmes
Author: Wertz, Harald
ISBN: 2225804710 9782225804717 Year: 1985 Publisher: Paris: Masson,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
681.3*I22 --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Programmation (Informatique) --- Intelligence artificielle

Efficiency in program synthesis
Author: Kant, Elaine
ISBN: 083571215X 9780835712156 Year: 1981 Volume: 8 Publisher: Ann Arbor: UMI research press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer programming --- #TCPW P7.2 --- #TCPW P7.6 --- #TCPW P6.3 --- 681.3*A0 --- 681.3*I22 --- 681.3*I22 Automatic programming: automatic analysis of algorithms program modification program synthesis program transformation program verification (Artificialintelligence)--See also {681.3*D12} {681.3*F31} --- Automatic programming: automatic analysis of algorithms program modification program synthesis program transformation program verification (Artificialintelligence)--See also {681.3*D12} {681.3*F31} --- 681.3*A0 General --- General --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Programming --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Automatic Programming --- Program Synthesis --- Efficiency --- Computer programming. --- Programmation (informatique)

Foundations of genetic programming
Authors: Langdon, William B. --- Poli, Riccardo
ISBN: 3540424512 9783540424512 Year: 2002 Publisher: Berlin: Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Genetic programming (Computer science) --- 681.3*I22 --- 681.3*I22 Automatic programming: automatic analysis of algorithms program modification program synthesis program transformation program verification (Artificialintelligence)--See also {681.3*D12} {681.3*F31} --- Automatic programming: automatic analysis of algorithms program modification program synthesis program transformation program verification (Artificialintelligence)--See also {681.3*D12} {681.3*F31} --- Computer programming --- Genetic algorithms --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Artificial intelligence. Robotics. Simulation. Graphics --- Genetic programming (Computer science).

Computer program synthesis methodologies
Authors: Biermann, Alan W. --- Guiho, Gérard --- NATO Advanced Study Institutes
ISBN: 9027715041 9400970218 9400970196 Year: 1983 Volume: vol 95 Publisher: Dordrecht Boston London Reidel

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Programming --- Computer programming --- -681.3*A0 --- 681.3*I22 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Congresses --- General --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*A0 General --- 681.3*A0 --- Electronic digital computers programming --- Computer programming.

Book

Specification and transformation of programs : a formal approach to software development
Author: Partsch, Helmut A.
ISBN: 3540525890 3642615120 3540523561 0387523561 9783540523567 9783540525899 Year: 1990 Publisher: Berlin : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Programming --- Computer software --- Computer programs --- Development. --- Specifications. --- 681.3*D2 --- 681.3*I22 --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Computer software - Development. --- Computer programs - Specifications.

Listing 1 - 10 of 70 << page
of 7
>>
Sort by