System.Data.OleDb.OleDbException (0x80004005): Unspecified error
   at System.Data.OleDb.OleDbConnectionInternal..ctor(OleDbConnectionString constr, OleDbConnection connection)
   at System.Data.OleDb.OleDbConnectionFactory.CreateConnection(DbConnectionOptions options, DbConnectionPoolKey poolKey, Object poolGroupProviderInfo, DbConnectionPool pool, DbConnection owningObject)
   at System.Data.ProviderBase.DbConnectionFactory.CreateNonPooledConnection(DbConnection owningConnection, DbConnectionPoolGroup poolGroup, DbConnectionOptions userOptions)
   at System.Data.ProviderBase.DbConnectionFactory.TryGetConnection(DbConnection owningConnection, TaskCompletionSource`1 retry, DbConnectionOptions userOptions, DbConnectionInternal oldConnection, DbConnectionInternal& connection)
   at System.Data.ProviderBase.DbConnectionInternal.TryOpenConnectionInternal(DbConnection outerConnection, DbConnectionFactory connectionFactory, TaskCompletionSource`1 retry, DbConnectionOptions userOptions)
   at System.Data.ProviderBase.DbConnectionInternal.OpenConnection(DbConnection outerConnection, DbConnectionFactory connectionFactory)
   at System.Data.OleDb.OleDbConnection.Open()
   at CatIA.ApiDb.OpenConn(OleDbConnection& cn, String strConnection) in C:\Users\enrique\source\repos\catia\CatIA\api_db.vb:line 42
Catálogo de revistas impresas de la biblioteca

  1. pub = ("ACM Transactions on Programing Languajes and Systems")
Se encontraron 99 resultados.
Artículo:

Ranking functions for size-change termination

Autor:

Chin Soon Lee

Resumen:

his article explains how to construct a ranking function for any program that is proved terminating by size-change analysis

Página:

10.1

Publicación:

ACM Transactions on Programing Languajes and Systems

Volúmen:

31

Número:

3

Periodo:

Abril 2009

ISSN:

01640925

SrcID:

01640925-2009-03.txt

  • Documento número 625717
  • Actualizado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Creado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Enlace directo
Artículo:

Separation and information hiding

Autor:

Peter W. O'Hearn

Hongseok Yang

John C. Reynolds

Resumen:

We investigate proof rules for information hiding, using the formalism of separation logic

Página:

11.1

Publicación:

ACM Transactions on Programing Languajes and Systems

Volúmen:

31

Número:

3

Periodo:

Abril 2009

ISSN:

01640925

SrcID:

01640925-2009-03.txt

  • Documento número 625718
  • Actualizado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Creado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Enlace directo
Artículo:

Operational semantics for multi-language programs

Autor:

Jacob Matthews

Robert Bruce Findler

Resumen:

Interoperability is big business, a fact to which .NET, the JVM, and COM can attest. Language designers are well aware of this

Página:

12.1

Publicación:

ACM Transactions on Programing Languajes and Systems

Volúmen:

31

Número:

3

Periodo:

Abril 2009

ISSN:

01640925

SrcID:

01640925-2009-03.txt

  • Documento número 625719
  • Actualizado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Creado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Enlace directo
Artículo:

Squent calculi and abstract machines

Autor:

Zena M. Ariola

Aaron Bohannon

Amr Sabry

Página:

13.1

Publicación:

ACM Transactions on Programing Languajes and Systems

Volúmen:

31

Número:

4

Periodo:

Mayo 2009

ISSN:

01640925

SrcID:

01640925-2009-04.txt

  • Documento número 625720
  • Actualizado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Creado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Enlace directo
Artículo:

Program transformations using temporal logic side conditions

Autor:

Sara Kalvala

Richard Warburton

David Lacey

Página:

14.1

Publicación:

ACM Transactions on Programing Languajes and Systems

Volúmen:

31

Número:

4

Periodo:

Mayo 2009

ISSN:

01640925

SrcID:

01640925-2009-04.txt

  • Documento número 625721
  • Actualizado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Creado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Enlace directo