Cover Image

Run-Time Assertion Checking with Énfasis

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	José Oscar Olmedo Aguirre
Format:	Artículo científico
Language:	en
Published:	Instituto Politécnico Nacional 2010
Subjects:	Computación aspect formal grammars Program assertion oriented programming local variable pointcut
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Transforming a Constituency Treebank into a Dependency Treebank
by: Alexander Gelbukh
Published: (2005)

The Seven Ages of Fortran
by: Michael Metcalf
Published: (2011)

Design and implementation of a data-oriented programming language solving complexities and runtime faults found in other languages
by: Nordgren, Henrik
Published: (2024)

Application of Regular Grammar in the Syntactic Analysis of Email Addresses
by: Cristian Alejandro Fandino-Mesa
Published: (2023)

Grammatical theory: From transformational grammar to constraint-based approaches
by: Müller, Stefan
Published: (2016)

SSG: Simplified Spanish Grammar. An HPSG Grammar of Spanish with a reduced computational cost
by: Benjamín Ramírez González
Published: (2015)

Psychosocial predictors of social anxiety in children
by: Susana Castaños-Cervantes
Published: (2020)

POSITIVE EQUILIBRIUM IN USA - CHINA RELATIONS: DURABLE OR NOT?
by: Robert Sutter
Published: (2011)

Beyond Geach: A Place for Expressivisms
by: José Andrés Forero-Mora
Published: (2022)

The Common Man Abroad: Marginal Identity, Cultural Self-Assertion, and Subaltern Consciousness in Anand Patil's Patalachi Landanwari
by: Pandit, B. Nirmal
Published: (2026)

Natural Language Syntax Description using Generative Dependency Grammar
by: Stefan Diaconescu
Published: (2008)

RELATIONSHIP BETWEEN DRUG USE AND SEXUAL ASSERTIVENESS IN A SPANISH MALE DRUG-DEPENDENT SAMPLE
by: Pablo Vallejo-Medina
Published: (2015)

MoviLog: a platform for prolog-based strong mobile agents on the www
by: Marcelo Campo
Published: (2003)

Relationship between Assertiveness, Academic Performance and Anxiety in a Sample of Mexican Students in Secondary Education
by: Claudia González Fragoso
Published: (2018)

On the solution of optimization problems. An interactive graphical approach
by: Max Antonio González-Palacios
Published: (2018)

Managing Dynamic Identity Federations using Security Assertion Markup Language
by: Md. Sadek Ferdous
Published: (2015)

Solving Ordinary Differential Equations in Python
by: Sundnes, Joakim
Published: (2023)

Short Report 22 — Envelope Estimation and Test Equations in the FBO Framework (v1.0)
by: Bokutabi, Jin
Published: (2025)

Effectiveness Measurement: When will we get it right?
by: Rocky J. Dwyer
Published: (2009)

Validation of an Evaluation Tutoring Task Scale at the University
by: María Consuelo Sáiz-Manzanares
Published: (2014)

A Basic Language Technology Toolkit for Quechua
by: Annette Rios
Published: (2016)

Security issues during Lula's administration: from the reactive to the assertive approach
by: Rafael Antonio Duarte Villa
Published: (2010)

Quaderni di Linguistica e Studi Orientali
Published: (2017)

Cellule d'orientation et de guidance et les difficultés d'apprentissage de la comptabilité financière en première année de licence en gestion commerciale
by: MAKI MUGENYI, Daniel Sagesse, et al.
Published: (2026)

Fragment-oriented programming: a framework to design and implement software product line domain components
by: Daniel Correa
Published: (2018)

Formal Grammar Instruction: Theoretical Aspects to Contemplate Its Teaching
by: Carolina Cruz Corzo
Published: (2013)

Automatic Music Composition with Simple Probabilistic Generative Grammars
by: Horacio Alberto García Salas
Published: (2011)

0-1 Integer Programming for Computing Semi-Stable Semantics of Argumentation Frameworks
by: Mauricio Osorio
Published: (2017)

Quintú Quimün
Published: (2019)

THE INFLUENCE OF GRAMMAR ON ENGLISH LEARNERS’ WRITING ACCURACY AT THE SCHOOL OF MODERN LANGUAGES
by: Patricia Córdoba Cubillo
Published: (2015)

Knowledge and the Norm of Assertion
by: Turri, John
Published: (2017)

A New Service-Based Approach for Enterprise Modeling
by: Hugo Estrada
Published: (2013)

Automatic Annotation and Modelling of Works in Eighteenth-Century (Music) Theatre
by: Galka, Selina, et al.
Published: (2026)

Desarrollo de Recursos para el Análisis Sintáctico Automático del Español: AVALON, una gramática formal y CSA, un corpus sintácticamente analizado
by: M.a Paula Santalla del Río
Published: (2011)

A Scatter Search Algorithm for Solving a Bilevel Optimization Model for Determining Highway Tolls
by: José Luis González Velarde
Published: (2015)

Cognitive Metaprogramming: A Grammar for Agent-Readable Artifacts
by: Gomes, Renato Aparecido
Published: (2026)

ECOLE : a pedagogical environment for non procedural languages
by: D.E Zegour
Published: (2007)

Indonesian Journal of Applied Linguistics
Published: (2013)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Published: (2018)

Journal of Nonformal Education
Published: (2016)