BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
program (6)
compil (4)
code (2)
concurr (2)
procedur (2)

Stem pascal$ (all stems)

23 papers:

TOOLSTOOLS-EUROPE-2001-PfisterW #component #framework #pascal
Building Component Frameworks with Component Pascal (CP, WW), pp. 165–166.
AdaSIGAda-1998-MurtaghH #ada #comparison #pascal
A Comparison of Ada and Pascal in an Introductory Computer Science Course (JLM, JAHJ), pp. 75–80.
SEKESEKE-1996-FoxBM #automation #debugging #fault #pascal #process #syntax
Automating the Debugging Process of Pascal Syntax Errors (RF, CB, JM), pp. 92–99.
AdaTRI-Ada-C-1992-Jarc #ada #pascal
Ada, Pascal’s Replacement for Introductory Courses in Computer Science (DJJ), pp. 126–134.
OOPSLAOOPSLA-1986-Olthoff #concept #data type #experience #object-oriented #programming #type system
Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience (WGO), pp. 429–443.
PLDISCC-1984-MacLaren #pascal
Inline routines in VAXELN Pascal (MDM), pp. 266–275.
PLDISCC-1984-Robbins #compilation #pascal #performance
Engineering a high-capacity Pascal compiler for high performance (DCR), pp. 300–309.
POPLPOPL-1984-MilosPL #compilation #implementation #pascal #revisited #specification
Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited (DM, UFP, GL), pp. 196–207.
ICSEICSE-1984-Rogers #pascal #readability
A New Program Structure to Improve Accuracy and Readability of Pascal Software (WJR), pp. 454–462.
STOCSTOC-1983-Olderog #hoare #logic #source code
A Characterization of Hoare’s Logic for Programs with Pascal-like Procedures (ERO), pp. 320–329.
SIGMODSIGMOD-1982-JarkeS #database #pascal #query #relational
Query Processing Strategies in the PASCAL/R Relational Database Management System (MJ, JWS), pp. 256–264.
PLDISCC-1982-MadhavjiW #pascal
Cray Pascal (NHM, IRW), pp. 1–14.
ICSEICSE-1982-WarrenMH #experience #pascal #quality #source code
Experience with a Module Package in Developing Production Quality PASCAL Programs (SW, BEM, CH), pp. 246–253.
PLDISCC-1979-HansenSC #compilation #multi #pascal
Construction of a transportable, multi-pass compiler for extended Pascal (GJH, GAS, JDC), pp. 117–126.
PLDISCC-1979-Nelson #comparison #pascal
A comparison of PASCAL intermediate languages (PAN), pp. 208–213.
PLDISCC-1979-PerkinsS #independence #optimisation #pascal
Machine-independent PASCAL code optimization (DRP, RLS), pp. 201–207.
ICSEICSE-1979-CampbellK #pascal
Path Expressions in Pascal (RHC, RBK), pp. 212–219.
ICSEICSE-1978-KieburtzBH #pascal
A Type-Checking Program Linkage System for Pascal (RBK, WB, CRH), pp. 23–28.
ICSEICSE-1978-PerschW #pascal
Symbolic Interpretation and Tracing of PASCAL-Programs (GP, GW), pp. 312–319.
ICALPICALP-1977-AptB #pascal #proving #semantics
Semantics and Proof Theory of Pascal Procedures (KRA, JWdB), pp. 30–44.
SOSPSOSP-1977-Lohr #concurrent #pascal
Beyond Concurrent Pascal (KPL), pp. 173–180.
AdaDIPL-1976-FischerL #data access #runtime
Run-time checking of data access in Pascal-like languages (CNF, RJL), pp. 215–230.
ICSEICSE-1976-SilberschatzKB #concurrent #pascal #resource management
Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract) (AS, RBK, AJB), p. 236.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.