:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Herther, Nancy K.
Formato:	Recurso educativo Open Access
Lenguaje:	en
Publicado:	1986
Materias:	Artificial Intelligence Computer Software Logic Microcomputers Program Descriptions Programing Languages Research
Acceso en línea:	https://eric.ed.gov/?id=EJ337855
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

BASIC: Updating a Familiar Language.
por: Eyman, David H.
Publicado: (1988)

UNIX Micros for Students Majoring in Computer Science and Personal Information Retrieval.
por: Fox, Edward A., et al.
Publicado: (1986)

A User Manual for FUND-RAISER: A Microcomputer Application Program Developed by the Winter Park Library Association, Inc.
por: Andrews, Janet A. C.
Publicado: (1986)

Cataloging and Organizing Microcomputer Software--Where Do We Go from First Base?
por: Choi, Susan E.
Publicado: (1984)

The Production of Printed Subject Indexes by Microcomputer.
por: Guy, R. F., et al.
Publicado: (1985)

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
por: Fan, Wen, et al.
Publicado: (2024)

Agentic Proving for Program Verification
por: Sosso, Alessandro, et al.
Publicado: (2026)

Inferring multiple helper Dafny assertions with LLMs
por: Silva, Álvaro, et al.
Publicado: (2025)

Dafny as Verification-Aware Intermediate Language for Code Generation
por: Li, Yue Chen, et al.
Publicado: (2025)

"Hack" Is Not A Dirty Word--The Tenth Anniversary of Patron Access Microcomputer Centers in Libraries.
por: Dewey, Patrick R.
Publicado: (1986)

Squeeze and Search: Implementing Data Compression in Small Systems.
por: Grotophorst, Clyde W.
Publicado: (1988)

Portable Micros: Potentials for Information Management.
por: Davis, Charles H.
Publicado: (1984)

Improving Micro-Based Instruction with a LAN.
por: Middleton, Joseph
Publicado: (1987)

Software for the People.
por: Rappaport, Susan
Publicado: (1985)

CLEVER: A Curated Benchmark for Formally Verified Code Generation
por: Thakur, Amitayush, et al.
Publicado: (2025)

In-House Library Production of Microcomputer Software for Freshman Orientation.
por: Nipp, Deanna
Publicado: (1985)

VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
por: Brandfonbrener, David, et al.
Publicado: (2024)

VERINA: Benchmarking Verifiable Code Generation
por: Ye, Zhe, et al.
Publicado: (2025)

Intent-aligned Formal Specification Synthesis via Traceable Refinement
por: Ye, Zhe, et al.
Publicado: (2026)

In-House Production of Computer Software.
por: Loertscher, David V.
Publicado: (1984)

Microcomputing: A Challenge for College Libraries.
por: Rusk, Mike D., et al.
Publicado: (1985)

A "Computer Library."
por: Savage, Earl R.
Publicado: (1983)

Microcomputer Software for Libraries: A Survey.
por: Nolan, Jeanne M.
Publicado: (1983)

Unesco's General Information Programme and the Application of Information Management Software for Microcomputers.
por: Tocatlian, Jacques, et al.
Publicado: (1984)

Use of Local Area Networks in Schools. ERIC Digest.
por: Reinhold, Fran
Publicado: (1989)

Programs That Write Programs: Authoring Software for Reference Statistics.
por: Smith, Dana E.
Publicado: (1986)

Educating a Community.
por: Shea, Tom
Publicado: (1984)

Fifty "Best" Database and File Management Packages for Academic Libraries.
por: Garten, Edward D.
Publicado: (1985)

Pennsylvania: Improving Schools through Technology.
Publicado: (1983)

CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
por: Dobos-Kovács, Mihály, et al.
Publicado: (2025)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
por: Chakraborty, Soham, et al.
Publicado: (2025)

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
por: Fages, François
Publicado: (2024)

Planning for End-User Database Searching: Drexel and the Mac: A User-Consistent Interface.
por: LaBorie, Tim, et al.
Publicado: (1985)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
por: Barth, Max, et al.
Publicado: (2025)

Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
por: Garavel, Hubert
Publicado: (2026)

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
por: Lang, Frédéric, et al.
Publicado: (2024)

Customizing Static Analysis using Codesearch
por: Hayoun, Avi, et al.
Publicado: (2024)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
por: De Angelis, Emanuele, et al.
Publicado: (2025)

Contract Usage and Evolution in Android Mobile Applications
por: Ferreira, David R., et al.
Publicado: (2024)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
por: Deng, Haotian, et al.
Publicado: (2025)