Programming languages: implementations, logics and programs: 8th international symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1996
|
| Schriftenreihe: | Lecture notes in computer science
1140 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 478 S. Ill., graph. Darst. |
| ISBN: | 3540617566 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010990512 | ||
| 003 | DE-604 | ||
| 005 | 19970421 | ||
| 007 | t | ||
| 008 | 960930s1996 gw ad|| |||| 10||| eng d | ||
| 016 | 7 | |a 948369043 |2 DE-101 | |
| 020 | |a 3540617566 |9 3-540-61756-6 | ||
| 035 | |a (OCoLC)35325316 | ||
| 035 | |a (DE-599)BVBBV010990512 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-384 |a DE-91G |a DE-19 |a DE-20 |a DE-706 |a DE-634 |a DE-83 | ||
| 050 | 0 | |a QA76.7.P56 1996 | |
| 082 | 0 | |a 005.13 |2 20 | |
| 082 | 0 | |a 005.13 20 | |
| 084 | |a SS 1996 |0 (DE-625)143433: |2 rvk | ||
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a DAT 350f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Programming languages: implementations, logics and programs |b 8th international symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996 ; proceedings |c Herbert Kuchen ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1996 | |
| 300 | |a XI, 478 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1140 | |
| 650 | 4 | |a Langages de programmation - Congrès | |
| 650 | 7 | |a Langages de programmation - Congrès |2 ram | |
| 650 | 7 | |a Ordinateurs - Programmation - Congrès |2 ram | |
| 650 | 4 | |a Programmation (Informatique) - Congrès | |
| 650 | 7 | |a Programmeertalen |2 gtt | |
| 650 | 7 | |a analyse programme |2 inriac | |
| 650 | 7 | |a base donnée déductive |2 inriac | |
| 650 | 7 | |a compilateur |2 inriac | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a environnement logiciel |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a langage fonctionnel |2 inriac | |
| 650 | 7 | |a langage programmation |2 inriac | |
| 650 | 7 | |a parallélisme |2 inriac | |
| 650 | 7 | |a production compilateur |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a spécification compilateur |2 inriac | |
| 650 | 7 | |a transformation programme |2 inriac | |
| 650 | 4 | |a Programming languages (Electronic computers) -- Congresses | |
| 650 | 4 | |a Computer programming | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z Aachen |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 1 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 2 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kuchen, Herbert |e Sonstige |4 oth | |
| 711 | 2 | |a PLILP |n 8 |d 1996 |c Aachen |j Sonstige |0 (DE-588)2158210-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1140 |w (DE-604)BV000000607 |9 1140 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007356369&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Datensatz im Suchindex
| _version_ | 1805067657833086976 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
TALK
CALCULATE
POLY
TYPICALLY!
.
1
LAMBERT
MEERTENS
TYPING
AND
STRUCTURING
SYSTEMS
LIMITS
OF
ML-DEFINABILITY
.
17
STEFAN
KAHRS
FUNCTORIAL
ML
.
32
G.
BELLE,
C.B.
JAY,
AND
E.
MOGGI
PARAMETRIC
POLYMORPHISM
FOR
TYPED
PROLOG
AND
A-PROLOG
.
47
PASCALE
LOUVET
AND
OLIVIER
RIDOUX
GOTA
ALGEBRAS:
A
SPECIFICATION
FORMALISM
FOR
INHERITANCE
AND
OBJECT
HIERARCHIES
.
62
JOAQUIN
MATEOS-LAGO
AND
MARIO
RODRIGUEZ-ARTALEJO
PROGAM
ANALYSIS
TOWARDS
INDEPENDENT
AND-PARALLELISM
IN
CLP
.
77
MARIA
GARCIA
DE
LA
BANDA,
FRANCISCO
BUENO,
AND
MANUEL
HERMENEGILDO
ANNOTATED
STRUCTURE
SHAPE
GRAPHS
FOR
ABSTRACT
ANALYSIS
OF
PROLOG
.
92
GEOFFREY
WEYER
AND
WILLIAM
WINSBOROUGH
A
REACTIVE
IMPLEMENTATION
OF
POS
USING
ROBDDS
.
107
ROBERTO
BAGNARA
DYNAMIC
ATTRIBUTE
GRAMMARS
.
122
DIDIER
PARIGOT,
GILLES
ROUSSEL,
MARTIN
JOURDAN,
AND
ETIENNE
DURIS
PROGRAM
TRANSFORMATION
LOGIC
PROGRAM
SPECIALISATION:
HOW
TO
BE
MORE
SPECIFIC
.
137
MICHAEL
LEUSCHEL
AND
DANNY
DE
SCHREYE
CONTROLLING
CONJUNCTIVE
PARTIAL
DEDUCTION
.
152
ROBERT
GLUCK,
JESPER
JPRGENSEN,
BERN
MARTENS,
AND
MORTEN
HEINE
SPRENSEN
UNFOLD/FOLD
TRANSFORMATIONS
OF
CONCURRENT
PROCESSES
.
167
NICOLETTA
DE
FRANCESCO
AND
ANTONELLA
SANTONE
SEMANTICS-BASED
COMPILING:
A
CASE
STUDY
IN
TYPE-DIRECTED
PARTIAL
EVALUATION
.
182
OLIVIER
DANVY
AND
RENE
VESTERGAARD
X
IMPLEMENTING
MEMOIZATION
FOR
PARTIAL
EVALUATION
.
198
PETER
THIEMANN
HIGHER
ORDER
DEFORESTATION
.
213
G.
W.
HAMILTON
IMPLEMENTATION
ISSUES
SCHEDULING
EXPRESSION
DAGS
FOR
MINIMAL
REGISTER
NEED
.
228
CHRISTOPH
W.
KESSLER
BEYOND
DEPTH-FIRST:
IMPROVING
TABLED
LOGIC
PROGRAMS
THROUGH
ALTERNATIVE
SCHEDULING
STRATEGIES
.
243
JULIANA
FREIRE,
TERRANCE
SWIFT,
AND
DAVID
S.
WARREN
PROGRAM
SHARING:
A
NEW
IMPLEMENTATION
APPROACH
FOR
PROLOG
.
259
XINTNG
LI
CONCURRENT
AND
PARALLEL
PROGRAMMING
SYSTEMATIC
EXTRACTION
AND
IMPLEMENTATION
OF DIVIDE-AND-CONQUER
PARALLELISM
.
274
SERGEI
GORLATCH
FUNCTIONAL
SKELETONS
GENERATE
PROCESS
TOPOLOGIES
IN
EDEN
.
289
LUIS
A.
GALAN,
CRISTOBAL
PAREJA,
AND
RICARDO
PENA
PROFUN
-
A
LANGUAGE
FOR
EXECUTABLE
SPECIFICATIONS
.
304
THOMAS
GEHRKE
AND
MICHAELA
HUHN
FROM
TERM
REWRITING
TO
GENERALISED
INTERACTION
NETS
.
319
MARIBEL
FERNANDEZ
AND
IAN
MACKIE
TOOLS
AND
PROGRAMMING
ENVIRONMENTS
TYPE
ISOMORPHISMS
FOR
MODULE
SIGNATURES
.
334
MARIA
VIRGINIA
APONTE
AND
ROBERTO
DI
COSMO
DECIDABILITY
OF
LOGIC
PROGRAM
SEMANTICS
AND
APPLICATIONS
TO
TESTING
.
347
SALVATORE
RUGGIERI
PIDGETS
-
UNIFYING
PICTURES
AND
WIDGETS
IN
A
CONSTRAINT-BASED
FRAMEWORK
FOR
CONCURRENT
FUNCTIONAL
GUI
PROGRAMMING
.
363
ENNO
SCHOLZ
XI
A-CALCULUS
AND
REWRITING
GENERALIZED
/?
REDUCTION
AND
EXPLICIT
SUBSTITUTION
.
378
FAIROUZ
KAMAREDDINE
AND
ALEJANDRO
RIOS
MODELING
SHARING
AND
RECURSION
FOR
WEAK
REDUCTION
STRATEGIES
USING
EXPLICIT
SUBSTITUTION
.
393
ZINE-EL-ABIDINE
BENAISSA,
PIERRE
LESCANNE,
AND
KRISTOFFER
H0GSBRO
ROSE
CONTEXT-SENSITIVE
COMPUTATIONS
IN
CONFLUENT
PROGRAMS
.
408
SALVADOR
LUCAS
CONSTRAINTS
MODELS
FOR
USING
STOCHASTIC
CONSTRAINT
SOLVERS
IN
CONSTRAINT
LOGIC
PROGRAMMING
.
423
PETER
J.
STUCKEY
AND
VINCENT
TAM
INTEGRATING
EFFICIENT
RECORDS
INTO
CONCURRENT
CONSTRAINT
PROGRAMMING
.
438
PETER
VAN
ROY,
MICHAEL
MEHL,
AND
RALF
SCHEIDHAUER
DEDUCTIVE
DATABASE
LANGUAGES
THE
LOL
DEDUCTIVE
DATABASE
PROGRAMMING
LANGUAGE
.
454
MENGCHI
LIU
POSTERS
AND
DEMONSTRATIONS
AN
EFFICIENT
AND
PRECISE
SHARING
DOMAIN
FOR
LOGIC
PROGRAMS
.
469
CHRISTIAN
FECHT
CHEAP
TUPLING
IN
CALCULATIONAL
FORM
.
471
ZHENJIANG
HU,
HIDEYA
IWASAKI,
AND
MASATO
TAKEICHI
NEEDED
NARROWING
IN
PROLOG
.
473
SERGIO
ANTOY
AUTOMATIC
OPTIMIZATION
OF
DYNAMIC
SCHEDULING
IN
LOGIC
PROGRAMS
.
475
GERMAN
PUEBLA
AND
MANUEL
HERMENEGILDO
OZ
EXPLORER:
A
VISUAL
CONSTRAINT
PROGRAMMING
TOOL
.
477
CHRISTIAN
SCHULTE
AUTHOR
INDEX
.
479 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010990512 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7.P56 1996 |
| callnumber-search | QA76.7.P56 1996 |
| callnumber-sort | QA 276.7 P56 41996 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1996 SS 4800 ST 250 |
| classification_tum | DAT 350f |
| ctrlnum | (OCoLC)35325316 (DE-599)BVBBV010990512 |
| dewey-full | 005.13 005.1320 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 005.13 20 |
| dewey-search | 005.13 005.13 20 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010990512</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970421</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960930s1996 gw ad|| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">948369043</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540617566</subfield><subfield code="9">3-540-61756-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35325316</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010990512</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7.P56 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1996</subfield><subfield code="0">(DE-625)143433:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming languages: implementations, logics and programs</subfield><subfield code="b">8th international symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996 ; proceedings</subfield><subfield code="c">Herbert Kuchen ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 478 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1140</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Programmation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmeertalen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée déductive</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">compilateur</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">concurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">environnement logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage fonctionnel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">parallélisme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">production compilateur</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification compilateur</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">transformation programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers) -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1996</subfield><subfield code="z">Aachen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kuchen, Herbert</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">PLILP</subfield><subfield code="n">8</subfield><subfield code="d">1996</subfield><subfield code="c">Aachen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2158210-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1140</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1140</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007356369&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 Aachen gnd-content |
| genre_facet | Konferenzschrift 1996 Aachen |
| id | DE-604.BV010990512 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T03:37:42Z |
| institution | BVB |
| institution_GND | (DE-588)2158210-5 |
| isbn | 3540617566 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007356369 |
| oclc_num | 35325316 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-706 DE-634 DE-83 |
| owner_facet | DE-739 DE-384 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-706 DE-634 DE-83 |
| physical | XI, 478 S. Ill., graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Programming languages: implementations, logics and programs 8th international symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996 ; proceedings Herbert Kuchen ... (eds.) Berlin [u.a.] Springer 1996 XI, 478 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1140 Langages de programmation - Congrès Langages de programmation - Congrès ram Ordinateurs - Programmation - Congrès ram Programmation (Informatique) - Congrès Programmeertalen gtt analyse programme inriac base donnée déductive inriac compilateur inriac concurrence inriac environnement logiciel inriac lambda calcul inriac langage fonctionnel inriac langage programmation inriac parallélisme inriac production compilateur inriac réécriture inriac spécification compilateur inriac transformation programme inriac Programming languages (Electronic computers) -- Congresses Computer programming Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Implementierung Informatik (DE-588)4026663-1 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 Aachen gnd-content Logische Programmierung (DE-588)4195096-3 s Programmiersprache (DE-588)4047409-4 s Implementierung Informatik (DE-588)4026663-1 s DE-604 Kuchen, Herbert Sonstige oth PLILP 8 1996 Aachen Sonstige (DE-588)2158210-5 oth Lecture notes in computer science 1140 (DE-604)BV000000607 1140 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007356369&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Programming languages: implementations, logics and programs 8th international symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996 ; proceedings Lecture notes in computer science Langages de programmation - Congrès Langages de programmation - Congrès ram Ordinateurs - Programmation - Congrès ram Programmation (Informatique) - Congrès Programmeertalen gtt analyse programme inriac base donnée déductive inriac compilateur inriac concurrence inriac environnement logiciel inriac lambda calcul inriac langage fonctionnel inriac langage programmation inriac parallélisme inriac production compilateur inriac réécriture inriac spécification compilateur inriac transformation programme inriac Programming languages (Electronic computers) -- Congresses Computer programming Logische Programmierung (DE-588)4195096-3 gnd Implementierung Informatik (DE-588)4026663-1 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4026663-1 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Programming languages: implementations, logics and programs 8th international symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996 ; proceedings |
| title_auth | Programming languages: implementations, logics and programs 8th international symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996 ; proceedings |
| title_exact_search | Programming languages: implementations, logics and programs 8th international symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996 ; proceedings |
| title_full | Programming languages: implementations, logics and programs 8th international symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996 ; proceedings Herbert Kuchen ... (eds.) |
| title_fullStr | Programming languages: implementations, logics and programs 8th international symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996 ; proceedings Herbert Kuchen ... (eds.) |
| title_full_unstemmed | Programming languages: implementations, logics and programs 8th international symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996 ; proceedings Herbert Kuchen ... (eds.) |
| title_short | Programming languages: implementations, logics and programs |
| title_sort | programming languages implementations logics and programs 8th international symposium plilp 96 aachen germany september 24 27 1996 proceedings |
| title_sub | 8th international symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996 ; proceedings |
| topic | Langages de programmation - Congrès Langages de programmation - Congrès ram Ordinateurs - Programmation - Congrès ram Programmation (Informatique) - Congrès Programmeertalen gtt analyse programme inriac base donnée déductive inriac compilateur inriac concurrence inriac environnement logiciel inriac lambda calcul inriac langage fonctionnel inriac langage programmation inriac parallélisme inriac production compilateur inriac réécriture inriac spécification compilateur inriac transformation programme inriac Programming languages (Electronic computers) -- Congresses Computer programming Logische Programmierung (DE-588)4195096-3 gnd Implementierung Informatik (DE-588)4026663-1 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Langages de programmation - Congrès Ordinateurs - Programmation - Congrès Programmation (Informatique) - Congrès Programmeertalen analyse programme base donnée déductive compilateur concurrence environnement logiciel lambda calcul langage fonctionnel langage programmation parallélisme production compilateur réécriture spécification compilateur transformation programme Programming languages (Electronic computers) -- Congresses Computer programming Logische Programmierung Implementierung Informatik Programmiersprache Konferenzschrift 1996 Aachen |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007356369&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kuchenherbert programminglanguagesimplementationslogicsandprograms8thinternationalsymposiumplilp96aachengermanyseptember24271996proceedings AT plilpaachen programminglanguagesimplementationslogicsandprograms8thinternationalsymposiumplilp96aachengermanyseptember24271996proceedings |