Pascal and Francis Bibliographic Databases

Help

Export

Selection :

Permanent link
http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=2753641

ACM SIGPLAN '97 Conference on Programming Language Design and Implementation® (PLDI)

Author
Association for Computing Machinery. Special Interest Group on Programming Languages (SIGPLAN), United States (Funder/Sponsor)
Conference name
ACM SIGPLAN '97 Conference on Programming Language Design and Implementation® (PLDI) (PLDI) (Las Vegas, Nevada 1997-06-15)
Source

SIGPLAN notices. 1997, Vol 32, Num 5, 373 p. ; ref : dissem

ISSN
0362-1340
Scientific domain
Computer science
Publisher
Association for Computing Machinery, Special Interest Group on Programming Languages, New York, NY
Publication country
United States
Document type
Conference Proceedings
Language
English
Keyword (fr)
Analyse programme Compilation Démonstration automatique Evaluation Exécution programme Génie logiciel Langage programmation Optimisation Ordonnancement Parallélisme Système réparti Traitement langage Vérification programme Mobile computing
Keyword (en)
Program analysis Compilation Automatic proving Evaluation Program execution Software engineering Programming language Optimization Scheduling Parallelism Distributed system Language processing Program verification
Keyword (es)
Análisis programa Compilación Demostración automática Evaluación Ejecución programa Ingeniería logiciel Lenguaje programación Optimización Ordonamiento Paralelismo Sistema repartido Tratamiento lenguaje Verificación programa
Classification
Pascal
001 Exact sciences and technology / 001D Applied sciences / 001D02 Computer science; control theory; systems / 001D02B Software / 001D02B02 Programming languages

Pascal
001 Exact sciences and technology / 001D Applied sciences / 001D02 Computer science; control theory; systems / 001D02B Software / 001D02B03 Language processing and microprogramming

Pascal
001 Exact sciences and technology / 001D Applied sciences / 001D02 Computer science; control theory; systems / 001D02B Software / 001D02B09 Software engineering

Discipline
Computer science : theoretical automation and systems
Origin
Inist-CNRS
Database
PASCAL
INIST identifier
2753641

Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS

Searching the Web