Abstrakt. I detta dokument beskriver vi TRACECONTRACT, ett API för spåranalys, implementerat i SCALA programmeringsspråk. Vi hävdar att för vissa former av spåranalys det bästa vapnet är en hög nivå programmeringsspråk förstärkt med konstruktioner för temporal resonemang. Ett spår är en sekvens av händelser, som till exempel kan genereras av ett löpande program, instrumented lämpligt för att generera händelser. API stöder skrivegenskaper i en notation som kombinerar en avancerad form av dataparameteriserade tillstånd maskiner med temporal logik. Genomförandet använder SCALA:s stöd för att definiera interna domänspecifika språk (DSL). Dessutom gör SCALAs kombination av objektorienterade och funktionella programmeringsfunktioner, inklusive partiella funktioner och mönstermatchning, det till ett idealiskt värdspråk för ett sådant API.
TraceContract är ett API för spåranalys, implementerat i Scala, som kan uttrycka parametriska egenskaper med temporal logik REF.
TraceContract: A Scala DSL for Trace Analysis
{'venue': 'In Proc. of FM’11, volume 6664 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}