Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer. Automation --- Electronic digital computers --- Ordinateurs --- Evaluation --- Congresses --- Congrès --- -#TCPW P4.0 --- #TCPW P4.8 --- 681.3*A0 --- 681.3*C4 --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- -Congresses --- General --- Performance of systems (Computer systems organization) --- 681.3*C4 Performance of systems (Computer systems organization) --- 681.3*A0 General --- #TCPW P4.0 --- Evaluation&delete& --- Langages de programmation --- Programming languages (Electronic computers) --- Electronic digital computers - Congresses - Evaluation --- Electronic digital computers - Evaluation - Congresses --- Langages de programmation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Electronic data processing --- Electronic digital computers --- -Electronic digital computers --- -681.3*C21 --- 681.3 --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Congresses --- Network architecture and design: networks (centralized, circuit switching, distributed, packet, store and forward); network communications; netword topology --- Automation --- 681.3*C21 Network architecture and design: networks (centralized, circuit switching, distributed, packet, store and forward); network communications; netword topology --- 681.3*C21 --- Electronic data processing - Congresses --- Electronic digital computers - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Electronic data processing --- Electronic digital computers --- Computer networks --- Digital computer simulation --- Information technology --- Congresses --- 681.3*A0 <063> --- -Digital computer simulation --- -Electronic data processing --- -Electronic digital computers --- -Information technology --- -IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Digital simulation --- Computer simulation --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- General--Congressen --- Automation --- Distributed processing --- -General--Congressen --- 681.3*A0 <063> General--Congressen --- Electronic data processing - Congresses --- Electronic digital computers - Congresses --- Computer networks - Congresses --- Digital computer simulation - Congresses --- Information technology - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume presents the proceedings of a conference on programming and programming languages. It contains original research contributions addressing fundamental issues and important developments in the design, specification and implementation of programming languages and systems. Topics include: - Program development: specification, methodology, tools, environments; - Programming language concepts: types, data abstraction, parallelism, real-time; - Language implementation techniques: compilers, interpreters, abstract machine design, optimization; - Programs as data objects: abstract interpretation, program transformation, partial evaluation; - Programming styles: imperative, functional, predicative, object-oriented.

Computer programming --- Programming languages (Electronic computers) --- Programmation (Informatique) --- Langages de programmation --- Congresses --- Congrès --- Electronic digital computers --- Programming --- -Computer programming --- -681.3*D31 --- 681.3*D3 --- 681.3*D1 --- 681.3*D2 --- 681.3*F3 --- 681.3*F4 --- 681.3*F1 --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Programming languages --- Programming techniques--See also {681.3*E} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- Computation by abstract devices --- 681.3*F1 Computation by abstract devices --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D1 Programming techniques--See also {681.3*E} --- 681.3*D3 Programming languages --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Congrès --- 681.3*D31 --- Computer science. --- Logic design. --- Software engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Programming languages (Electronic computers) - Congresses --- Electronic digital computers - Congresses - Programming