Static analysis: first International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin u.a.
Springer
1994
|
| Series: | Lecture notes in computer science
864 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XII, 463 S. graph. Darst. |
| ISBN: | 3540584854 0387584854 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009780082 | ||
| 003 | DE-604 | ||
| 005 | 20140228 | ||
| 007 | t| | ||
| 008 | 940822s1994 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 941912612 |2 DE-101 | |
| 020 | |a 3540584854 |9 3-540-58485-4 | ||
| 020 | |a 0387584854 |9 0-387-58485-4 | ||
| 035 | |a (OCoLC)31132319 | ||
| 035 | |a (DE-599)BVBBV009780082 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-19 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.6.I5733 1994 | |
| 082 | 0 | |a 005.13/1 20 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a MTA 100f |2 stub | ||
| 245 | 1 | 0 | |a Static analysis |b first International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994 ; proceedings |c Baudouin LeCharlier (ed.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1994 | |
| 300 | |a XII, 463 S. |b 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 864 | |
| 500 | |a Literaturangaben | ||
| 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 | 7 | |a Programacao De Computadores |2 larpcal | |
| 650 | 4 | |a Programmation (Informatique) - Congrès | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 7 | |a analyse statique |2 inriac | |
| 650 | 7 | |a langage concurrent |2 inriac | |
| 650 | 7 | |a langage fonctionnel |2 inriac | |
| 650 | 7 | |a optimisation |2 inriac | |
| 650 | 7 | |a ordonnancement |2 inriac | |
| 650 | 7 | |a point fixe |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation fonctionnelle |2 inriac | |
| 650 | 4 | |a Computer programming -- Congresses | |
| 650 | 4 | |a Programming languages (Electronic computers) -- Congresses | |
| 650 | 0 | 7 | |a Statistische Analyse |0 (DE-588)4116599-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Statische Analyse |0 (DE-588)4325372-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Namur |2 gnd-content | |
| 689 | 0 | 0 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Statistische Analyse |0 (DE-588)4116599-8 |D s |
| 689 | 1 | |5 DE-188 | |
| 700 | 1 | |a Le Charlier, Baudouin |d 1950- |e Sonstige |0 (DE-588)141685050 |4 oth | |
| 711 | 2 | |a SAS |n 1 |d 1994 |c Namur |j Sonstige |0 (DE-588)2139193-2 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 864 |w (DE-604)BV000000607 |9 864 | |
| 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=006471672&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006471672 | |
Record in the Search Index
| _version_ | 1820874844306145280 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
TALK
THE
COSTS
AND
BENEFITS
OF
ABSTRACT
INTERPRETATION-DRIVEN
PROLOG
OPTIMIZATION
.
1
THOMAS
W.
GETZINGER
(HUGHES
AIRCRAFT
COMPANY)
LOGIC
PROGRAMMING
MODE
ANALYSIS
OF
FUNCTIONAL
LOGIC
PROGRAMS
.
26
MICHAEL
HANUS
(MAX-PLANCK-INSTITUT
FUR
INFORMATIK)
FRANK
ZARTMANN
(MAX-PLANCK-INSTITUT
FUR
INFORMATIK)
DIRECTIONAL
TYPE
CHECKING
OF
LOGIC
PROGRAMS
.
43
ALEXANDER
AIKEN
(UNIVERSITY
OF
CALIFORNIA,
BERKELEY)
T.K.
LAKSHMAN
(UNIVERSITY
OF
ILLINOIS
AT
URBANA-CHAMPAIGN)
A
SYSTEMATIC
CONSTRUCTION
OF
ABSTRACT
DOMAINS
.
61
DMITRI
BOULANGER
(KATHOLIEKE
UNIVERSITEIT
LEUVEN)
MAURICE
BRUYNOOGHE
(KATHOLIEKE
UNIVERSITEIT
LEUVEN)
OBJECT-ORIENTED
PROGRAMMING
CONSTRAINT-BASED
TYPE
INFERENCE
AND
PARAMETRIC
POLYMORPHISM
.
78
OLE
AGESEN
(STANFORD
UNIVERSITY)
INSTRUCTION
SCHEDULING
EFFICIENT
ON-THE-FLY
ANALYSIS
OF
PROGRAM
BEHAVIOR
AND
STATIC
CACHE
SIMULATION
.
101
FRANK
MUELLER
(FLORIDA
STATE
UNIVERSITY)
DAVID
B.
WHALLEY
(FLORIDA
STATE
UNIVERSITY)
FROM
PROCESSOR
TIMING
SPECIFICATIONS
TO
STATIC
INSTRUCTION
SCHEDULING
.
116
ED
HARCOURT
(CHALMERS
UNIVERSITY
OF
TECHNOLOGY)
JON
MAUNEY
(NORTH
CAROLINA
STATE
UNIVERSITY)
TODD
COOK
(RUTGERS
UNIVERSITY)
FUNCTIONAL
PROGRAM
OPTIMIZATION
STACKABILITY
IN
THE
SIMPLY-TYPED
CALL-BY-VALUE
LAMBDA
CALCULUS
.
131
ANINDYA
BANERJEE
(KANSAS
STATE
UNIVERSITY)
DAVID
A.
SCHMIDT
(KANSAS
STATE
UNIVERSITY)
GENERALIZED
BOXINGS,
CONGRUENCES
AND
PARTIAL
INLINING
.
147
JEAN
GOUBAULT
(BULL
CORPORATE
RESEARCH
CENTER)
X
SELECTIVE
THUNKIFICATION
.
162
PAUL
STECKLER
(NORTHEASTERN
UNIVERSITY)
MITCHELL
WAND
(NORTHEASTERN
UNIVERSITY)
INVITED
TALK
ABOUT
SYNCHRONOUS
PROGRAMMING
AND
ABSTRACT
INTERPRETATION
.
179
NICOLAS
HALBWACHS
(VERIMAG)
EXTENT
ANALYSIS
UNIQUENESS
AND
COMPLETENESS
ANALYSIS
OF
ARRAY
COMPREHENSIONS
.
193
DAVID
GARZA-SALAZAR
(COLORADO
STATE
UNIVERSITY)
WIM
BOHM
(COLORADO
STATE
UNIVERSITY)
EXTENT
ANALYSIS
OF
DATA
FIELDS
.
208
BJORN
LISPER
(ROYAL
INSTITUTE
OF
TECHNOLOGY,
SWEDEN)
JEAN-FRANGOIS
COLLARD
(LIP,
ENS
LYON)
VERIFICATION
VERIFICATION
OF
LINEAR
HYBRID
SYSTEMS
BY
MEANS
OF
CONVEX
APPROXIMATIONS
.
223
NICOLAS
HALBWACHS
(VERIMAG)
YANN-ERIC
PROY
(MERLIN-GERIN)
PASCAL
RAYMOND
(VERIMAG)
COMPILE-TIME
DETECTION
OF
UNCAUGHT
EXCEPTIONS
IN
STANDARD
ML
PROGRAMS
.
238
KWANGKEUN
YI
(AT&T
BELL
LABORATORIES)
INVITED
TALK
ESTIMATING
THE
COMPUTATIONAL
COST
OF
LOGIC
PROGRAMS
.
255
SAUMYA
K.
DEBRAY
(UNIVERSITY
OF
ARIZONA)
P.
LOPEZ
GARCIA
(UNIVERSITY
OF
MADRID)
MANUEL
HERMENEGILDO
(UNIVERSITY
OF
MADRID)
N.-W.
LIN
(NATIONAL
CHUNG
CHENG
UNIVERSITY)
DEPENDENCY
ANALYSES
FOR
LOGIC
PROGRAMMING
BOOLEAN
FUNCTIONS
FOR
DEPENDENCY
ANALYSIS:
ALGEBRAIC
PROPERTIES
AND
EFFICIENT
REPRESENTATION
.
266
TANIA
ARMSTRONG
(MONASH
UNIVERSITY)
KIM
MARRIOTT
(MONASH
UNIVERSITY)
PETER
SCHACHTE
(UNIVERSITY
OF
MELBOURNE)
HARALD
SYNDERGAARD
(UNIVERSITY
OF
MELBOURNE)
XI
DERIVING
POLYMORPHIC
TYPE
DEPENDENCIES
FOR
LOGIC
PROGRAMS
USING
MULTIPLE
INCARNATIONS
OF
PROP
.
281
MICHAEL
CODISH
(BEN-GURION
UNIVERSITY)
BART
DEMOEN
(KATHOLIEKE
UNIVERSITEIT
LEUVEN)
EXTRACTING
NON-STRICT
INDEPENDENT
AND-PARALLELISM
USING
SHARING
AND
FREENESS
INFORMATION
.
297
DANIEL
CABEZA
GRAS
(UNIVERSIDAD
POLITECNICA
DE
MADRID)
MANUEL
HERMENEGILDO
(UNIVERSIDAD
POLITECNICA
DE
MADRID)
GENERIC
FIXPOINT
ALGORITHMS
EFFICIENT
FIXPOINT
COMPUTATION
.
314
B.
VERGAUWEN
(KATHOLIEKE
UNIVERSITEIT
LEUVEN)
J.
WAUMAN
(KATHOLIEKE
UNIVERSITEIT
LEUVEN)
J.
LEWI
(KATHOLIEKE
UNIVERSITEIT
LEUVEN)
FINDING
FIXPOINTS
IN
FINITE
FUNCTION
SPACES
USING
NEEDEDNESS
ANALYSIS
AND
CHAOTIC
ITERATION
.
329
NIELS
J0RGENSEN
(ROSKILDE
UNIVERSITY)
EFFICIENT
STRICTNESS
ANALYSIS
EFFICIENT
STRICTNESS
ANALYSIS
OF
HASKELL
.
346
KRISTIAN
DAMM
JENSEN
(UNIVERSITY
OF
COPENHAGEN)
PETER
HJTERESEN
(UNIVERSITY
OF
COPENHAGEN)
MADS
ROSENDAHL
(UNIVERSITY
OF
COPENHAGEN)
ABSTRACT
INTERPRETATION
USING
TDGS
.
363
LAURENT
MAUBORGNE
(LIENS)
TYPE-BASED
ANALYSES
FOR
FUNCTIONAL
PROGRAMMING
A
TYPE-BASED
FRAMEWORK
FOR
PROGRAM
ANALYSIS
.
380
CHRIS
HANKIN
(IMPERIAL
COLLEGE)
DANIEL
LE
METAYER
(INRIA/IRISA)
ITERATIVE
FIXED
POINT
COMPUTATION
FOR
TYPE-BASED
STRICTNESS
ANALYSIS
.
395
FRITZ
HENGLEIN
(UNIVERSITY
OF
COPENHAGEN)
STRICTNESS
AND
TOTALITY
ANALYSIS
.
408
KIRSTEN
LACKNER
SOLBERG
(AARHUS
UNIVERSITY)
HANNE
RIIS
NIELSON
(AARHUS
UNIVERSITY)
FLEMMING
NIELSON
(AARHUS
UNIVERSITY)
XII
INVITED
TALK
FAST
STRICTNESS
ANALYSIS
VIA
SYMBOLIC
FIXPOINT
ITERATION
.
423
CHARLES
CONSEL
(UNIVERSITE
DE
RENNES/IRISA
)
TRANSFORMATION
GENERATING
TRANSFORMERS
FOR
DEFORESTATION
AND
SUPERCOMPILATION
.
432
ROBERT
GLUCK
(UNIVERSITY
OF
COPENHAGEN)
JESPER
J0RGENSEN
(UNIVERSITY
OF
COPENHAGEN)
MECHANICAL
ELIMINATION
OF
COMMUTATIVE
REDUNDANCY
.
449
HESS
AM
KHOSHNEVISAN
(IMPERIAL
COLLEGE)
MOHAMAD
AFSHAR
(UNIVERSITY
OF
CAMBRIDGE)
AUTHOR
INDEX
.
465 |
| any_adam_object | 1 |
| author_GND | (DE-588)141685050 |
| building | Verbundindex |
| bvnumber | BV009780082 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6.I5733 1994 |
| callnumber-search | QA76.6.I5733 1994 |
| callnumber-sort | QA 276.6 I5733 41994 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 233 |
| classification_tum | MTA 100f |
| ctrlnum | (OCoLC)31132319 (DE-599)BVBBV009780082 |
| dewey-full | 005.13/120 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 20 005.13/1 |
| dewey-search | 005.13/1 20 005.13/1 |
| dewey-sort | 15.13 11 220 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Physik 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">BV009780082</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140228</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940822s1994 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941912612</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540584854</subfield><subfield code="9">3-540-58485-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387584854</subfield><subfield code="9">0-387-58485-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31132319</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009780082</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-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6.I5733 1994</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1 20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MTA 100f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Static analysis</subfield><subfield code="b">first International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994 ; proceedings</subfield><subfield code="c">Baudouin LeCharlier (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 463 S.</subfield><subfield code="b">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">864</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="7"><subfield code="a">Programacao De Computadores</subfield><subfield code="2">larpcal</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">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse statique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage concurrent</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">optimisation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ordonnancement</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">point fixe</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation fonctionnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers) -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Statistische Analyse</subfield><subfield code="0">(DE-588)4116599-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</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">1994</subfield><subfield code="z">Namur</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Statistische Analyse</subfield><subfield code="0">(DE-588)4116599-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Le Charlier, Baudouin</subfield><subfield code="d">1950-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)141685050</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SAS</subfield><subfield code="n">1</subfield><subfield code="d">1994</subfield><subfield code="c">Namur</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2139193-2</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">864</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">864</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=006471672&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006471672</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Namur gnd-content |
| genre_facet | Konferenzschrift 1994 Namur |
| id | DE-604.BV009780082 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:11Z |
| institution | BVB |
| institution_GND | (DE-588)2139193-2 |
| isbn | 3540584854 0387584854 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006471672 |
| oclc_num | 31132319 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 DE-706 |
| physical | XII, 463 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Static analysis first International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994 ; proceedings Baudouin LeCharlier (ed.) Berlin u.a. Springer 1994 XII, 463 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 864 Literaturangaben Langages de programmation - Congrès Langages de programmation - Congrès ram Ordinateurs - Programmation - Congrès ram Programacao De Computadores larpcal Programmation (Informatique) - Congrès Programmatuurtechniek gtt analyse statique inriac langage concurrent inriac langage fonctionnel inriac optimisation inriac ordonnancement inriac point fixe inriac programmation en logique inriac programmation fonctionnelle inriac Computer programming -- Congresses Programming languages (Electronic computers) -- Congresses Statistische Analyse (DE-588)4116599-8 gnd rswk-swf Statische Analyse (DE-588)4325372-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Namur gnd-content Statische Analyse (DE-588)4325372-6 s DE-604 Statistische Analyse (DE-588)4116599-8 s DE-188 Le Charlier, Baudouin 1950- Sonstige (DE-588)141685050 oth SAS 1 1994 Namur Sonstige (DE-588)2139193-2 oth Lecture notes in computer science 864 (DE-604)BV000000607 864 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006471672&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Static analysis first International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994 ; proceedings Lecture notes in computer science Langages de programmation - Congrès Langages de programmation - Congrès ram Ordinateurs - Programmation - Congrès ram Programacao De Computadores larpcal Programmation (Informatique) - Congrès Programmatuurtechniek gtt analyse statique inriac langage concurrent inriac langage fonctionnel inriac optimisation inriac ordonnancement inriac point fixe inriac programmation en logique inriac programmation fonctionnelle inriac Computer programming -- Congresses Programming languages (Electronic computers) -- Congresses Statistische Analyse (DE-588)4116599-8 gnd Statische Analyse (DE-588)4325372-6 gnd |
| subject_GND | (DE-588)4116599-8 (DE-588)4325372-6 (DE-588)1071861417 |
| title | Static analysis first International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994 ; proceedings |
| title_auth | Static analysis first International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994 ; proceedings |
| title_exact_search | Static analysis first International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994 ; proceedings |
| title_full | Static analysis first International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994 ; proceedings Baudouin LeCharlier (ed.) |
| title_fullStr | Static analysis first International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994 ; proceedings Baudouin LeCharlier (ed.) |
| title_full_unstemmed | Static analysis first International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994 ; proceedings Baudouin LeCharlier (ed.) |
| title_short | Static analysis |
| title_sort | static analysis first international static analysis symposium sas 94 namur belgium september 28 30 1994 proceedings |
| title_sub | first International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994 ; proceedings |
| topic | Langages de programmation - Congrès Langages de programmation - Congrès ram Ordinateurs - Programmation - Congrès ram Programacao De Computadores larpcal Programmation (Informatique) - Congrès Programmatuurtechniek gtt analyse statique inriac langage concurrent inriac langage fonctionnel inriac optimisation inriac ordonnancement inriac point fixe inriac programmation en logique inriac programmation fonctionnelle inriac Computer programming -- Congresses Programming languages (Electronic computers) -- Congresses Statistische Analyse (DE-588)4116599-8 gnd Statische Analyse (DE-588)4325372-6 gnd |
| topic_facet | Langages de programmation - Congrès Ordinateurs - Programmation - Congrès Programacao De Computadores Programmation (Informatique) - Congrès Programmatuurtechniek analyse statique langage concurrent langage fonctionnel optimisation ordonnancement point fixe programmation en logique programmation fonctionnelle Computer programming -- Congresses Programming languages (Electronic computers) -- Congresses Statistische Analyse Statische Analyse Konferenzschrift 1994 Namur |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006471672&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT lecharlierbaudouin staticanalysisfirstinternationalstaticanalysissymposiumsas94namurbelgiumseptember28301994proceedings AT sasnamur staticanalysisfirstinternationalstaticanalysissymposiumsas94namurbelgiumseptember28301994proceedings |